Petri net-based formal reasoning algorithm for fuzzy production rule-based systems

Meimei Gao, Zhiming Wu, Meng Chu Zhou

Research output: Contribution to journalConference articlepeer-review

18 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)3093-3097
Number of pages5
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume4
StatePublished - Dec 1 2000
Event2000 IEEE International Conference on Systems, Man and Cybernetics - Nashville, TN, USA
Duration: Oct 8 2000Oct 11 2000

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Fingerprint

Dive into the research topics of 'Petri net-based formal reasoning algorithm for fuzzy production rule-based systems'. Together they form a unique fingerprint.

Cite this