Contents of Report

[Data of Report]

Report Number:: TR0571
Date of Registration:: 1990.07
English Title:: A Foward-Chaining Multiple-Context Reasoner and Its Application to Logic Design
Japanese Title:: ***
English Author:: Y.Ohta,K.Inoue
Japanese:: 太田　好彦,井上　克巳
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0571.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Input knowledge base	.... 3
3	ATMS	.... 4
4	Multiple-context reasoner	.... 5
4.1	Simple method to combine an inference engine with the ATMS	.... 6
4.2	Method to combine two-input nodes with the ATMS	.... 7
4.3	Complexity considerations	.... 10
5	Application to logic design	.... 12
5.1	Representing the design knowledge	.... 12
5.2	Experiment and Result	.... 14
6	Conclusion	.... 15
	Acknowledgment	.... 15
	References	.... 15
	End	.... 16

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