Formal verification of some potential contradictions in hybrid expert systems

Chi Keung Simon Shiu, James N.K. Liu, Daniel S. Yeung

Research output: Journal article publicationConference articleAcademic researchpeer-review

2 Citations (Scopus)


With increasingly complex, sophisticated and changing real-world situations, it has been recognized that expert systems which combine one or more techniques greatly increase the problem solving capability and help overcome some of the shortcomings associated with any single technique. The verification of these expert systems requires methods that could tackle the multiple knowledge representation paradigms and integrated inference mechanisms used. This paper describes a formal technique based on State Controlled Coloured Petri Nets (SCCPNs) for verifying some potential contradictions in Hybrid Expert Systems (HES) that emphasize an integration of object hierarchy, property inheritance and production rules. The main idea of our approach is to convert the HES into a State Controlled Coloured Petri Net where the object hierarchy, property inheritance and production rules are modelled as separated components in the same SCCPN. The detection and analysis of the potential contradictions in the system are done by constructing and examining the reachability tree spanned by the knowledge inference. Propositions are formulated to verify such potential contradictions, and their mathematical proofs are explained.
Original languageEnglish
Pages (from-to)4424-4429
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Publication statusPublished - 1 Dec 1997
EventProceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics. Part 1 (of 5) - Orlando, FL, United States
Duration: 12 Oct 199715 Oct 1997

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Hardware and Architecture

Cite this