Title
The Logical Essentials of Bayesian Reasoning.
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.
Year
Venue
Field
2018
arXiv: Artificial Intelligence
Algebraic number,Bayesian inference,Inference,Computer science,Communication channel,Theoretical computer science,Bayesian network,Artificial intelligence,Predicate (grammar),Semantics,Machine learning,Bayesian probability
DocType
Volume
Citations 
Journal
abs/1804.01193
3
PageRank 
References 
Authors
0.50
3
2
Name
Order
Citations
PageRank
B. Jacobs11046100.09
Fabio Zanasi211013.89