Coalgebraic Semantics for 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 semantics 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 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. Furthermore, we show that a similar approach can be used to provide a coalgebraic semantics to weighted logic programming.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2020
- DOI:
- 10.48550/arXiv.2012.03916
- arXiv:
- arXiv:2012.03916
- Bibcode:
- 2020arXiv201203916G
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Logical Methods in Computer Science, Volume 17, Issue 2 (April 12, 2021) lmcs:6967