Vol.37 No.12

Journal of Xi'an Jiaotong University

Dec.2003

retue.gif (1614 ×Ö½Ú)

zwb.gif (1647 ×Ö½Ú)

Fuzzy Petri Net Based Formalized Reasoning Algorithm with Applications
Jia Lixin,Xun Junyi,Ru Feng
(School of Electrical Engineering,Xi'an Jiaotong University,Xi'an 710049,China)
Abstract:Based on fuzzy Petri net, human knowledge representation and reasoning under multi-constraints are discussed. And then, combining fuzzy Petri net with matrix operation, an algorithm of formalized fuzzy reasoning process is proposed, in which all of the constraints in the reasoning rules, such as weights of the input propositions, thresholds of the transitions, degree of trues of the rules, and multiple conclusions rules, are considered. It demonstrates that the fuzzy reasoning process is accomplished more simply, quickly and easily as the algorithm is adopted and the efficiency of the reasoning is also improved due to the parallel operation ability of Petri net.
Keywords:fuzzy Petri net;knowledge representation;reasoning algorithm