On Probabilistic and Causal Reasoning with Summation Operators
Duligur Ibeling, Thomas F. Icard, Milan Moss\'e

TL;DR
This paper fully characterizes the computational complexity of probabilistic and causal reasoning with summation operators, revealing that such reasoning remains as difficult as prior models and becomes undecidable with unrestricted variables.
Contribution
It completes the complexity analysis of causal and probabilistic languages with summation, and axiomatizes these languages, addressing open questions from previous work.
Findings
Reasoning with summation operators is computationally as hard as previous models.
Allowing unrestricted free variables leads to undecidability.
The paper provides a complete axiomatization of languages with marginalization.
Abstract
Ibeling et al. (2023). axiomatize increasingly expressive languages of causation and probability, and Mosse et al. (2024) show that reasoning (specifically the satisfiability problem) in each causal language is as difficult, from a computational complexity perspective, as reasoning in its merely probabilistic or "correlational" counterpart. Introducing a summation operator to capture common devices that appear in applications -- such as the -calculus of Pearl (2009) for causal inference, which makes ample use of marginalization -- van der Zander et al. (2023) partially extend these earlier complexity results to causal and probabilistic languages with marginalization. We complete this extension, fully characterizing the complexity of probabilistic and causal reasoning with summation, demonstrating that these again remain equally difficult. Surprisingly, allowing free variables for…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRough Sets and Fuzzy Logic · Bayesian Modeling and Causal Inference · Multi-Criteria Decision Making
