Contents of Report

[Data of Report]

Report Number:: TR0315
Date of Registration:: 1987.11
English Title:: Ascription:Apprication of the Circumscription Technique to Various Conjectural Reasoning
Japanese Title:: ***
English Author:: J.Arima
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0315.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	To Formalize Various Types of Conjectural Reasoning	.... 3
3	Ascription Schema	.... 5
4	Application of Ascription to Various Type of Cojectural Reasoning	.... 8
4.1	Reasoning in the Extremes, Circumscription and Inscription	.... 9
4.2	Analogical Inference	.... 9
4.3	Inductive Inferece	.... 10
4.4	Default Reasoning	.... 11
5	Model Theory of Ascription	.... 12
6	Consistency of Ascription	.... 13
6.1	Conclusion and Remarks	.... 14
	Acknowledgments	.... 15
	References	.... 15
	Appendix	.... 16
	End	.... 18

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