Sciweavers

IEAAIE
1995
Springer

Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets

13 years 7 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
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. Keywords : Artificial Intelligence, Expert System Modelling, Verification, Coloured Petri Nets
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where IEAAIE
Authors Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
Comments (0)