Dynamic verification of an object-rule knowledge base using Colored Petri Nets

In this paper, we propose a formal description for the dynamic verification of an Object-Rule Hybrid Knowledge-based System (HKBS), capitalizing on the work carried out within the verification framework of Frame-Rule Hybrid Expert Systems. The main idea is to model an HKBS by means of a Colored Petri Network (CPN). In this way, method invocations, state class changes, rules and productions will be modeled as components of the CPN. Detection and analysis of the HKBS will be carried out by the construction and analysis of the markings graph, which results from the inference process.

[1]  Daniel E. O'Leary,et al.  Expert system verification and validation: a survey and tutorial , 1993, Artificial Intelligence Review.

[2]  Simon C. K. Shiu,et al.  An approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[3]  Mohan Tanniru,et al.  A Petri-Net Based Approach for Verifying the Integrity of Production Systems , 1992, Int. J. Man Mach. Stud..

[4]  Simon C. K. Shiu,et al.  Formal description and verification of Hybrid Rule/Frame-based Expert Systems , 1997 .

[5]  Daniel E. O'Leary.  The impact of semantic ambiguity on Bayesian weights , 1995 .

[6]  Trevor J. M. Bench-Capon,et al.  Maintenance of Knowledge-based Systems , 1993 .

[7]  R. A. Stachowitz,et al.  A report on the Expert Systems Validation Associate (EVA) , 1990 .

[8]  Suzanne Smith,et al.  Verification and validation of rule-based expert systems , 1993 .

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

[10]  James Nga-Kwok Liu,et al.  Formal verification of the correctness in hybrid expert systems , 1997, Proceedings of 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97.

[11]  Master Gardener,et al.  Mathematical games: the fantastic combinations of john conway's new solitaire game "life , 1970 .

[12]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..