Validation and verification of conceptual models of diagnosis

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

9 Downloads (Pure)

Abstract

Traditional approaches to validation and verification of KBS aim at investigating properties of a KBS which are independent of the particular task of the KBS, and are phrased in terms of the implementation language of the final system. In contrast to this, we propose an approach to validation and verification of KBS which exploits task-specific properties of a KBS, and which is based on an implementation-independent conceptual model of the system.
Original languageEnglish
Title of host publicationValidation and verification of conceptual models of diagnosis
Pages117-128
Publication statusPublished - 1997

Bibliographical note

Harmelen F.A.H. van and Annette ten Teije. Validation and verification of conceptual models of diagnosis. Pages 117--128. June 1997. Journal Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems ({EUROVAV}'97).

Cite this