Contents of Report

[Data of Report]

Report Number:
TR0665
Date of Registration:
1991.07
English Title:
Model Proposition Tableaux in a Model Generation Theorem Prover
Japanese Title:
モデル生成型証明器上の様相命題タブロ
English Author:
M.Koshimura,R.Hasegawa
Japanese:
越村 三幸,長谷川 隆三
Name of Organization to which author belongs:
Toshiba,ICOT
PDF:
tr0665.pdf

[Contents]

概要.... 2
1はじめに.... 2
2MGTP.... 3
2.1モデル生成法.... 3
2.2MGTPの特徴.... 3
3タブロ.... 4
3.1命題タブロ.... 4
3.2様相命題タブロ.... 4
4MGTP上の様相タブロ証明器.... 5
4.1問題と閉条件.... 6
4.2分割規則.... 6
4.3問題点.... 6
5記述例.... 7
5.1K.... 7
5.2PTL.... 7
6計測.... 9
6.1戦略.... 9
6.2考察.... 11
7おわりに.... 11
謝辞.... 11
参考文献.... 11

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

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