A formal semantics of influence in Bayesian reasoning

DOI10.4230/LIPICS.MFCS.2017.21MaRDI QIDQ5111235zbMATH OpenOpenAlexFDO

Authors Bart Jacobs, Fabio Zanasi

Publication date 26 May 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2017/8089/pdf/LIPIcs-MFCS-2017-21.pdf/

zbMATH Keywords

Bayesian networkinfluenceprobability distribution

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Flow of information in Bayesian networks
• Independence of causal influence and clique tree propagation
• On semantics of inference in Bayesian networks
• Theory of influence networks
• A predicate/state transformer semantics for Bayesian learning

Cites work

• A predicate/state transformer semantics for Bayesian learning
• Abstract hidden Markov models: a monadic account of quantitative information flow
• An effect-theoretic account of Lebesgue integration
• Causality. Models, reasoning, and inference
• From probability monads to commutative effectuses
• scientific article; zbMATH DE number 1634667 (Why is no real title available?)
• scientific article; zbMATH DE number 3143969 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Optimal Transport
• Quantitative Algebraic Reasoning
• Quantum Computer Science
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

Cited in

(9)

• Learning along a channel: the expectation part of expectation-maximisation
• Bayesian network semantics for Petri nets
• Flow of information in Bayesian networks
• scientific article; zbMATH DE number 7449983 (Why is no real title available?)
• Updating probabilistic knowledge on condition/event nets using Bayesian networks
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Distances between states and between predicates
• Disintegration and Bayesian inversion via string diagrams
• Uncertainty reasoning for probabilistic Petri nets via Bayesian networks

This page was built for publication: A formal semantics of influence in Bayesian reasoning

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