Contents of Report

[Data of Report]

Report Number:: TR0316
Date of Registration:: 1987.11
English Title:: Minimal Change ; A Criterion for Choosing between Competing Models
Japanese Title:: ***
English Author:: K.Satoh
Japanese:: 佐藤　健
Name of Organization to which author belongs:: ICOT
PDF:: tr0316.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Nonmonotonic Reasoning	.... 3
2.1	Tree-structured Inheritance System	.... 3
2.2	Temporal Projection	.... 4
3	Reasoning in Tree-Structured Multiple Worlds	.... 6
4	Formalism	.... 6
5	Examples	.... 8
5.1	Tree-structured Inheritance System	.... 8
5.2	Temporal Projection	.... 9
6	Related Research	.... 10
7	Conclusion	.... 11
	Acknowledgments	.... 11
	References	.... 11
Appendix A.	Proof of Theorems	.... 18
Appendix B.	Deduction of the Properties	.... 21
Appendix C.	Comparison with [Kautz86]	.... 26
	End	.... 32

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