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.

Rights

Research Institute