论文部分内容阅读
本文首先回顾了国内外近期的知识库维护思想和方法，进而提出在面向对象知识库组织形式下，用规则关系树进行规则一致性，完整性检查的算法，并采用实例效验的方法，从语义上进行全局维护，此方法已经在８６３课题中得到初步应用。
This paper first reviews the recent ideas and methods of knowledge base maintenance both at home and abroad, and then puts forward the algorithm of rule consistency and integrity checking with rules relation tree in the form of object-oriented knowledge base. On the global maintenance, this method has been 863 in the preliminary application.