Contents of Report

[Data of Report]

Report Number:: TR0700
Date of Registration:: 1991.10
English Title:: A Foward-Chaining Hypothtical Reasoner based on Upside-Down Meta-Interpretation
Japanese Title:: ***
English Author:: Y.Ohta,K.Inoue
Japanese:: 太田　好彦,井上　克巳
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0700.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Problem Definition	.... 4
3	ATMS	.... 5
4	Hypothtical Reasoning with ATMS and MGTP	.... 6
5	Upside-Down Meta-Interpretation	.... 8
5.1	Simple Transformation Algorithm	.... 8
5.2	Transformation Algorithm with Pre-Depedecy-Analysis	.... 10
6	Evaluation with a Logic Design Problem	.... 13
7	Related Work	.... 14
8	Conclusion	.... 15
	Acknowledegments	.... 16
	References	.... 16
	End	.... 17

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