Reasoning About Causal Models With Infinitely Many Variables

Joseph Y. Halpern,Spencer Peters
DOI: https://doi.org/10.48550/arXiv.2112.11362
2021-12-22
Abstract:Generalized structural equations models (GSEMs) [Peters and Halpern 2021], are, as the name suggests, a generalization of structural equations models (SEMs). They can deal with (among other things) infinitely many variables with infinite ranges, which is critical for capturing dynamical systems. We provide a sound and complete axiomatization of causal reasoning in GSEMs that is an extension of the sound and complete axiomatization provided by Halpern [2000] for SEMs. Considering GSEMs helps clarify what properties Halpern's axioms capture.
Artificial Intelligence,Logic in Computer Science
What problem does this paper attempt to address?