A Petri-Net Based Approach for Verifying the Integrity of Production Systems

Abstract The production rule formalization has become a popular method for knowledge representation in expert systems. Current development environments for rule-based systems provide few automated mechanisms for verifying the consistency and completeness of rule bases as they are developed in an evolutionary manner. We describe an approach to verifying the integrity of a rule-based system. The approach models the rule-base as a Petri-Net and uses the structural properties of the net for verification. Procedures for integrity checks at both local and chained inference levels are described.

[1]  William Mettrey,et al.  An Assessment of Tools for Building Large Knowledge-Based Systems , 1987, AI Mag..

[2]  Harold J. Steudel,et al.  A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..

[3]  Osman Balci,et al.  Validating Expert System Performance , 1987, IEEE Expert.

[4]  T.J. Murray,et al.  Control of inconsistency and redundancy in Prolog-type knowledge bases , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[5]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[6]  Ritu Agarwal,et al.  Structured tools for rule-based systems , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[7]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[8]  Michael D. Zisman.  USE OF PRODUCTION SYSTEMS FOR MODELING ASYNCHRONOUS, CONCURRENT PROCESSES , 1978 .

[9]  Tin A. Nguyen,et al.  Knowledge base verification , 1987 .

[10]  K. Pedersen,et al.  Well-structured knowledge bases, part III , 1989 .

[11]  Jay Liebowitz,et al.  Useful approach for evaluating expert systems , 1986 .

[12]  Perry L. Miller,et al.  Expert System Knowledge Acquisition for Domains of Medical Workup: An Augmented Transition Network Model , 1986 .

[13]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[14]  Walton A. Perkins,et al.  Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.

[15]  Mohan Tanniru,et al.  A Model‐Based Approach to Investigate Performance Improvements in Rule‐Based Expert Systems , 1993 .

[16]  Christopher J. R. Green,et al.  Verification and validation of expert systems , 1991 .

[17]  Tadao Murata,et al.  Petri Nets and their Application an Introduction , 1984 .

[18]  Derek L. Nazareth,et al.  Issues in the Verification of Knowledge in Rule-Based Systems , 1989, Int. J. Man Mach. Stud..

[19]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.