Contents of Report

[Data of Report]

Report Number:: TR0664
Date of Registration:: 1991.07
English Title:: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction
Japanese Title:: ***
English Author:: Mark E.Stickel
Japanese:: ***
Name of Organization to which author belongs:: SRI International-ICOT
PDF:: tr0664.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Previos Approaches	.... 5
3	Deduction with Horn Clauses	.... 7
3.1	Generalizing Subsumption	.... 11
3.2	Generalizing Derived Facts	.... 11
4	Abduction with Horn Clauses	.... 12
5	Deduction with Non-Horn Clauses	.... 14
6	Abduction with Non-Horn Clauses	.... 17
7	Conclusion	.... 18
	Acknowledgements	.... 19
	References	.... 19
	End	.... 22

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