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

Zanasi F.
2019

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.
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 Dimensione Formato  
LIPIcs-CALCO-2019-10.pdf

accesso aperto

Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 1.8 MB
Formato Adobe PDF
1.8 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/904595
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact