基于Petri网的知识库一致性检查研究

摘要

本文基于Ｐｅｔｒｉ网理论，给出知识库一致性检查定理，提出了网中关键元素的数据结构，并在此基础上设计和证明了用于检查三种主要不一致性的算法，在知识库的有效维护方面进行了初步探索和尝试。