Formal verification of the correctness in hybrid expert systems

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

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 proceeding › Conference article published in proceeding or book › Academic research › peer-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 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	Australia
City	Adelaide
Period	21/05/97 → 23/05/97

ASJC Scopus subject areas

Computer Science(all)

Cite this

@inproceedings{e996b274756e47f6a7fb065f441e11b9,

title = "Formal verification of the correctness in hybrid expert systems",

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.",

author = "Shiu, {Chi Keung Simon} and Liu, {James N.K.} and Yeung, {Daniel S.}",

year = "1997",

month = jan,

day = "1",

language = "English",

pages = "419--428",

booktitle = "International Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES",

publisher = "IEEE",

address = "United States",

note = "Proceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2) ; Conference date: 21-05-1997 Through 23-05-1997",

}

Shiu, CKS, Liu, JNK & Yeung, DS 1997, Formal verification of the correctness in hybrid expert systems. in International Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES. IEEE, pp. 419-428, Proceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2), Adelaide, Australia, 21/05/97.

Formal verification of the correctness in hybrid expert systems. / Shiu, Chi Keung Simon; Liu, James N.K.; Yeung, Daniel S.

International Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES. IEEE, 1997. p. 419-428.

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - Formal verification of the correctness in hybrid expert systems

AU - Shiu, Chi Keung Simon

AU - Liu, James N.K.

AU - Yeung, Daniel S.

PY - 1997/1/1

Y1 - 1997/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030691717&partnerID=8YFLogxK

M3 - Conference article published in proceeding or book

SP - 419

EP - 428

BT - International Conference on Knowledge-Based Intelligent Electronic Systems, Proceedings, KES

PB - IEEE

T2 - Proceedings of the 1997 1st International Conference on Knowledge-Based Intelligent Electronic Systems, KES. Part 2 (of 2)

Y2 - 21 May 1997 through 23 May 1997

ER -

Formal verification of the correctness in hybrid expert systems

Abstract

Conference

ASJC Scopus subject areas

Other files and links

Cite this