The Do-Calculus Revisited

by   Judea Pearl, et al.

The do-calculus was developed in 1995 to facilitate the identification of causal effects in non-parametric models. The completeness proofs of [Huang and Valtorta, 2006] and [Shpitser and Pearl, 2006] and the graphical criteria of [Tian and Shpitser, 2010] have laid this identification problem to rest. Recent explorations unveil the usefulness of the do-calculus in three additional areas: mediation analysis [Pearl, 2012], transportability [Pearl and Bareinboim, 2011] and metasynthesis. Meta-synthesis (freshly coined) is the task of fusing empirical results from several diverse studies, conducted on heterogeneous populations and under different conditions, so as to synthesize an estimate of a causal relation in some target environment, potentially different from those under study. The talk surveys these results with emphasis on the challenges posed by meta-synthesis. For background material, see


page 1

page 2

page 3

page 4


Multivariate Counterfactual Systems And Causal Graphical Models

Among Judea Pearl's many contributions to Causality and Statistics, the ...

A Calculus for Causal Relevance

This paper presents a sound and completecalculus for causal relevance, b...

A Potential Outcomes Calculus for Identifying Conditional Path-Specific Effects

The do-calculus is a well-known deductive system for deriving connection...

Causal Inference by Surrogate Experiments: z-Identifiability

We address the problem of estimating the effect of intervening on a set ...

External Validity: From Do-Calculus to Transportability Across Populations

The generalizability of empirical findings to new environments, settings...

Identifying Causal Effects via Context-specific Independence Relations

Causal effect identification considers whether an interventional probabi...

The Topological Mu-Calculus: completeness and decidability

We study the topological μ-calculus, based on both Cantor derivative and...