文章基本信息

标题：A Coalgebraic Perspective on Probabilistic Logic Programming
本地全文：下载
作者：Tao Gu ; Fabio Zanasi
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：139
页码：1-21
DOI：10.4230/LIPIcs.CALCO.2019.10
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：probabilistic logic programming; coalgebraic semantics; distribution semantics