知识库一致性及其检查的设计实现方法

摘要

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