Validation and verification of conceptual models of diagnosis
Frank van Harmelen, Annette ten Teije · 1997
: 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. We illustrate our approach by investigating the task-specific properties of a conceptual model for a wide class of diagnostic systems. Keywords: Conceptual Model, Diagnosis, Formal Modelling, Task-specific properties 1 Currently, she is carrying out her work at Imperial Cancer Research Fund (London) as part of a community training project (TMR) financed by the European Commission. Project: ERBFMBICT961130 Validation and verification of conceptual models of diagnosis 2 1 Introduction 1.1 Motivation Much of the current work on V&V of kn...