Title :
Goal-driven reasoning for fuzzy knowledge-based systems using a Petri net formalism
Author :
Bugarín, A. ; Barro, S.
Author_Institution :
Dept. de Electron. e Comput., Santiago de Compostela Univ., Spain
Abstract :
In this paper we describe a goal-driven reasoning algorithm over fuzzy knowledge bases. The approach to the problem permits characterizing the chaining between rules without requiring a complete identification between the propositions. The certainty degree of the rules is implemented by means of linguistic truth values and we include different considerations on the goals. A simple and adequate description of the process is achieved through the use of a Petri net formalism for the representation and manipulation of fuzzy knowledge bases
Keywords :
Petri nets; fuzzy logic; inference mechanisms; knowledge based systems; truth maintenance; uncertainty handling; Petri net formalism; fuzzy knowledge-based systems; goal-driven reasoning; linguistic truth values; rule chaining; Control systems; Fuzzy control; Fuzzy reasoning; Fuzzy systems; Graphics; Inference algorithms; Knowledge based systems; Production systems; Proposals; Qualifications;
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.343522
