Hostname: page-component-7c8c6479df-fqc5m Total loading time: 0 Render date: 2024-03-28T19:56:57.228Z Has data issue: false hasContentIssue false

Symbolic diagnosis and its formalisation

Published online by Cambridge University Press:  04 April 2001

PETER LUCAS
Affiliation:
Department of Computer Science, Utrecht University, PO Box 80.089, 3508 TB Utrecht, The Netherlands (e-mail: lucas@cs.ruu.nl)

Abstract

Diagnosis was among the first subjects investigated when digital computers became available. It still remains an important research area, in which several new developments have taken place in the last decade. One of these new developments is the use of detailed domain models in knowledge-based systems for the purpose of diagnosis, often referred to as “model-based” diagnosis. Typically, such models embody knowledge of the normal or abnormal structure and behaviour of the modelled objects in a domain. Models of the structure and workings of technical devices, and causal models of disease processes in medicine are two examples. In this article, the most important notions of diagnosis and their formalisation are reviewed and brought in perspec tive. In addition, attention is focused on a number of general frameworks of diagnosis, which offer sufficient flexibility for expressing several types of diagnosis.

Type
Review Article
Copyright
© 1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)