|
Besnard, Philippe and Cordier, Marie-Odile and Moinard, Yves
Configurations for Inference from Causal Statements: Preliminary Report
, AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence)
, Springer
, No. 3673
, 282-285
, sep
, 2005
|
|
Abstract
When dealing with a cause (e.g., looking for something which could explain
certain facts), cases involving some effect due to that cause are precious
as such cases contribute to what the cause is.
They must be reasoned upon if inference about causes is to
take place.
It thus seems like a good logic for causes would arise from a semantics
based on collections of cases, to be called configurations that gather
instances of a given cause yielding some effect(s).
Such a view is in line with the famous counterfactual analysis of
causation which provides the motivation for the logic presented here.
Two crucial features of the counterfactual analysis of causation
are transitivity, which is endorsed here, and the event-based formulation,
which is given up here in favor of a fact-based approach.
A reason is that the logic proposed is ultimately meant to
deal with both deduction (given a cause, what is to hold?)
and abduction (given the facts, what could be the cause?)
thus paving the way to the inference of explanations.
The logic developed is shown to enjoy many desirable traits.
These traits form a basic kernel which can be modified but which
cannot be extended
significantly without losing the adequacy with the nature of
causation rules.
|
|