Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 313K | PDF (requires Acrobat Reader) | ||
| Fulltext, Revised | 326K | PDF (requires Acrobat Reader) | ||
| Fulltext | 300K | PostScript (requires a PostScript Reader) | ||
| Fulltext, Revised | 314K | PostScript (requires a PostScript Reader) | ||
| Author: | Michael Thielscher | |||
| Article title: | A Theory of Dynamic Diagnosis | |||
| Publ. type: | Article | |||
| Volume: | 2 | |||
| Article No: | 11 | |||
| Language: | English | |||
| Abstract [en]: | Diagnosis is, in general, more than a mere passive reasoning
task. It often requires to actively produce observations by performing a
test series on a faulty system. We present a theory of diagnosis which captures
this dynamic aspect by appealing to Action Theory. The reactions of a system
under healthy condition are modeled as indirect effects, so-called ramifications,
of actions performed by the diagnostician. Under abnormal circumstances
- i.e., if certain aspects or components of the system are faulty-one or
more of these ramifications fail to materialize. Ramifications admitting
exceptions is shown to giving rise to a hitherto unnoticed challenge - a
challenge much like the one raised by the famous Yale Shooting counter-example
in the context of the Frame Problem. Meeting this challenge is inevitable
when searching for "good" diagnoses. As a solution, we adapt from a recent
causality-based solution to the Qualification Problem the key principle
of initial minimization. In this way, when suggesting a diagnosis
our theory of dynamic diagnosis exploits causal information, in addition
to possibly available, qualitative knowledge of the a priori likelihood
of components to fail.
Some of the results in this paper have been preliminarily reported in (Thielscher, 1997a). |
|||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1997 | |||
| Available: | 1997-10-07, Revised 1998-03-02 | |||
| No. of pages: | 26, Revised 28 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | 14a7d4df883b020e298ad850145d608d /home/ep/www/ea/cis/1997/011/cis97011.pdf (MD5) | |||
| Checksum PS: | 6e7a1c17ecd71134f2c8b5211fba6653 /service/www-ep/docs/ea/cis/1997/011/cis97011.ps (MD5) | |||
| Checksum PS: | 9c12f167d7096abbb94810e633875075 /service/www-ep/docs/ea/cis/1997/011/cis97011-revised.ps (MD5), Revised | |||
| PGP PDF: | PGP | |||
| PGP PDF: | PGP, Revised | |||
| PGP PS: | PGP | |||
| PGP PS: | PGP, Revised | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), Revised | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17