Contents of Report

[Data of Report]

Report Number:: TR0706
Date of Registration:: 1991.10
English Title:: Hypothetical Reasoning and Nonmonotonic Reasoning
Japanese Title:: 仮説推論と非単調推論
English Author:: K.Inoue
Japanese:: 井上克己
Name of Organization to which author belongs:: ICOT
PDF:: tr0706.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	アブダクションと正規デフォルト理論	.... 3
2.1	アブダクションの論理	.... 3
2.2	アブダクションとデフォルト論理との関係	.... 5
2.3	アブダクションのトップダウン計算	.... 8
3	アブダクションとサーカムスプリクション	.... 10
3.1	極小限定	.... 10
3.2	アブダクションと極小限定との関係	.... 12
4	特徴節の生成	.... 15
4.1	特徴節と新特徴節	.... 16
4.2	新特徴節の計算手続き	.... 17
4.3	Prime Implecatesの計算	.... 19
5	アブダクションとCMS/ATMS	.... 20
5.1	アブダクションの計算	.... 20
5.2	CMS/ATMS	.... 22
6	極小限定定理証明器	.... 23
6.1	極小限定定理証明に関する考察	.... 23
6.2	極小限定における質問応答	.... 25
7	アブダクションと論理プログラミング	.... 26
8	おわりに	.... 28
	謝辞	.... 28
	参考文献	.... 28
	End	.... 31

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

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