知识库集成维护方法研究

本文首先回顾了国内外近期的知识库维护思想和方法，进而提出在面向对象知识库组织形式下，用规则关系树进行规则一致性，完整性检查的算法，并采用实例效验的方法，从语义上进行全局维护，此方法已经在８６３课题中得到初步应用。