Validation and Verification of Conceptual Models of Diagnosis (1997)
| Venue: | in Proceedings of the 4 th European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97 |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Harmelen97validationand,
author = {Frank Van Harmelen and Annette ten Teije},
title = {Validation and Verification of Conceptual Models of Diagnosis},
booktitle = {in Proceedings of the 4 th European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97},
year = {1997},
pages = {117--128}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 implementationindependent conceptual model of the system. We illustrate our approach by investigating the taskspecific properties of a conceptual model for a wide class of diagnostic systems. 1 Introduction 1.1 Motivation Much of the current work on V&V of knowledge-based systems (see e.g. [Lydiard, 1992, Ayel & (eds.), 1991, Hamilton & Kelly, 1991] for some collections) has the following characteristics: Firstly, it is aimed at verifying properties of the implementation of a KBS (e.g. in rules or frames). Secondly it verifies properties which are independent of the particular task of the KBS (e....
