A predicate/state transformer semantics for Bayesian learning
From MaRDI portal
Publication:1744386
DOI10.1016/j.entcs.2016.09.038zbMath1401.68173OpenAlexW2527761895WikidataQ113317634 ScholiaQ113317634MaRDI QIDQ1744386
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.038
Bayesian inference (62F15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (13)
Learning along a channel: the expectation part of expectation-maximisation ⋮ Causal inference via string diagram surgery ⋮ From probability monads to commutative effectuses ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ Program algebra for quantitative information flow ⋮ Unnamed Item ⋮ Commutative Semantics for Probabilistic Programming ⋮ Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks ⋮ Affine Monads and Side-Effect-Freeness ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Bayesian network semantics for Petri nets ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ A Formal Semantics of Influence in Bayesian Reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Picturing classical and quantum Bayesian inference
- States of Convex Sets
- A Survey of Graphical Languages for Monoidal Categories
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Semantics for probabilistic programming
- Programming as a Discipline of Mathematical Nature
- A Recipe for State-and-Effect Triangles
- Bayesian Reasoning and Machine Learning
- Categorical algebra
- Lawvere Categories as Composed PROPs
- Measure Transformer Semantics for Bayesian Machine Learning
This page was built for publication: A predicate/state transformer semantics for Bayesian learning
