Towards a Towards a Conditional Logic of Action and Causation
Résumé
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implication. This makes it possible to formalize in a uniform way causal dependencies between actions and their immediate and indirect effects. Also, it provides a natural formalization of concurrent actions and causal dependencies between actions. An abductive semantics is adopted for dealing with the frame problem.