【摘要】 针对知识库在一致性方面存在的问题，给出了影响知识库一致性的循环、冲突和冗余的定义，并在将规则形式规范化的基础上，给出了规则等价比较的算法。根据该算法并结合产生式系统的特点，给出了判断规则循环、冲突和冗余的算法。最后，给出了在ｗｉｎｄｏｗｓ环境下，基于ＶｉｓｕａｌＣ＋＋的编程实现。这些算法及其实现方法可以帮助领域专家和知识工程师有效地维护知识库，并为进一步提高系统的性能奠定了基础。该方法已在电力通信网智能故障诊断知识库中获得应用，取得了良好的效果。更多还原

【Abstract】 Aiming at the existent problem of KB’s consistency, this paper presents the definitions of circulation,collision and redundancy which influence the KB’s consistency. Then the paper presents an arithmetic of ruleequivalence comparing based on the standardization of rule forms. According to this arithmetic and combiningproduction system’s characteristic, the arithmetics of judging rule circulation, collision and redundancy is given.Finally, the programs based on Visual C++ is provided. These arithmetics and their implement methods can helpdomain experts andknowledge engineers maintain KBs effectively, and establish the foundation to improve thesystem performance. further. This method has already applied to a fault diagnosing KB of electric power communication networks, and has gained good effects.更多还原