The Logical Essentials of Bayesian Reasoning
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 describ...
Saved in:
| Published in: | Foundations of Probabilistic Programming pp. 295 - 332 |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
United Kingdom
Cambridge University Press
18.11.2020
|
| ISBN: | 110848851X, 9781108488518 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISBN: | 110848851X 9781108488518 |
| DOI: | 10.1017/9781108770750.010 |