KSL-98-21 + redirect page
Explanatory Diagnosis: Conjecturing actions to explain observations + Has identifier
Explanatory Diagnosis: Conjecturing actions to explain observations + Ksl tr id
Explanatory Diagnosis: Conjecturing actions to explain observations + Number
| Explanatory Diagnosis: Conjecturing actions to explain observations |
Bibtype
techreport
Has publishing details
July,1998
Has title
Explanatory Diagnosis: Conjecturing actions to explain observations
Has where published
KSL-98-21
Has year
1998
Title
Explanatory Diagnosis: Conjecturing actions to explain observations
Year
1998
Abstract
In this paper we present contributions tow … In this paper we present contributions towards a logical theory of diagnosis for systems that can be affected by the actions of agents. Specifically, we examine the task of conjecturing diagnoses to explain {\it what happened} to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We characterize what happened by introducing the notion of explanatory diagnosis in the language of the situation calculus. Explanatory diagnoses conjecture sequences of actions to account for a change in system behaviour. As such, we show that determining an explanatory diagnosis is analogous to classical AI planning with state constraints and incomplete knowledge. The representation scheme we employ provides an axiomatic solution to the frame, ramification and qualification problems. Exploiting this representation, we show that determining an explanatory diagnosis can be achieved by regression followed by theorem proving in the database describing what is known of the initial state of our system. Further, we show that by exploiting features inherent to diagnosis problems, we can simplify the diagnosis task. blems, we can simplify the diagnosis task.
Author
Sheila A. McIlraith +
Has author
Sheila A. McIlraith +
Has identifier
Explanatory Diagnosis: Conjecturing actions to explain observations +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Explanatory Diagnosis: Conjecturing actions to explain observations +
Month
July +
Number
Explanatory Diagnosis: Conjecturing actions to explain observations +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
