Validation and verification of conceptual models of diagnosis

F.A.H. van Harmelen; A. ten Teije

Validation and verification of conceptual models of diagnosis

Artificial Intelligence

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic

70 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 language	English
Title of host publication	Validation and verification of conceptual models of diagnosis
Pages	117-128
Publication status	Published - 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).

Access to Document

EUROVAV97Final published version, 94.5 KB

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{4c7195eaddc14855913c58b34c78568b,

title = "Validation and verification of conceptual models of diagnosis",

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.",

author = "\{van Harmelen\}, F.A.H. and \{ten Teije\}, A.",

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).",

year = "1997",

language = "English",

pages = "117--128",

booktitle = "Validation and verification of conceptual models of diagnosis",

}

TY - GEN

T1 - Validation and verification of conceptual models of diagnosis

AU - van Harmelen, F.A.H.

AU - ten Teije, A.

N1 - 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).

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 117

EP - 128

BT - Validation and verification of conceptual models of diagnosis

ER -

Validation and verification of conceptual models of diagnosis

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this