Corpus ID: 4613007

The Logical Essentials of Bayesian Reasoning

@article{Jacobs2018TheLE,
  title={The Logical Essentials of Bayesian Reasoning},
  author={Bart Jacobs and Fabio Zanasi},
  journal={ArXiv},
  year={2018},
  volume={abs/1804.01193}
}
  • Bart Jacobs, Fabio Zanasi
  • Published in ArXiv 2018
  • Computer Science
  • 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… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 20 CITATIONS