Measure Transformer Semantics for Bayesian Machine Learning

DOI10.2168/LMCS-9(3:11)2013zbMath1274.68295OpenAlexW2615879196MaRDI QIDQ5891171

Johannes Borgström, J. Margetson, Jurgen van Gael, Michael Greenberg, Andrew D. Gordon

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-9(3:11)2013

zbMATH Keywords

programming languagesdenotational semanticsprobabilistic programmingmodel-based machine learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15)

Related Items (8)

On the Hardness of Almost–Sure Termination ⋮ From probability monads to commutative effectuses ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring ⋮ Commutative Semantics for Probabilistic Programming ⋮ A predicate/state transformer semantics for Bayesian learning ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ Disintegration and Bayesian inversion via string diagrams

Uses Software

• Haskell
• WinBUGS
• Infer.NET
• IBAL
• Church
• FACTORIE
• BLOG
• HBC
• Blaise

This page was built for publication: Measure Transformer Semantics for Bayesian Machine Learning