DeepAI AI Chat
Log In Sign Up

The Logical Essentials of Bayesian Reasoning

by   Bart Jacobs, et al.

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.


page 1

page 2

page 3

page 4


A Channel-based Exact Inference Algorithm for Bayesian Networks

This paper describes a new algorithm for exact Bayesian inference that i...

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Linear/non-linear (LNL) models, as described by Benton, soundly model a ...

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

Logical relations built on top of an operational semantics are one of th...

Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus

This paper studies normalisation by evaluation for typed lambda calculus...

The Beta-Bernoulli process and algebraic effects

In this paper we analyze the Beta-Bernoulli process from Bayesian nonpar...

Exploring Bayesian approaches to eQTL mapping through probabilistic programming

The discovery of genomic polymorphisms influencing gene expression (also...

An Introduction to Logical Relations

Logical relations (LR) have been around for many years, and today they a...