Formal description and verification of hybrid rule/frame-based expert systems

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

Research output: Journal article publicationJournal articleAcademic researchpeer-review

13 Citations (Scopus)


A Hybrid Expert System combines multiple representation paradigms into a single integrated environment for modeling and reasoning of complicated real world phenomena. For a Rule-and Frame-based integration, it models the problem domain using the concepts of Classes and Rules together. If Domain knowledge (concepts) is related by production rules and frame hierarchy, then anomalies may arise among this knowledge (concepts) due to the existence of two mutually independent formalism of relations. A contribution is made in this paper to developing formal description techniques for the detection of anomalies attributed to the integration of production rules with the inheritance of object properties within the object hierarchy. The main idea is to convert the HES into a State Controlled Coloured Petri Net (SCCPN) where the object hierarchy, property inheritance and production rules are modelled as separated components in the same SCCPN. The detection and analysis of the anomalies (i.e. Correctness, Consistency and Completeness) in the system are done by constructing and examining the reachability tree spanned by the knowledge inference.
Original languageEnglish
Pages (from-to)215-230
Number of pages16
JournalExpert Systems with Applications
Issue number3
Publication statusPublished - 1 Jan 1997

ASJC Scopus subject areas

  • General Engineering
  • Computer Science Applications
  • Artificial Intelligence


Dive into the research topics of 'Formal description and verification of hybrid rule/frame-based expert systems'. Together they form a unique fingerprint.

Cite this