Markov categories, causal theories, and the do-calculus

04/11/2022
by   Yimu Yin, et al.
0

We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to define and study important concepts in causal reasoning from an abstract and "purely causal" point of view, such as causal independence/separation, causal conditionals, and decomposition of intervention effects. Our results regarding these concepts abstract away from the details of the commonly adopted causal models such as (recursive) structural equation models or causal Bayesian networks. They are therefore more widely applicable and in a way conceptually clearer. Our results are also intimately related to Judea Pearl's celebrated do-calculus, and yield a syntactic version of a core part of the calculus that is inherited in all causal models. In particular, it induces a simpler and specialized version of Pearl's do-calculus in the context of causal Bayesian networks, which we show is as strong as the full version.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/18/2022

On the Equivalence of Causal Models: A Category-Theoretic Approach

We develop a category-theoretic criterion for determining the equivalenc...
research
01/10/2013

A Calculus for Causal Relevance

This paper presents a sound and completecalculus for causal relevance, b...
research
07/01/2023

Causal Structure Learning by Using Intersection of Markov Blankets

In this paper, we introduce a novel causal structure learning algorithm ...
research
07/04/2019

On Open-Universe Causal Reasoning

We extend two kinds of causal models, structural equation models and sim...
research
05/17/2023

Generating Bayesian Network Models from Data Using Tsetlin Machines

Bayesian networks (BN) are directed acyclic graphical (DAG) models that ...
research
10/03/2021

Hierarchical Causal Analysis of Natural Languages on a Chain Event Graph

Various graphical models are widely used in reliability to provide a qua...
research
02/27/2013

A Probabilistic Calculus of Actions

We present a symbolic machinery that admits both probabilistic and causa...

Please sign up or login with your details

Forgot password? Click here to reset