Knowledge representation using fuzzy Petri nets

A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy production rule describes the fuzzy relation between two propositions. Based on the fuzzy Petri net model, an efficient algorithm is proposed to perform fuzzy reasoning automatically. It can determine whether an antecedent-consequence relationship exists from proposition d _s to proposition d_j, where d_s≠d_j. If the degree of truth of proposition d_s is given, then the degrees of truth of proposition d_j can be evaluated. The formal description of the model and the fuzzy reasoning algorithm are shown in detail. The upper bound of the time complexity of the fuzzy reasoning algorithm is O(nm), where n is the number of places and m is the number of transitions. Its execution time is proportional to the number of nodes in a sprouting tree generated by the algorithm only generates necessary reasoning paths from a starting place to a goal place, it can be executed very efficiently