Using Petri nets to verify acyclic rule-based system

Expand
  • 1.College of Information Science and Engineering, Shandong University of Science and Technology; 2.Department of Computer Science and Engineering, Tongji University

Published date: 05 Jun 2008

Abstract

A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system (RBS), including inconsistency, incompleteness, redundancy and circularity. A marked ?-Petri net model of acyclic RBS was constructed. Then, its reachability tree was generated to record all reachable relations between propositions in RBS. Moreover, a backward reasoning forest of a reachable marking was generated for explicitly representing reachable paths in RBS. Finally, a set of theorems and algorithms were provided to analyze and check structural errors. The usability of the research results presented in this paper was illustrated by an example.

Cite this article

DING Zhijun, PAN Meiqin, JIANG Changjun, HAN Yaojun . Using Petri nets to verify acyclic rule-based system[J]. Frontiers of Electrical and Electronic Engineering, 2008 , 3(2) : 155 -161 . DOI: 10.1007/s11460-008-0042-2

References

1. Nazareth D L Kennedy M H Verification of rule-basedknowledge using directed graphsKnowledgeAcquisition 1991 3339360. doi:10.1016/S1042‐8143(05)80024‐X
2. Ramaswamy M Sarkar S Chen Y S Using directed hypergraphs to verify rule-based expertsystemsIEEE Transactions on Knowledge andData Engineering 1997 9(2)221237. doi:10.1109/69.591448
3. Looney C G Liang L R Inference via fuzzy beliefPetri netsIn: Chen I R, Anderson C eds.Proceedings of the Fifteenth IEEE International Conference on Toolswith Artificial IntelligenceSacramentoIEEE Computer Society 2003 510514
4. Murata T Subrabmanian V S Wakayama T A Petri net model for reasoning in the presence of inconsistencyIEEE Transactions on Knowledge and Data Engineering 1991 2(3)281292. doi:10.1109/69.91059
5. Yang S J H Lee A S Chu W C et al.Rule base verification using Petri netsIn: Hughes E eds.Proceedings of the 22nd InternationalComputer Software and Applications ConferenceSacramentoIEEE Computer Society 1998 476481
6. Nazareth D L Investigatingthe applicability of Petri nets for rule-based system verificationIEEE Transactions on Knowledge and Data Engineering 1993 5(3)402415. doi:10.1109/69.224193
7. He X D Chu W C Yang H J A new approach to verify rule-based systems using PetrinetsInformation and Software Technology 2003 45(10)663669. doi:10.1016/S0950‐5849(03)00058‐2
8. Lin C Chaudhury A Whinston A et al.Logical inference of Horn clauses in Petri net modelsIEEE Transactions on Knowledge and Data Engineering 1993 5(3)416425. doi:10.1109/69.224194
9. Jiang C J BehaviorTheory and Applications of Petri NetBeijingHigher Education Press 2003 1928(in Chinese)
10. Yuan C Y ThePrinciple and Application of Petri NetsBeijingPublishing House of ElectronicsIndustry 2005 5870(in Chinese)
11. Yan W M Wu W M Data StructureBeijingTsinghua University Press 2002 (in Chinese)
Outlines

/