The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic

Résumé

We consider an extension of multiplicative linear logic which encompasses bayesian networks and expresses samples sharing and marginalisation with the polarised rules of contraction and weakening. We introduce the necessary formalism to import exact inference algorithms from bayesian networks, giving the sum-product algorithm as an example of calculating the weighted relational semantics of a multiplicative proof-net improving runtime performance by storing intermediate results.
Fichier principal
Vignette du fichier
LIPIcs.FSCD.2023.8.pdf (1.22 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04267615 , version 1 (15-11-2023)

Licence

Identifiants

Citer

Thomas Ehrhard, Claudia Faggian, Michele Pagani. The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), 2023, Roma, Italy. pp.8:1--8:18, ⟨10.4230/LIPIcs.FSCD.2023.8⟩. ⟨hal-04267615⟩
51 Consultations
55 Téléchargements

Altmetric

Partager

More