Causal Modeling with Probabilistic Simulation Models

by   Duligur Ibeling, et al.
Stanford University

Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the logic of conditionals in this setting. Here we extend this setting to the case of probabilistic simulation models. We give a natural definition of probability on formulas of the conditional language, allowing for the expression of counterfactuals, and prove foundational results about this definition. We also find an axiomatization for reasoning about linear inequalities involving probabilities in this setting. We prove soundness, completeness, and NP-completeness of the satisfiability problem for this logic.


page 1

page 2

page 3

page 4


On the Conditional Logic of Simulation Models

We propose analyzing conditional reasoning by appeal to a notion of inte...

Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

Causal multiteam semantics is a framework where probabilistic notions an...

On the Independencies Hidden in the Structure of a Probabilistic Logic Program

Pearl and Verma developed d-separation as a widely used graphical criter...

Is Causal Reasoning Harder than Probabilistic Reasoning?

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

Combining Probabilistic, Causal, and Normative Reasoning in CP-logic

In recent years the search for a proper formal definition of actual caus...

A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting

This paper obtains a completeness result for inequational reasoning with...

Models of Linear Logic based on the Schwartz ε-product

From the interpretation of Linear Logic multiplicative disjunction as th...

Please sign up or login with your details

Forgot password? Click here to reset