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

Author

Liu, N.K.

Author_Institution

Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia

fYear

1993

fDate

24-26 Nov 1993

Firstpage

142

Lastpage

145

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ANNES.1993.323060

Filename

323060