Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

WANG Yang,LIN Chuang,QU Yang,LI Ya-juan
DOI: https://doi.org/10.3321/j.issn:0372-2112.2006.11.005
2006-01-01
Abstract:Fuzzy Petri Net(FPN) is an extension of Petri Net(PN).Previous research focuses on the representation and reasoning of the fuzzy rules with FPN.However,fuzzy production rules with negative literals can not be expressed and reasoned effectively 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 as the 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 is proposed,which is more suitable to represent the fuzzy logic programs with negations.Thresholds are also introduced to CFPN model.Finally,a formal reasoning algorithm for the CFPN model is presented and validated.
What problem does this paper attempt to address?