Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference

Rémi Di Guardia, Thomas Ehrhard, Jérôme Evrard +1

We study the correspondence between Bayesian Networks and graphical representation of proofs in linear logic. The goal of this paper is threefold: to develop a proof-theoretical ac…