Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Two Aspect of Hypothetical Reasoning	.... 3
3	General Formalism	.... 4
3.1	Supporting Hypotheses	.... 4
3.2	Belifes	.... 7
3.3	Extensions	.... 7
4	Truth Maintenance Systems	.... 8
4.1	de Kller's ATMS	.... 8
4.2	Doyle's TMS	.... 10
4.3	Discussion	.... 11
5	Conclusion	.... 11
	Acknowledgments	.... 11
	References	.... 11
	End	.... 12

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