In: IEEE Trans. on Systems, Man, and Cybermetics; part B: Cybernetics, Vol. 30, No. 4, pages 846-856. 2000.
Abstract: Previously, a fuzzy forward reasoning algorithm for rule-based systems using fuzzy Petri nets has been proposed. This paper extends the previous work 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.
Keywords: backward reasoning, fuzzy AND-OR graphs, fuzzy Petri nets, fuzzy production rules, rule-based systems.