Fuzzy backward reasoning using fuzzy Petri nets

Chen, Ke and Chang (1990) have presented a fuzzy forward reasoning algorithm for rule-based systems using fuzzy Petri nets. In this paper, we extend the work of Chen, Ke and Chang (1990) to present a fuzzy backward reasoning algorithm for rule-based systems using fuzzy Petri nets, where the fuzzy production rules of a rule-based system are represented by fuzzy Petri nets. The system can perform fuzzy backward reasoning automatically to evaluate the degree of truth of any proposition specified by the user. The fuzzy backward reasoning capability allows the computers to perform reasoning in a more flexible manner and to think more like people.

[1]  Witold Pedrycz,et al.  A generalized fuzzy Petri net model , 1994, IEEE Trans. Fuzzy Syst..

[2]  D. S. Yeung,et al.  Fuzzy knowledge representation and reasoning using Petri nets , 1994 .

[3]  Slobodan Ribaric.  Knowledge Representation Scheme Based on Petri Net Theory , 1988, Int. J. Pattern Recognit. Artif. Intell..

[4]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[5]  Shyi-Ming Chen,et al.  A fuzzy reasoning approach based on extended Petri nets and the α-cuts operations of fuzzy numbers , 1994 .

[6]  Shyi-Ming Chen,et al.  A methodology for knowledge base verification using fuzzy Petri nets , 1993 .

[7]  Shyi-Ming Chen.  Representing fuzzy knowledge using extended fuzzy Petri nets , 1993, 1993 (2nd) International Symposium on Uncertainty Modeling and Analysis.

[8]  Fernando Gomide,et al.  A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases , 1994 .

[9]  Shun'ichi Tano,et al.  Interval-valued fuzzy backward reasoning , 1995, IEEE Trans. Fuzzy Syst..

[10]  C. G. Looney,et al.  Logical controls via Boolean rule matrix transformations , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[11]  A. Kandel.  Fuzzy Mathematical Techniques With Applications , 1986 .

[12]  Shyi-Ming Chen.  A new approach to handling fuzzy decision-making problems , 1988 .

[13]  A. Giordana,et al.  Modelling Production Systems by means of Predicate-Transitions Networks , 1985, Inf. Sci..

[14]  Shun'ichi Tano,et al.  Backward-chaining with fuzzy 'if. . . then. . .' rules , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[15]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[16]  Shyi-Mig Chen,et al.  A new approach to handling fuzzy decision-making problems , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[17]  Senén Barro,et al.  Fuzzy reasoning supported by Petri nets , 1994, IEEE Trans. Fuzzy Syst..

[18]  Masaharu Mizumoto,et al.  Fuzzy controls under various fuzzy reasoning methods , 1988, Inf. Sci..