Title :
Consistency checking based on high level fuzzy Petri nets
Author :
Scarpelli, Heloisa ; Gomide, Fernando
Author_Institution :
Univ. Federal de Sao Carlos, Brazil
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;
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
DOI :
10.1109/FUZZY.1994.343550
