Pointless learning

DOI10.1007/978-3-662-54458-7_21MaRDI QIDQ2988379zbMATH OpenOpenAlexFDO

Authors Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier

Publication date 19 May 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/31324847/fossacs_cameraready_long.pdf

Mathematics Subject Classification ID

Axioms; other general questions in probability (60A05) Bayesian inference (62F15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Bayesian Inversion by ω-Complete Cone Duality
• A predicate/state transformer semantics for Bayesian learning
• Measure transformer semantics for Bayesian machine learning
• Measure transformer semantics for Bayesian machine learning
• Exact Bayesian inference by symbolic disintegration

Cites work

• A categorical foundation for Bayesian probability
• Approximating Markov processes by averaging
• Bayesian Inversion by ω-Complete Cone Duality
• Foundations of Modern Probability
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 1351867 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

Cited in

(23)

• Stick breaking, in coalgebra and probability
• A non-commutative Bayes' theorem
• A categorical characterization of relative entropy on standard Borel spaces
• Learning along a channel: the expectation part of expectation-maximisation
• Borel kernels and their approximation, categorically
• Bayesian network semantics for Petri nets
• scientific article; zbMATH DE number 1028737 (Why is no real title available?)
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Distances between states and between predicates
• A channel-based perspective on conjugate priors
• Disintegration and Bayesian inversion via string diagrams
• A higher-order language for Markov kernels and linear operators
• A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey's update rule
• Multisets and distributions, in drawing and learning
• Conditional distributions for quantum systems
• Partitions and Ewens distributions in element-free probability theory
• Multinomial and hypergeometric distributions in Markov categories
• Learning from what's right and learning from what's wrong
• Pearl's and Jeffrey's update as modes of learning in probabilistic programming
• Sufficient statistics and split idempotents in discrete probability theory
• Overdrawing urns using categories of signed probabilities
• A fresh look at bivariate binomial distributions
• Compositional inference for Bayesian networks and causality

This page was built for publication: Pointless learning

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