A formal theory of plan recognition
A formal theory of plan recognition
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Abductive consequence relations
Artificial Intelligence
On the logic of causal explanation
Artificial Intelligence
Adcuctive Reasoning with Abstraction Axioms
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Configurations for inference from causal statements: preliminary report
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Configurations for inference between causal statements
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |
A popular approach to explanations amounts to backward chaining over logical implications encoding causal links. However, the resulting explanations are often unsatisfactory from a common-sense point of view. We define a framework allowing us to distinguish causal implication from mere logical implication. Causal explanations are then deduced through two inference schemes so that explaining is in some way "less than implying" and "more than implying". Finally, we show how our approach applies to diagnostics.