3 papers
cs.LO2025
Variable Elimination as Rewriting in a Linear Lambda Calculus
Thomas Ehrhard, Claudia Faggian, Michele Pagani
Variable Elimination (VE) is a classical exact inference algorithm for probabilistic graphical models such as Bayesian Networks, computing the marginal distribution of a subset of…
cs.LO2025
Integration in Cones
Thomas Ehrhard, Guillaume Geoffroy
Measurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous…
cs.LO2024
Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
Thomas Ehrhard, Claudia Faggian, Michele Pagani
We uncover a strong correspondence between Bayesian Networks and (Multiplicative) Linear Logic Proof-Nets, relating the two as a representation of a joint probability distribution…