论文标题
用于概率逻辑编程的煤层语义
Coalgebraic Semantics for Probabilistic Logic Programming
论文作者
论文摘要
概率逻辑编程在人工智能和相关领域中越来越重要，这是理论不确定性的形式主义。它可以将逻辑编程概括为具有概率注释子句的可能性。本文提出了有关概率逻辑编程的煤层语义。程序被建模为特定函子F的膜桥，并根据无Cofrey Colgebras给出了两种语义。首先，F-coalgebra在衍生树方面产生语义。其次，通过将F嵌入另一类G中，作为无需Cofree G-Coalgebra，我们获得了对程序的“可能的世界”解释，从中，人们可以从中恢复概率逻辑编程的常规分布语义。此外，我们表明可以使用类似的方法为加权逻辑编程提供煤层语义。
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.
