基于“规则架+规则体”知识库的一致性与冗余性检查

摘要

知识库的组织和维护是大型专家系统和实现知识自动获取的所有专家系统必须解决的问题，介绍了基于“规则架＋规则体”的实用专家系统知识库中不一致与冗余规则（链）的几种可能形式，讨论了知识的一致性与冗余性检查的方法，并给出了详细的算法。