Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Tue, 14 January 2020 at 10:10 am in Massa Marittima, Italy
Joint work with: Bart Jacobs, Aleks Kissinger
Abstract: I will give an overview of recent work providing an algebraic and logical foundation to Bayesian probability theory. Within this perspective, Bayesian networks are treated as categorical objects (string diagrams) and reasoned about using methods inspired from programming language semantics. As a proof of concept, we will see how to compute causal inference and counterfactual reasoning in this setting.