Reasoning About Causal Models With Infinitely Many Variables
Artificial Intelligence
2021-12-22 v1 Logic in Computer Science
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.
Cite
@article{arxiv.2112.11362,
title = {Reasoning About Causal Models With Infinitely Many Variables},
author = {Joseph Y. Halpern and Spencer Peters},
journal= {arXiv preprint arXiv:2112.11362},
year = {2021}
}