Validation and verification of conceptual models of diagnosis

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