DeepAI AI Chat
Log In Sign Up

On the Conditional Logic of Simulation Models

05/08/2018
by   Duligur Ibeling, et al.
Stanford University
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/30/2018

Causal Modeling with Probabilistic Simulation Models

Recent authors have proposed analyzing conditional reasoning through a n...
01/09/2020

Probabilistic Reasoning across the Causal Hierarchy

We propose a formalization of the three-tier causal hierarchy of associa...
07/04/2019

On Open-Universe Causal Reasoning

We extend two kinds of causal models, structural equation models and sim...
11/27/2021

Is Causal Reasoning Harder than Probabilistic Reasoning?

Many tasks in statistical and causal inference can be construed as probl...
02/20/2023

Causal Razors

When performing causal discovery, assumptions have to be made on how the...
01/19/2000

Multi-Agent Only Knowing

Levesque introduced a notion of "only knowing", with the goal of capturi...
03/08/2000

Hypothetical revision and matter-of-fact supposition

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