Probabilistic Reasoning Across the Causal Hierarchy
2020 ◽
Vol 34
(06)
◽
pp. 10170-10177
◽
Keyword(s):
We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of expressing quantitative probabilistic reasoning—including conditional independence and Bayesian inference—the second encoding do-calculus reasoning for causal effects, and the third capturing a fully expressive do-calculus for arbitrary counterfactual queries. We give a corresponding series of finitary axiomatizations complete over both structural causal models and probabilistic programs, and show that satisfiability and validity for each language are decidable in polynomial space.
2016 ◽
Vol 62
(9)
◽
pp. 1285-1286
◽
Keyword(s):
Keyword(s):
2019 ◽
Vol 3
(POPL)
◽
pp. 1-30
◽
2008 ◽
Vol 49
(2)
◽
pp. 362-378
◽
2021 ◽
Vol 55
(1)
◽
pp. 12-26
◽
Keyword(s):
2021 ◽
Keyword(s):