Design and realization of a tool for the verification of knowledge bases
一种知识库校验工具PKBV的设计与实现

This paper used Petri net to model the knowledge base and a knowledge verification tool, PKBV , was developed based on Petri net. Incomplete and inconsistent errors were checked by the analysis and calculation of reachability and invariance of Petri net. PKBV can extract associated rules among the multi-knowledge bases, which meets the verification demands of complicated knowledge-based system.