The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic

Autor:	Ehrhard, Thomas, Faggian, Claudia, Pagani, Michele
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Denotational Semantics Theory of computation → Linear logic Proof-Nets Mathematics of computing → Variable elimination Probabilistic Programming Theory of computation → Denotational semantics Linear Logic
DOI:	10.4230/lipics.fscd.2023.8
Popis:	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. LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 8:1-8:18
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::575d27e346b30c05f0908971159953bc Zobrazit plný text záznamu