0


从解释学概率逻辑程序的参数

Learning the Parameters of Probabilistic Logic Programs from Interpretations
课程网址: http://videolectures.net/ecmlpkdd2011_thon_problog/  
主讲教师: Ingo Thon
开课单位: 鲁汶大学
开课时间: 2011-11-30
课程语种: 英语
中文简介:
problog 是最近引入的逻辑编程语言 prolog 的概率扩展, 在该扩展中, 事实可以用它们所持有的概率进行注释。这种概率语言的优点是, 它自然地表示使用声明模型的解释生成过程。解释是关系描述或可能的世界。本文介绍了一种新的参数估计算法 lfi-proprolog, 用于从部分解释中学习 problog 程序。该算法本质上是一种软 em 算法。它为每种解释构造一个命题逻辑公式, 用于估计概率参数的边缘。对 lfi-概率日志算法进行了一些数据集的实验评估, 证明了该方法的合理性, 并显示了其有效性。
课程简介: ProbLog is a recently introduced probabilistic extension of the logic programming language Prolog, in which facts can be annotated with the probability that they hold. The advantage of this probabilistic language is that it naturally expresses a generative process over interpretations using a declarative model. Interpretations are relational descriptions or possible worlds. This paper introduces a novel parameter estimation algorithm LFI-ProbLog for learning ProbLog programs from partial interpretations. The algorithm is essentially a Soft-EM algorithm. It constructs a propositional logic formula for each interpretation that is used to estimate the marginals of the probabilistic parameters. The LFI-ProbLog algorithm has been experimentally evaluated on a number of data sets that justifi es the approach and shows its e ffectiveness.
关 键 词: 计算机科学; 逻辑; 软件和工具
课程来源: 视频讲座网
最后编审: 2020-06-13:邬启凡(课程编辑志愿者)
阅读次数: 64