Contents of Report

[Data of Report]

	ABSTRACT	.... 2
1	Introduction	.... 3
2	Definition of the language and interpretations	.... 4
3	The definition of the language for model theoretic statements	.... 7
4	Relations over interpretations	.... 10
5	Application to formalizing nonmonotonic reasoning	.... 18
5.1	Formula Circumscription	.... 18
5.2	Parallel Circumscription	.... 18
5.3	Simple Default Reasoning	.... 19
5.4	Prioritized Default Reasoning	.... 20
5.5	Minimal Change Models	.... 21
5.6	Relative Plausibility	.... 23
6	Discussion	.... 24
6.1	Reasoning of Inequality	.... 24
6.2	Conditional Probability	.... 25
	Acknowledgments	.... 25
	References	.... 25
	End	.... 26

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