概率推断的嵌套
摘要：在ProbLog中进行推理时，我们通过一些额外的记录扩展了SLD resolution。这些额外的信息用于计算概率查询的概率结果。在Prolog的SLD中，目标嵌套得非常自然。在ProbLog的SLD中，嵌套的概率查询会干扰概率记录。为了支持嵌套的概率推理，我们提出了参数化的ProbLog引擎的概念。通过暂停和恢复ProbLog引擎的实例，嵌套变得可能。通过我们的方法，我们实现了ProbLog的几个扩展，如元调用、否定和概率目标的答案。
作者：Theofrastos Mantadelis and Gerda Janssens
论文ID：1112.3785
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19