Probabilistic Reasoning across the Causal Hierarchy
release_y35w6gyjybhsnevhujmlzieju4
by
Duligur Ibeling, Thomas Icard
2021
Abstract
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.
In text/plain
format
Archived Content
There are no accessible files associated with this release. You could check other releases for this work for an accessible version.
Know of a fulltext copy of on the public web? Submit a URL and we will archive it
2001.02889v5
access all versions, variants, and formats of this works (eg, pre-prints)