2016-01-21: Guillaume Allais (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Guillaume Allais (MSP)

Overview: A Type Theory for Probabilistic and Bayesian Reasoning

Abstract

The probabilistic calculus introduced in the eponymous paper by Robin Adams and Bart Jacobs is inspired by quantum theory by considering that conditional probabilities can be seen as side-effect-free measurements. A type-theoretic treatment of this semantic observation leads, once equipped with suitable computation rules, to the ability to do exact conditional inference.

I will present the type theory and the accompanying computation rules proposed in the paper and discuss some of the interesting open questions I will be working on in the near future.

2016-01-21 11:00:00 UTC
LT1310