Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908811446452224 |
|---|---|
| author | Di Guardia, Rémi Ehrhard, Thomas Evrard, Jérôme Faggian, Claudia |
| author_facet | Di Guardia, Rémi Ehrhard, Thomas Evrard, Jérôme Faggian, Claudia |
| contents | 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 account of Bayesian inference (in the spirit of the Curry-Howard correspondence between proofs and programs), to provide compositional graphical methods, and to take into account computational efficiency.
We exploit the fact that the decomposition of a graph is more flexible than that of a proof-tree, or of a type-derivation, even if
compositionality becomes more challenging. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_04045 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference Di Guardia, Rémi Ehrhard, Thomas Evrard, Jérôme Faggian, Claudia Logic in Computer Science 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 account of Bayesian inference (in the spirit of the Curry-Howard correspondence between proofs and programs), to provide compositional graphical methods, and to take into account computational efficiency. We exploit the fact that the decomposition of a graph is more flexible than that of a proof-tree, or of a type-derivation, even if compositionality becomes more challenging. |
| title | Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2602.04045 |