Title :
A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems
Author :
Gao, Meimei ; Wu, Zhiming ; Zhou, MengChu
Author_Institution :
Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
Efficient reasoning for a complex fuzzy production rule-based system is a very important research issue and has many applications in unstructured environments with incomplete/imprecise information only. This paper presents a fuzzy reasoning Petri net (FRPN) model to represent a fuzzy production rule-based system. Based on the model, a formal reasoning algorithm using the operators in max-algebra is proposed to perform fuzzy reasoning automatically. The algorithm is consistent with the matrix equation expression method in the traditional Petri nets and allows one to exploit maximum parallel reasoning potential embedded in the model. Its legitimacy and feasibility are proved and validated through an example
Keywords :
Petri nets; fuzzy logic; inference mechanisms; knowledge based systems; uncertainty handling; formal reasoning algorithm; fuzzy production rule-based systems; fuzzy reasoning Petri net; imprecise information; incomplete information; matrix equation expression method; max-algebra; Application software; Automation; Discrete event systems; Equations; Fuzzy logic; Fuzzy reasoning; Fuzzy systems; Knowledge based systems; Petri nets; Production systems;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884473
