A Method of Knowledge Base Verification for Nuclear Power Plant Expert Systems Using Extended Petri Nets

  • Kwon, I.W. (Korea Advanced Institute of Science and Technology Department of Nuclear Engineering) ;
  • Seong, P.H. (Korea Advanced Institute of Science and Technology Department of Nuclear Engineering)
  • Published : 1996.12.01

Abstract

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

Keywords

References

  1. Int. J. Man-Machine Studies v.26 A decision-table-Based processor for checking completeness and consistency in rule-based expert system B.J. Cragun;H.J. Studel
  2. Proc. 8th Eur. Conf. AI Onthe consistency of knowledge bases:COVADIS system M.R. Rousset
  3. Expert Systems with Applications v.1 A report on the expert systems validation associate (EVA) C.L.Chang;J.B.Combs;R.A.Stachowitz
  4. Proc. 9th Eur. Conf. AI A new method to checking rule bases for inconsistency : A Petri net approach P.Meseguer
  5. Int. J.Intell. Sys. v.6 An approach towards the rerification of expert systems using numerical petri nets N.K.Liu;T.Dillon
  6. IEEE Transaction of Knowledge and Data Engineering v.6 no.6 A tool for knowledge base verification D.Zang;D.Nguyen
  7. Petri net theory and the modeling of systems J.L.Peterson
  8. IEEE Transaction on Knowledge and Data Engineering v.4 no.3 Investigating the Applicability of Petri Nets for Rule-Based System Verification Derek L. Nazareth