论文部分内容阅读
本文定义了能把目标语言和元语言混合于逻辑程序设计之中的元谓词demo,在此基础上计论了在知识库增长期间遇到的四个基本概念:可证明性、不相容性、冗余性和独立性.用PROLOG实现了一个用于知识库增长的知识库系统,完成对新知识的消化和吸收.
This paper defines a predicate demo that mixes the target language and the metalanguage into the logic programming. Based on this, we discuss the four basic concepts encountered during the growth of a knowledge base: provability, incompatibility , Redundancy and independence.With PROLOG, a knowledge base system for the growth of knowledge base has been implemented to complete the digestion and absorption of new knowledge.