In: Computer Journal, Vol. 43, No. 3, pages 206-223. 2000.
Abstract: A new method for automated modeling and verification of the knowledge-based systems (KBSs)is presented. It is based on a formal technique called modified fuzzy Petri nets (MFPNs), which combines the basic aspects of Petri net theory with the basic features of fuzzy set theory. The MFPN modeling technique proposed in this paper is concerned with the fuzzy decision making problems of the fuzzy rule tree structures. The proposed method is illustrated by its application to the airport control system as a practical KBS. Modeling methodology for conversion of the KBS into a MFPN model allows to develop an effective MFPN verification technique. This technique has the capability of detecting and recovering the possible errors that can occur within the fuzzy rules of KBSs. The developed modeling and verification techniques are quite general and can be applied to most practical fuzzy systems.
Keywords: fuzzy Petri nets, knowledge-based systems, software tools.