|
|
|
Using Petri nets to verify acyclic rule-based
system |
| DING Zhijun1, PAN Meiqin1, JIANG Changjun2, HAN Yaojun2 |
| 1.College of Information Science and Engineering, Shandong University of Science and Technology; 2.Department of Computer Science and Engineering, Tongji University |
|
|
|
|
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.
|
|
Issue Date: 05 June 2008
|
|
| 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)
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
