Abstract

Causal reasoning has become very important in the last few years in logic based action theories. In this article, we study how causal inference has been integrated and used in action theories. After presenting and discussing criteria considered as the most meaningful, we present four formalisms which are approaches to actions and causality and we try to situate each formalism in relation to the criteria.