专家系统中知识一致性和完备性检验的一种方法

专家系统知识库中的知识可看作为一个推理网络。推理网络可以分解为若干个与或图。本文以与或图为基本考察对象,采用割集概念和布尔运算给出知识检验的方法。可对知识库知识进行一致性和完备性检验。