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).

PDF

In Proceedings of the AAAI Conference on Artificial Intelligence 2015.

@inproceedings{lif:aaai15, title={Pearl's Causality In a Logical Setting}, author={Alexander Bochman and Vladimir Lifschitz}, booktitle={Proceedings of the AAAI Conference on Artificial Intelligence}, url="http://www.cs.utexas.edu/users/ai-lab?lif:aaai15", year={2015} }