DocumentCode
2270225
Title
Consistency checking based on high level fuzzy Petri nets
Author
Scarpelli, Heloisa ; Gomide, Fernando
Author_Institution
Univ. Federal de Sao Carlos, Brazil
fYear
1994
fDate
26-29 Jun 1994
Firstpage
1957
Abstract
The problem of verifying the integrity of fuzzy knowledge bases is discussed. An approach to find potential inconsistencies in fuzzy rule based systems is described. The approach models the knowledge base as a high level fuzzy Petri net and uses the structural properties of the net for verification. Basic notions on approximate reasoning and high level fuzzy Petri nets are also given. The method used for consistency checking is briefly reviewed. Procedures for discovering potential inconsistencies at both local and global levels are described
Keywords
Petri nets; formal verification; fuzzy logic; fuzzy set theory; inference mechanisms; knowledge based systems; knowledge representation; uncertainty handling; approximate reasoning; consistency checking; fuzzy Petri nets; fuzzy knowledge bases; fuzzy rule based systems; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Inference algorithms; Joining processes; Knowledge based systems; Knowledge representation; Petri nets; Power system modeling;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the Third IEEE Conference on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-1896-X
Type
conf
DOI
10.1109/FUZZY.1994.343550
Filename
343550
Link To Document