On Open-Universe Causal Reasoning

07/04/2019
by   Duligur Ibeling, et al.
0

We extend two kinds of causal models, structural equation models and simulation models, to infinite variable spaces. This enables a semantics for conditionals founded on a calculus of intervention, and axiomatization of causal reasoning for rich, expressive generative models---including those in which a causal representation exists only implicitly---in an open-universe setting. Further, we show that under suitable restrictions the two kinds of models are equivalent, perhaps surprisingly as their axiomatizations differ substantially in the general case. We give a series of complete axiomatizations in which the open-universe nature of the setting is seen to be essential.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/09/2020

Probabilistic Reasoning across the Causal Hierarchy

We propose a formalization of the three-tier causal hierarchy of associa...
research
01/10/2013

A Calculus for Causal Relevance

This paper presents a sound and completecalculus for causal relevance, b...
research
04/11/2022

Markov categories, causal theories, and the do-calculus

We give a category-theoretic treatment of causal models that formalizes ...
research
05/08/2018

On the Conditional Logic of Simulation Models

We propose analyzing conditional reasoning by appeal to a notion of inte...
research
12/16/2022

ReCo: Reliable Causal Chain Reasoning via Structural Causal Recurrent Neural Networks

Causal chain reasoning (CCR) is an essential ability for many decision-m...
research
12/21/2021

Reasoning About Causal Models With Infinitely Many Variables

Generalized structural equations models (GSEMs) [Peters and Halpern 2021...

Please sign up or login with your details

Forgot password? Click here to reset