Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Monotonic Knowledge and Nonmonotonic Belief	.... 4
3	Minimal Belief Revision	.... 5
3.1	Proof Theory	.... 5
3.2	Model Theory	.... 6
4	Examples	.... 7
5	Related Research	.... 10
5.1	Formalisms of Nonmonotonic Reasoning	.... 10
5.2	Truth Maintenance System	.... 11
5.3	Database Updates	.... 11
6	Conclusion	.... 11
	Acknowledgment	.... 11
Appendix	Proof of Propositions	.... 11
	References	.... 15

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