Formal verification of the correctness in hybrid expert systems

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

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

2 Citations (Scopus)

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 languageEnglish
Title of host publicationInternational Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES
PublisherIEEE
Pages419-428
Number of pages10
Publication statusPublished - 1 Jan 1997
EventProceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2) - Adelaide, Australia
Duration: 21 May 199723 May 1997

Conference

ConferenceProceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2)
CountryAustralia
CityAdelaide
Period21/05/9723/05/97

ASJC Scopus subject areas

  • Computer Science(all)

Cite this