Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic perspective on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the cofree F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a “possible worlds” interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming.

A coalgebraic perspective on probabilistic logic programming / Gu T.; Zanasi F.. - ELETTRONICO. - 139:(2019), pp. 10.1-10.21. (Intervento presentato al convegno 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 tenutosi a University College London, gbr nel 3 - 6 June 2019) [10.4230/LIPIcs.CALCO.2019.10].

### A coalgebraic perspective on probabilistic logic programming

#### Abstract

Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic perspective on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the cofree F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a “possible worlds” interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming.
##### Scheda breve Scheda completa Scheda completa (DC)
2019
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
1
21
A coalgebraic perspective on probabilistic logic programming / Gu T.; Zanasi F.. - ELETTRONICO. - 139:(2019), pp. 10.1-10.21. (Intervento presentato al convegno 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 tenutosi a University College London, gbr nel 3 - 6 June 2019) [10.4230/LIPIcs.CALCO.2019.10].
Gu T.; Zanasi F.
File in questo prodotto:
File
LIPIcs-CALCO-2019-10.pdf

accesso aperto

Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 1.8 MB
Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/11585/904595`