含有否定命题逻辑推理的一致性模糊Petri网模型.pdf

11 Vol. 34 No. 11 2006 11 ACTA ELECTRONICA SINICA Nov. 2006 Petri 汪 洋, 林 闯, 曲 扬, 李雅娟 ( , 100084) : Petri ( Fuzzy Petri Net, FPN) Petri ( Petri Net, PN) . FPN . , ., , . FPN ( Consistent Fuzzy Petri Net, CFPN) , CFPN , . : Petri ; ; ; : TP302 : A : (2006) 1119 06 Consistent Fuzzy Petri Nets Model for Logic Programs with Negation WANG Yang, LIN Chuang, QU Yang, LI Yajuan ( Department of Comp uter Science Technology , Tsinghua University , Beij ing 100084, China) Abstract : Fuzzy Petri Net ( FPN) is an extension of Petri Net ( PN) . Previousresearch focuses on the representation and rea soning of the fuzzy rulesw ith FPN. However,fuzzy production rules with negative literals can not be expressed and reasoned effec tively in traditional methods.The inherent meanings of the negative literals in fuzzy production rules are discussed in this paper, while negations of the input proposition can be represented asthe negative impact on the rules, and negations of the consequents can be treated as that the rule blocks the consequents. Based on it, Consistent Fuzzy Petri Net ( CFPN) model isproposed,which is more suitable to represent the fuzzy logic programs with negations.Thresholds are also introduced to CFPN model. Finally, a formal rea soning algorithm for the CFPN model is presented and validated. Key words: fuzzy Petri net; fuzzy reasoning;fuzzy production rule; negative proposition . [ 6] , X Li F LaraRosano 1 AFPN , FPN , . . ,