• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Twentieth International Joint Conference on Artificial Intelligence(IJCAI-07) >ProbLog: A Probabilistic Prolog and its Application in Link Discovery
【24h】

ProbLog: A Probabilistic Prolog and its Application in Link Discovery

机译：ProbLog：概率Prolog及其在链接发现中的应用

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these probabilities are mutually independent. The semantics of ProbLog is then defined by the success probability of a query, which corresponds to the probability that the query succeeds in a randomly sampled program. The key contribution of this paper is the introduction of an effective solver for computing success probabilities. It essentially combines SLD-resolution with methods for computing the probability of Boolean formulae. Our implementation further employs an approximation algorithm that combines iterative deepening with binary decision diagrams. We report on experiments in the context of discovering links in real biological networks, a demonstration of the practical usefulness of the approach.
机译：我们介绍ProbLog，这是Prolog的概率扩展。 ProbLog程序通过为每个子句指定属于随机采样程序的概率来定义逻辑程序的分布，并且这些概率是相互独立的。然后，通过查询的成功概率定义ProbLog的语义，该概率与查询在随机采样的程序中成功的概率相对应。本文的主要贡献是引入了一种用于计算成功概率的有效求解器。它本质上将SLD分辨率与用于计算布尔公式概率的方法结合在一起。我们的实现还采用了一种近似算法，该算法将迭代加深与二进制决策图结合在一起。我们在发现真实生物网络中的链接的背景下对实验进行了报告，证明了该方法的实用性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号