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.