Contents of Report

[Data of Report]

	Abstract	.... 3
1	Introduction	.... 4
2	Abduction and Hypothesis-based Reasoning	.... 5
2.1	Abduction	.... 5
2.2	Hypothesis-based Reasoning	.... 6
2.3	Relationship to Knowledge Acquisition Functions	.... 8
3	Knowledge Representation	.... 11
3.1	Characteristics	.... 11
3.2	Frame-type Knowledge Representation	.... 12
3.3	Relationship to Default Theory	.... 13
4	Hypothesis Generation and Selection Problem	.... 14
4.1	Hypothesis Generation Problem	.... 14
4.2	Hypothesis Selection Prolem	.... 17
4.3	Hypothesis Selection Procedure	.... 18
5	Implementation	.... 18
5.1	Knowledge Representation for Prolog	.... 18
5.2	Main Prolog Program	.... 19
6	Examples	.... 21
7	Conclusion	.... 24
	Acknowledgements	.... 25
	References	.... 26
	End	.... 28

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