Library

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference

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.

Bayesian Modeling and Causal InferenceComputer ScienceMathematics
View graphSource

Paper

References (27)

01Compositional Semantics for Probabilistic Programs with Exact ConditioningDario Stein, S. Staton2021 · Logic in Computer Science · 32 citations In Library
02The Geometry of Bayesian ProgrammingUgo Dal Lago, Naohiko Hoshino2019 · Logic in Computer Science · 7 citations
03The Logical Essentials of Bayesian ReasoningB. Jacobs, F. Zanasi2018 · Foundations of Probabilistic Programming · 53 citations In Library
04The geometry of parallelism: classical, probabilistic, and quantum effectsUgo Dal Lago, C. Faggian, Benoît Valiron et al.2016 · ACM-SIGACT Symposium on Principles of Programming Languages · 44 citations
05Probabilistic call by push valueT. Ehrhard, C. Tasson2016 · Log. Methods Comput. Sci. · 39 citations
06Probabilistic coherence spaces are fully abstract for probabilistic PCFT. Ehrhard, C. Tasson, Michele Pagani2014 · ACM-SIGACT Symposium on Principles of Programming Languages · 88 citations
07Probabilistic coherence spaces as a model of higher-order probabilistic computationV. Danos, T. Ehrhard2011 · Information and Computation · 124 citations
08Probabilistic Graphical Models: Principles and Techniques - Adaptive Computation and Machine LearningD. Koller, N. Friedman2009 · 8.1k citations
09Learning Bayesian networksR. Neapolitan2007 · Knowledge Discovery and Data Mining · 2.8k citations
10Locus Solum: From the rules of logic to the logic of rulesJ. Girard2001 · Mathematical Structures in Computer Science · 320 citations
11Parsing MELL proof netsS. Guerrini, A. Masini2001 · Theoretical Computer Science · 24 citations
12Factor graphs and the sum-product algorithmF. Kschischang, B. Frey, Hans-Andrea Loeliger2001 · IEEE Transactions on Information Theory · 5.7k citations

Scroll for more · 15 remaining

Similar papers

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian InferenceRémi Di Guardia, Thomas Ehrhard, Jérôme Évrard et al.2026 · Open MIND · 1 citation In Library
BayesL: a Logical Framework for the Verification of Bayesian NetworksStefano M. Nicoletti, Hahn, E. Moritz, Mariëlle Stoelinga2025 · ArXiv.org · 0 citations In Library
Neural Proof NetsKonstantinos Kogkalidis, Michael Moortgat, Richard Moot2020 In Library
Probabilistic Inferences in Bayesian NetworksJianguo Ding2010 · arXiv.org · 19 citations In Library
From Networks to Narratives: Bayes Nets and the Problems of ArgumentationAnita Keshmirian, Rafael Fuchs, Yuan Cao et al.2024 · Lecture notes in computer science In Library
The Quantified Boolean Bayesian Network: Theory and Experiments with a Logical Graphical ModelG. Coppola2024 · arXiv.org · 4 citations In Library
Finding, Scoring and Explaining Arguments in Bayesian NetworksJaime Sevilla2021 · arXiv (Cornell University) · 2 citations In Library
Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)Matteo Acclavio, Roberto Maieli2026 · arXiv (Cornell University) · 0 citations In Library
The Complexity of Bayesian Networks Specified by Propositional and Relational LanguagesFabio Gagliardi Cozman, D. Mauá2016 · Artificial Intelligence · 11 citations In Library
Scientific Theories as Bayesian Nets: Structure and Evidence SensitivityPatrick Grim, Frank Seidl, Calum McNamara et al.2022 · Philosophy of Science In Library
© 2026 NYSGPT2525 LLC