Consistent fuzzy Petri nets model for logic programs with negation

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 34, Issue 11, 2006, Pages 1955-1960

  Wang, Yang ^a   Lin, Chuang ^a   Qu, Yang ^a   Li, Ya Juan ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Fuzzy Petri net; Fuzzy production rule; Fuzzy reasoning; Negative proposition

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; FUZZY SETS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; MATRIX ALGEBRA; THEOREM PROVING; THRESHOLD LOGIC;

FORMAL REASONING; FUZZY PETRI NETS; FUZZY PRODUCTION RULES; FUZZY REASONING; NEGATIVE PROPOSITION;

PETRI NETS;

EID: 33846393240     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Lin C, Chanson S T. Logical inference of clauses based on Petri net models[J]. International Journal of Intelligent Systems, John Wiley and Sons, 1998, 13(9): 821-840.
2. Mutara T. An extended Petri net model for normal logic program[J]. IEEE Transactions on Knowledge and Data Engineering, 1995, 7(1): 150-162.
3. Looney C G. Fuzzy Petri nets for rule-based decision making[J]. IEEE Transactions on system, man, and cybernetics-part A, 1998, 18(1): 178-183.
4. Chen S M, Ke J S, Chang J F. Knowledge representation using fuzzy Petri nets[J]. IEEE Transactions on Knowledge and Data Engineering, 1990, 2(3): 311-319.
5. Yeung D S, Tsang E C C. A multilevel weighted fuzzy reasoning algorithm for expert systems[J]. IEEE Transaction on System, Man, and Cybernetics-part A, 1998, 28(2): 149-158.
6. Li X, Lara-Rosano F. Adaptive fuzzy Petri nets for dynamics knowledge representation and inference[J]. Expert Systems with Applications, 2000, 19(3): 235-241.
7. Yang R, Leung W S, Heng P N, Leung S K. Improved algorithm on rule-based reasoning systems modeled by fuzzy Petri nets[A]. Proceeding of IEEE international conference on fuzzy systems[C]. Honolulu, Hawaii: IEEE Computer Society Press, 2002.2. 1204-1209.
8. Chen S M. Weighted fuzzy reasoning using weighted fuzzy Petri nets[J]. IEEE Transactions on Knowledge and Data Engineering, 2002, 14(2): 386-397.
9. Chen S M. Fuzzy backward reasoning using fuzzy Petri nets[J]. IEEE Transactions on system, man, and cybernetics-part B, 2000, 30(6): 846-856.
10. Hu C, Li P, Wang H. Improved modeling algorithm of fuzzy Petri net for fuzzy reasoning[A]. Proceeding of IEEE International Conference on Man and Cybernetics Systems[C]. IEEE Computer Society Press, 2003.5. 4992-4997.
11. Gao M, Zhou M, Huang X, Wu Z. Fuzzy reasoning Petri nets[J]. IEEE Transactions on system, man, and cybernetics-part A, 2003, 33(3): 314-324.
12. Shimura T, Lobo J, Murata T. A Petri net semantics for logic programs with negation[A]. Proceeding of the fourth International Conference on Software Engineering and Knowledge Engineering[C]. Italy: IEEE Computer Society Press, 1992. 292-299.
13. Zaidi A K, Levis A H. Validation and verification of decision making rules[J]. Automatica, 1997, 33(2): 155-169.