Formal verification of the correctness in hybrid expert systems

  title={Formal verification of the correctness in hybrid expert systems},
  author={Simon C. K. Shiu and James Nga-Kwok Liu and Daniel S. Yeung},
It has been increasingly recognized over recent years that expert systems which combine one or more techniques greatly increase the problem solving capability and help overcome some of the shortcomings associated with any single technique. The verification of these expert systems requires methods which could tackle the multiple knowledge representation paradigms and integrated inference mechanisms used. This paper provides a formal description technique for verifying the correctness of Hybrid… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

A methodology to incorporate formal methods in hybrid KBS verification

R. F. Gamble, M BaughmanD.
International Journal of Human Computer Studies • 1996
View 2 Excerpts

Analysis of inheritance and multiple inheritance

Software Engineering Journal • 1996
View 1 Excerpt

Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series • 1996
View 3 Excerpts

Proofs of the Formal Verification of Hybrid Rule/Frame-based Expert Systems using SCCPN

S. Shiu, J. Liu, D. Yeung
Unpublished Manuscript • 1996

Similar Papers

Loading similar papers…