A Calculus for Causal Relevance

01/10/2013
by   Blai Bonet, et al.
0

This paper presents a sound and completecalculus for causal relevance, based onPearl's functional models semantics.The calculus consists of axioms and rulesof inference for reasoning about causalrelevance relationships.We extend the set of known axioms for causalrelevance with three new axioms, andintroduce two new rules of inference forreasoning about specific subclasses ofmodels.These subclasses give a more refinedcharacterization of causal models than the one given in Halpern's axiomatizationof counterfactual reasoning.Finally, we show how the calculus for causalrelevance can be used in the task ofidentifying causal structure from non-observational data.

READ FULL TEXT
01/09/2020

Probabilistic Reasoning across the Causal Hierarchy

We propose a formalization of the three-tier causal hierarchy of associa...
03/05/2014

Estimating complex causal effects from incomplete observational data

Despite the major advances taken in causal modeling, causality is still ...
07/04/2019

On Open-Universe Causal Reasoning

We extend two kinds of causal models, structural equation models and sim...
04/11/2022

Markov categories, causal theories, and the do-calculus

We give a category-theoretic treatment of causal models that formalizes ...
03/08/2019

A Potential Outcomes Calculus for Identifying Conditional Path-Specific Effects

The do-calculus is a well-known deductive system for deriving connection...
02/27/2013

A Probabilistic Calculus of Actions

We present a symbolic machinery that admits both probabilistic and causa...
03/27/2013

Temporal Reasoning About Uncertain Worlds

We present a program that manages a database of temporally scoped belief...