Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsri.UUCP
Path: utzoo!utcsri!clarke
From: clarke@utcsri.UUCP (Jim Clarke)
Newsgroups: ont.events
Subject: U of T Comp. Sci. colloquium October 1
Message-ID: <1430@utcsri.UUCP>
Date: Tue, 24-Sep-85 12:37:35 EDT
Article-I.D.: utcsri.1430
Posted: Tue Sep 24 12:37:35 1985
Date-Received: Tue, 24-Sep-85 12:42:47 EDT
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 25

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


Brought to you by Super Global Mega Corp .com