Petri Net Based-Knowledge Base Consistency Checking System

Knowledge base is a kernel part in an intelligent system. Uncertainty in reasoning and problem solving procedure suffers from inconsistency in knowledge base, and the latter causes a series of faults and conflicts. To this problem, there are different kinds of solutions currently such as classical logic and truth maintenance techniques. This paper focuses attention on the implementation and characteristics of Petri Net based consistency checking system (CCS) in a production system.