Issue 97006 | Editor: Erik Sandewall | 7.10.1997 |
ETAI Publications |
The following article has been received by the present ETAI
area,
which means that it will be open for a three-month discussion period,
followed by the closed peer-review decision on whether it will be
accepted by the ETAI. All readers of this Newsletter are invited
to participate in the discussion.
Please don't be shy to ask questions; it is actually in the author's
interest to receive tough questions. Just like at an internal seminar,
they give him or her a chance to show that he/she is able to answer
well, and they give valuable feedback. Also, since the article has
already been published (but not yet refereed), it is citable from
now on, so tough questions do not deprive the author of being
"on record" with the article.
Clicking the title of the article leads to the official cover page
where it was published, with links e.g. to its full text.
Clicking "[interactions]" leads to the on-going question-answer
debate about the article, with options for submitting a question
or comment to the present Newsletter editor.
Abstract: 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).
Please click for a list of all received articles in a plain web page, or for a page using frames.