Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals

DOI10.1017/S096012952100027XMaRDI QIDQ5076389zbMATH OpenOpenAlexWikidataFDO

Authors Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Publication date 17 May 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012952100027x

zbMATH Keywords

Bayesian networkscausalitycounterfactualsdo calculusintervertionsprobabilistic reasoningstring diagrams

Mathematics Subject Classification ID

Categories of networks and processes, compositionality (18M35) Axioms; other general questions in probability (60A05) Bayesian inference (62F15) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Improvement in estimating the population mean using two-stage balanced groups ranked set sampling
• Disintegration and Bayesian inversion via string diagrams
• Picturing classical and quantum Bayesian inference
• Causal inference from graphical models
• scientific article; zbMATH DE number 956594

Cites work

• A categorical semantics for causal structure
• A formal semantics of influence in Bayesian reasoning
• A graph-separation theorem for quantum causal models
• A predicate/state transformer semantics for Bayesian learning
• A single quantum cannot be cloned
• A survey of graphical languages for monoidal categories
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• An algebraic presentation of term graphs, via gs-monoidal categories
• Causal inference by string diagram surgery
• Disintegration and Bayesian inversion via string diagrams
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 140408 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• scientific article; zbMATH DE number 7255130 (Why is no real title available?)
• scientific article; zbMATH DE number 3264101 (Why is no real title available?)
• On the completeness of an identifiability algorithm for semi-Markovian models
• Pictures of complete positivity in arbitrary dimension
• Picturing classical and quantum Bayesian inference
• Pointless learning
• Quantum causal modelling
• The Logical Essentials of Bayesian Reasoning
• Theory-independent limits on correlations from generalized Bayesian networks
• Towards a general theory of quantum games
• Updating probabilistic knowledge on condition/event nets using Bayesian networks

Cited in

(12)

• Causal inference by string diagram surgery
• Improvement in estimating the population mean using two-stage balanced groups ranked set sampling
• Causal inference with a graphical hierarchy of interventions
• Free gs-monoidal categories and free Markov categories
• Cornering Optics
• String Diagrams for Layered Explanations
• Graphical quadratic algebra
• Rewriting for symmetric monoidal categories with commutative (co)monoid structure
• Quantitative monoidal algebra: axiomatising distance with string diagrams
• Compositional inference for Bayesian networks and causality
• Order in partial Markov categories
• Graphical quadratic algebra: a complete calculus for convex optimisation and Gaussian probability

Describes a project that uses

Uses Software

• JCI

This page was built for publication: Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5076389)