Contents of Report

[Data of Report]

Report Number:: TR0357
Date of Registration:: 1988.03
English Title:: On the Semantics of Hypothetical Reasoning and Truth Maintenance
Japanese Title:: ***
English Author:: K.Inoue
Japanese:: 井上　克巳
Name of Organization to which author belongs:: ICOT
PDF:: tr0357.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Utility of Hypothetical Reasoning	.... 3
3	General Formalism	.... 4
3.1	Supporting Hypotheses	.... 4
3.2	Beliefs and Extensions	.... 6
4	Truth Maitenance Systems	.... 7
4.1	de Kleer's ATMS;Keeping All Extensions	.... 8
4.2	Doyle'sTMS;Selecting One Model	.... 9
4.3	Assumption-based versus Justification-based	.... 10
5	Conclusion	.... 11
	References	.... 11

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