A Formal Semantics of Influence in Bayesian Reasoning

DOI10.4230/LIPIcs.MFCS.2017.21zbMath1441.68253OpenAlexW2773640343MaRDI QIDQ5111235

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

probability distributioninfluenceBayesian network

Mathematics Subject Classification ID

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

Related Items (7)

Learning along a channel: the expectation part of expectation-maximisation ⋮ Causal inference via string diagram surgery ⋮ Unnamed Item ⋮ Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks ⋮ Bayesian network semantics for Petri nets ⋮ Unnamed Item ⋮ Disintegration and Bayesian inversion via string diagrams

Cites Work

• From probability monads to commutative effectuses
• A predicate/state transformer semantics for Bayesian learning
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
• Semantics for probabilistic programming
• Quantitative Algebraic Reasoning
• Quantum Computer Science
• Optimal Transport
• An effect-theoretic account of Lebesgue integration
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Formal Semantics of Influence in Bayesian Reasoning