论文部分内容阅读
专家系统知识库中的知识可看作为一个推理网络。推理网络可以分解为若干个与或图。本文以与或图为基本考察对象,采用割集概念和布尔运算给出知识检验的方法。可对知识库知识进行一致性和完备性检验。
Knowledge in the expert system knowledge base can be viewed as an inference network. Inference networks can be broken down into several and or maps. In this paper, we take the or graph as the basic object of investigation, and give the method of knowledge test by using cut set concept and Boolean operation. Knowledge of the knowledge base can be consistent and completeness test.