Contents of Report

[Data of Report]

Report Number:: TR0025
Date of Registration:: 1983.09
English Title:: A Knowledge Assimilation Method for Logic Databases
Japanese Title:: ***
English Author:: T.Miyachi,S.Kunifuji,H.Kitakami,K.Furukawa,A.Takeuchi,H.Yokota
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT,ICOT,ICOT
PDF:: tr0025.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Knowledge Assimilation	.... 3
2.1	Research on Meta Languages	.... 4
2.2	Concept of Knowledge Assimilation	.... 6
3	PROLOG-based Implementation of Knowledge Assimilation	.... 10
3.1	Knowledge Categorization and Representation	.... 10
3.2	Preconditions for Knowledge Assimilation Implementation	.... 12
3.3	Improvement in Efficiency of Contradiction Check	.... 13
3.4	Improvement in Efficiency of Redundancy Check	.... 14
3.5	Programs in PROLOG	.... 14
3.6	Implementation Examples	.... 15
4	Summary	.... 19
	Acknowledgements	.... 20
	References	.... 21

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