The Logical Essentials of Bayesian Reasoning
Publication year
2021Publisher
Cambridge : Cambridge University Press
ISBN
9781108488518
In
Silva, A.; Barthe, G.; Katoen, J.-P. (ed.), Foundations of Probabilistic Programming, pp. 295-332Publication type
Part of book or chapter of book
Display more detailsDisplay less details
Editor(s)
Silva, A.
Barthe, G.
Katoen, J.-P.
Organization
Security of Systems
Digital Security
Book title
Silva, A.; Barthe, G.; Katoen, J.-P. (ed.), Foundations of Probabilistic Programming
Page start
p. 295
Page end
p. 332
Subject
Digital SecurityAbstract
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.
This item appears in the following Collection(s)
- Academic publications [245263]
- Electronic publications [132514]
- Faculty of Science [37522]
- Open Access publications [106157]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.