Pearl's Causality in a Logical Setting

We provide a logical representation of Pearl's structural causal models in the framework of the causal calculus of McCain and Turner (1997) and its first-order generalization by Lifschitz. It will be shown that, under this representation, the nonmonotonic semantics of the causal calculus describes precisely the solutions of the structural equations (the causal worlds of a causal model), while the causal logic from Bochman (2004) is adequate for describing the behavior of causal models under interventions (forming submodels).

[1]  Judea Pearl,et al.  Symbolic Causal Networks , 1994, AAAI.

[2]  J. Pearl.  The Causal Foundations of Structural Equation Modeling , 2012 .

[3]  Fangkai Yang,et al.  Functional completion , 2013, J. Appl. Non Class. Logics.

[4]  Hector Geener.  Causality, Constraints and the Indirect Eeects of Actions , 1997 .

[5]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[6]  Hudson Turner,et al.  A Logic of Universal Causation , 1999, Artif. Intell..

[7]  Hector Geffner,et al.  Causality, Constraints and Indirect Effects , 1997, IJCAI.

[8]  Alexander Bochman,et al.  A Causal Theory of Abduction , 2007, J. Log. Comput..

[9]  Rick H. Hoyle,et al.  Handbook of structural equation modeling , 2012 .

[10]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[11]  Norman Y. Foo,et al.  EPDL: A Logic for Causal Reasoning , 2001, IJCAI.

[12]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[13]  Hector Geffner,et al.  Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.

[14]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[15]  松本 裕治.  Default Reasoningと非単調論理(海外研究動向) , 1981 .

[16]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[17]  Joseph Y. Halpern.  Axiomatizing Causal Reasoning , 1998, UAI.

[18]  Alexander Bochman,et al.  A causal approach to nonmonotonic reasoning , 2004, Artif. Intell..

[19]  Laura Giordano,et al.  Ramification and causality in a modal action logic , 2000, J. Log. Comput..

[20]  Dov M. Gabbay,et al.  What Is Negation as Failure? , 2012, Logic Programs, Norms and Action.

[21]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[22]  Alexander Bochman,et al.  Logic in Nonmonotonic Reasoning , 2011 .