Approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets

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

Research output: Journal article publicationConference articleAcademic researchpeer-review

4 Citations (Scopus)


High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the analysis of the knowledge inference during the reasoning process, and to support the system verification which increasingly becomes an integral part of expert system development. Nevertheless, there is not much attention being put on systems other than the traditional ones. In this paper, we described an approach to model hybrid (rule- and frame-based) expert systems using Coloured Petri Nets and the concept of controlled state tokens. The analysis of the proposed model is by constructing and examining the reachability tree spanned by the knowledge inference. Such methodology has an implication for supporting the verification process in hybrid systems.
Original languageEnglish
Pages (from-to)2257-2262
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Publication statusPublished - 1 Dec 1995
EventProceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Canada
Duration: 22 Oct 199525 Oct 1995

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Hardware and Architecture

Cite this