The Hardness of Reasoning about Probabilities and Causality

05/16/2023

∙

We study formal languages which are capable of fully expressing quantitative probabilistic reasoning and do-calculus reasoning for causal effects, from a computational complexity perspective. We focus on satisfiability problems whose instance formulas allow expressing many tasks in probabilistic and causal inference. The main contribution of this work is establishing the exact computational complexity of these satisfiability problems. We introduce a new natural complexity class, named succ∃R, which can be viewed as a succinct variant of the well-studied class ∃R, and show that the problems we consider are complete for succ∃R. Our results imply even stronger algorithmic limitations than were proven by Fagin, Halpern, and Megiddo (1990) and Mossé, Ibeling, and Icard (2022) for some variants of the standard languages used commonly in probabilistic and causal inference.

READ FULL TEXT

The Hardness of Reasoning about Probabilities and Causality

Is Causal Reasoning Harder than Probabilistic Reasoning?

Probabilistic Reasoning across the Causal Hierarchy

Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

On Geometry of Information Flow for Causal Inference

On the Tractability of Neural Causal Inference

Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning

On the Conditional Logic of Simulation Models

The Hardness of Reasoning about Probabilities and Causality

Related Research

Is Causal Reasoning Harder than Probabilistic Reasoning?

Probabilistic Reasoning across the Causal Hierarchy

Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

On Geometry of Information Flow for Causal Inference

On the Tractability of Neural Causal Inference

Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning

On the Conditional Logic of Simulation Models