DeepAI AI Chat
Log In Sign Up

On the Conditional Logic of Simulation Models

by   Duligur Ibeling, et al.
Stanford University

We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking in the recent AI literature. Our main results include a series of axiomatizations, allowing comparison between this framework and existing frameworks (normality-ordering models, causal structural equation models), and a complexity result establishing NP-completeness of the satisfiability problem. Perhaps surprisingly, some of the basic logical principles common to all existing approaches are invalidated in our causal simulation approach. We suggest that this additional flexibility is important in modeling some intuitive examples.


page 1

page 2

page 3

page 4


Causal Modeling with Probabilistic Simulation Models

Recent authors have proposed analyzing conditional reasoning through a n...

Probabilistic Reasoning across the Causal Hierarchy

We propose a formalization of the three-tier causal hierarchy of associa...

On Open-Universe Causal Reasoning

We extend two kinds of causal models, structural equation models and sim...

Is Causal Reasoning Harder than Probabilistic Reasoning?

Many tasks in statistical and causal inference can be construed as probl...

Causal Razors

When performing causal discovery, assumptions have to be made on how the...

Multi-Agent Only Knowing

Levesque introduced a notion of "only knowing", with the goal of capturi...

Hypothetical revision and matter-of-fact supposition

The paper studies the notion of supposition encoded in non-Archimedean c...