Conditional logic of actions and causation

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. Furthermore, this new approach provides a natural formalization of concurrent actions and causal dependencies between actions. An abductive semantics is adopted for dealing with the frame problem.

• Type: Journal
• Year: 2004
• Where: AI
• Authors: Laura Giordano, Camilla Schwind
• Keywords: AI 2004, Artificial Intelligence, Causal, Causal Implication, Conditional Implication