clarke@utcsri.UUCP (Jim Clarke) (09/24/85)
COLLOQUIUM, Tuesday, October 1, 11 am, SF1105
(SF = Sandford Fleming Building, 10 King's College Road)
Professor Ray Reiter
University of Toronto
"A Theory of Diagnosis"
Abstract: Suppose given a description of a "system", together with an
observation of the system's behaviour which conflicts with the way the sys-
tem is meant to behave. The diagnostic problem is to determine those "com-
ponents" of the system which, when assumed to be functioning abnormally,
will explain the discrepancy between the observed and correct system
behaviour.
I shall propose a general theory for this problem. The theory
requires only that the system be described in some logic (first order, tem-
poral, dynamic, what have you) and hence accommodates diagnostic reasoning
in a wide variety of practical settings including digital and analogue cir-
cuits, medicine, program debugging, and database updates. The theory leads
to an algorithm for computing all diagnoses, and to principles of measure-
ment for discriminating among competing diagnoses.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
{allegra,cornell,decvax,ihnp4,linus,utzoo}!utcsri!clarke