Abstract
A formal description technique is used for verifying the correctness of Hybrid Expert Systems (HES) that emphasizes an integration of object hierarchy, property inheritance and production rules. The main idea converts HES into a State Controlled Colored Petri Net (SCCPN) where the object hierarchy, property inheritance and production rules are modeled as separated components in the same SCCPN. The detection and analysis of the anomalies in the system are done by constructing and examining the reachability tree spanned by the knowledge inference. This provides a formal basis for automating the deduction process and a means of verifying HES.
Original language | English |
---|---|
Title of host publication | International Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES |
Publisher | IEEE |
Pages | 419-428 |
Number of pages | 10 |
Publication status | Published - 1 Jan 1997 |
Event | Proceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2) - Adelaide, Australia Duration: 21 May 1997 → 23 May 1997 |
Conference
Conference | Proceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2) |
---|---|
Country/Territory | Australia |
City | Adelaide |
Period | 21/05/97 → 23/05/97 |
ASJC Scopus subject areas
- General Computer Science