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 and at the level of computation, so yielding a proof-theoretical account of Bayesian Inference.

翻译：本文揭示了贝叶斯网络与（乘性）线性逻辑证明网之间的深刻对应关系。这种对应既体现在联合概率分布的表征层面，也存在于计算层面，从而为贝叶斯推理提供了证明论视角的阐释。