A new approach to verify rule-based systems using Petri Nets
Date
2003-01-01
Advisors
Journal Title
Journal ISSN
ISSN
0950-5849
Volume Title
Publisher
Elsevier
Type
Article
Peer reviewed
Abstract
Description
Various graphical techniques were proposed recently to analyse various types of structural errors, including inconsistency (conflict rules), incompleteness (missing rules), redundancy (redundant rules), and circularity (circular depending rules), in rule-based systems in which rules can be represented in propositional logic. In this paper a special reachability graph technique is presented based on vnets (a special type of low-level petri nets) to detect all of the above types of structural errors. This new technique is simple, efficient, and can be easily automated, which provides its major strength.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Yang, H., Chu, W.C. and He, X. (2003) A new approach to verify rule-based systems using Petri Nets. Journal of Information and Software Technology, 45(10), pp. 663-669.