【摘要】 专家系统的广泛应用,迫切需要较完善的知识库维护方法。本文讨论了Horn短句知识库协调性维护的有关问题,并借助于归结原理和Kowalski元谓词demo的概念,提出了一种可用于专家系统知识获取过程的知识库协调性维护的方法。该方法已在IBM PC/XT上用PROLOG语言实现。更多还原

【Abstract】 This paper discusses some problems in maintaining the consistency of a knowledge base (KB) organized by Horn clauses. Based on the resolution principle and the concept of meta-language, consistency of the knowledge base in an expert system is checked. This method can be applied to the knowledge acquisition process in building expert systems and has been implemented on IBM PC/XT in PROLOG.更多还原