English

Pearl's Calculus of Intervention Is Complete

Artificial Intelligence 2012-07-02 v1

Abstract

This paper is concerned with graphical criteria that can be used to solve the problem of identifying casual effects from nonexperimental data in a causal Bayesian network structure, i.e., a directed acyclic graph that represents causal relationships. We first review Pearl's work on this topic [Pearl, 1995], in which several useful graphical criteria are presented. Then we present a complete algorithm [Huang and Valtorta, 2006b] for the identifiability problem. By exploiting the completeness of this algorithm, we prove that the three basic do-calculus rules that Pearl presents are complete, in the sense that, if a causal effect is identifiable, there exists a sequence of applications of the rules of the do-calculus that transforms the causal effect formula into a formula that only includes observational quantities.

Keywords

Cite

@article{arxiv.1206.6831,
  title  = {Pearl's Calculus of Intervention Is Complete},
  author = {Yimin Huang and Marco Valtorta},
  journal= {arXiv preprint arXiv:1206.6831},
  year   = {2012}
}

Comments

Appears in Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (UAI2006)