A formal description technique for the verification of fuzzy knowledge base redundancy and subsumption

The verification approach used by the author is based on state-controlled Petri nets. It provides a means of representing fuzzy knowledge in production systems and allows for a dynamic checking of knowledge inference through the propagation of transition firings, whose executions are governed by a set of threshold criteria. Proposition theory is derived from reachability markings generated by the execution of transitions. This provides a formal basis for automating the deduction process and a means for verifying knowledge bases having the problems of redundancy and subsumption.<
>