论文部分内容阅读
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法.
The implementation of the consistency checking method based on petri net is discussed. The consistency definition of knowledge base and Petri net are given to establish the knowledge base model and consistency checking method, which provides an effective method for the test of knowledge base.