作　　者： ; ;

机构地区： 华中理工大学

出　　处： 《华中理工大学学报》 1993年第1期53-56,共4页

摘　　要： 讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法. A majordifficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, cnsistency, and completeness of the knowledge base. The consistency of a knowledge base is defined and its verification in knowledge-based systems is discussed. A new method based on the Petri net for checking the consistency is proposed and a model of Petri net has been developed.

关 键 词： 知识库 网 一致性 完备性

领　　域： [自动化与计算机技术] [自动化与计算机技术]