2026-07-23T03:44:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11438 2024-03-06T10:47:07Z ddc:004 open_access

A Coalgebraic Perspective on Probabilistic Logic Programming Gu, Tao Zanasi, Fabio probabilistic logic programming coalgebraic semantics distribution semantics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tao Gu and Fabio Zanasi 2019 Is Part Of LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2019.10 urn:nbn:de:0030-drops-114387 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.10 eng https://creativecommons.org/licenses/by/3.0/legalcode