Contents of Report

[Data of Report]

Report Number:: TR0910
Date of Registration:: 1995.02
English Title:: ***
Japanese Title:: ボトムアップ定理証明器の効率的アルゴリズムとその評価
English Author:: R.Hasegawa,M.Koshimura,H.Fujita
Japanese:: 長谷川隆三,越村三幸,藤田博
Name of Organization to which author belongs:: ICOT,ICOT,Mitsubishi
PDF:: tr0910.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	モデル生成法	.... 3
3	モデル生成アルゴリズム	.... 3
3.1	基本アルゴリズム	.... 3
3.2	全テストアルゴリズム	.... 4
3.3	遅延アルゴリズム	.... 5
3.4	単位負節に対する最適化	.... 5
4	アルゴリズムの複雑さの解析	.... 6
4.1	基本アルゴリズム	.... 6
4.2	全テストアルゴリズム	.... 7
4.3	遅延アルゴリズム	.... 8
4.4	単位負節に対する最適化	.... 8
4.5	複雑さの解析結果の要約	.... 8
5	実験結果	.... 9
5.1	広い探索空間を持つホーン問題	.... 9
5.2	アルゴリズムの性能比較	.... 9
5.3	MGTPとOTTERの性能比	.... 11
6	結論	.... 12
	参考文献	.... 12
	End	.... 13

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports