Title :
A formal description technique for the verification of fuzzy knowledge base redundancy and subsumption
Author_Institution :
Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
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
Keywords :
Petri nets; deductive databases; formal verification; fuzzy logic; inference mechanisms; knowledge based systems; redundancy; uncertainty handling; deduction process; dynamic checking; expert system; formal description technique; fuzzy inference; fuzzy knowledge base redundancy; fuzzy knowledge representation; knowledge base verification; knowledge inference; production systems; proposition theory; reachability markings; state-controlled Petri nets; subsumption; threshold criteria; transition firings propagation; Aerodynamics; Computer science; Expert systems; Fuzzy control; Fuzzy sets; Fuzzy systems; Knowledge engineering; Petri nets; Production systems; Uncertainty;
Conference_Titel :
Artificial Neural Networks and Expert Systems, 1993. Proceedings., First New Zealand International Two-Stream Conference on
Conference_Location :
Dunedin
Print_ISBN :
0-8186-4260-2
DOI :
10.1109/ANNES.1993.323060
