Reasoning about Causal Models with Infinitely Many Variables

Authors

  • Joseph Y. Halpern Cornell University
  • Spencer Peters Cornell University

DOI:

https://doi.org/10.1609/aaai.v36i5.20508

Keywords:

Knowledge Representation And Reasoning (KRR)

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.

Downloads

Published

2022-06-28

How to Cite

Halpern, J. Y., & Peters, S. (2022). Reasoning about Causal Models with Infinitely Many Variables. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5668-5675. https://doi.org/10.1609/aaai.v36i5.20508

Issue

Section

AAAI Technical Track on Knowledge Representation and Reasoning