Contents of Report


[Data of Report]

Report Number:
TR0873
Date of Registration:
1994.04
English Title:
An Efficient Modal Theorem Prover on MGTP based on Modal Clause Transformation Method
Japanese Title:
様相節変換に基づくMGTP上の様相論理証明器の効率的実現
English Author:
J.Akahani,K.Inoue,R.Hasegawa
Japanese:
赤埴 淳一,井上 克己,長谷川 隆三
Name of Organization to which author belongs:
NTT,Toyohashi Univ,ICOT
PDF:
tr0873.pdf

[Contents]

概要.... 2
1はじめに.... 3
2様相タブロー法.... 3
3MGTP上の様相タブロー.... 5
4様相節の変換による様相論理定理証明.... 6
5ゴール情報を用いた推論制御.... 7
6評価.... 8
7おわりに.... 10
謝辞.... 11
参考文献.... 11


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

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