UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

The Logical Essentials of Bayesian Reasoning

Jacobs, B; Zanasi, F; (2020) The Logical Essentials of Bayesian Reasoning. In: Foundations of Probabilistic Programming. (pp. 295-332). Cambridge University Press Green open access

[thumbnail of Zanasi_logical_essentials_of_bayesian_reasoning.pdf]
Preview
Text
Zanasi_logical_essentials_of_bayesian_reasoning.pdf - Published Version

Download (549kB) | Preview

Abstract

This chapter offers an accessible introduction to the channel-based approach to Bayesian probability theory. This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics. It offers a uniform, structured and expressive language for describing Bayesian phenomena in terms of familiar programming concepts, like channel, predicate transformation and state transformation. The introduction also covers inference in Bayesian networks, which will be modelled by a suitable calculus of string diagrams.

Type: Book chapter
Title: The Logical Essentials of Bayesian Reasoning
ISBN: 9781108770750
Open access status: An open access version is available from UCL Discovery
DOI: 10.1017/9781108770750.010
Publisher version: https://doi.org/10.1017/9781108770750.010
Language: English
Additional information: An online version of this work is published at doi.org/10.1017/9781108770750 under a Creative Commons Open Access license CC-BY which permits re-use, distribution and reproduction in any medium for any purpose providing appropriate credit to the original work is given, any changes made are indicated. To view a copy of this license, visit https://creativecommons.org/licenses/by/4.0
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10053248
Downloads since deposit
40Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item