Jacobs, B;
Zanasi, F;
(2020)
The Logical Essentials of Bayesian Reasoning.
In:
Foundations of Probabilistic Programming.
(pp. 295-332).
Cambridge University Press
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 |
Archive Staff Only
 |
View Item |
