Gu, T;
Zanasi, F;
(2019)
A Coalgebraic Perspective on Probabilistic Logic Programming.
In:
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019).
(pp. p. 10).
Dagstuhl Publishing: London, UK.
Preview |
Text
paperCALCO19a.pdf - Accepted Version Download (1MB) | Preview |
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.
| Type: | Proceedings paper |
|---|---|
| Title: | A Coalgebraic Perspective on Probabilistic Logic Programming |
| Event: | 8th Conference on Algebra and Coalgebra in Computer Science (CALCO) |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.4230/LIPIcs.CALCO.2019.5 |
| Publisher version: | https://doi.org/10.4230/LIPIcs.CALCO.2019.10 |
| Language: | English |
| Additional information: | This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10081113 |
Archive Staff Only
 |
View Item |
