Using Petri nets to verify acyclic rule-based system

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.

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)