詹姆斯·库森 PRISM程序参数的在线贝叶斯推断。 （英语） Zbl 1260.68325号 马赫。学习。 89，第3号，279-297（2012）. 摘要：本文提出了一种近似给定PRISM程序参数上的后验分布的方法。采用顺序方法，每次更新一个数据点。这使得它适用于数据随时间推移而到达的在线学习情况。只要先验值是Dirichlet分布乘积的混合物，该方法就适用。在这种情况下，真正的后部将是许多此类产品的混合物。通过合并Dirichlet分布的乘积来实现近似。对近似的质量进行了分析。由于这种方法的计算负担沉重，该方法已在Mercury逻辑编程语言中实现。给出了使用隐马尔可夫模型和概率图的初步结果。 引用于2文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 2015年1月62日 贝叶斯推断 关键词：归纳逻辑程序设计;贝叶斯统计;统计关系学习;棱镜;混合物模型;缺少数据 软件：对;水银;贝叶斯DA PDF格式BibTeX公司 XML格式引用 \textit{J.库森}，马赫。学习。89，第3号，279--297（2012；Zbl 1260.68325） 全文： 内政部 参考文献： [1] 伯纳多，J.M。；Girón，F.J。；Bernardo，J.M.（编辑）；DeGroot，M.H.（编辑）；Lindley，D.V.（编辑）；Smith，A.F.M.（编辑），简单混合问题的贝叶斯分析，第3期，67-78（1988），伦敦·Zbl 0706.62029号 [2] Blei，D.M.、Ng，A.Y.和Jordan，M.I.（2003年）。潜在Dirichlet分配。机器学习研究杂志，3，993-1022·Zbl 1112.68379号 [3] Cover，T.M.和Thomas，J.A.（1991年）。信息论要素。纽约：Wiley·Zbl 0762.94001号 ·doi:10.1002/0471200611 [4] 科威尔，R.G。；Dawid，A.P。；塞巴斯蒂亚尼，P。；Bernado，J.M.（编辑）；Berger，J.（编辑）；Dawid，A.P.（编辑）；Smith，A.F.M.（编辑），《不完全数据顺序学习方法的比较》，第5期，533-541（1995），牛津 [5] Cowell，R.G.（1998）。通过预测分数减少混合物。统计与计算，897-103·doi:10.1023/A:1008921815757 [6] Cowell，R.G.、Dawid，A.P.、Lauritzen，S.L.和Spiegelhalter，D.J.（1999）。概率网络和专家系统。纽约：斯普林格·Zbl 0937.68121号 [7] Cussens，J.（2001）。随机逻辑程序中的参数估计。机器学习，44（3），245-271·Zbl 0986.68010号 ·doi:10.1023/A:1010924021315 [8] Cussens，J.（2005）。分离集成：将概率和逻辑与ICL、PRISM和SLP相结合。APRIL项目报告。 [9] Cussens，J.，PRISM项目的模型等效性（2007） [10] 库森，J。；Frasconi，P.（编辑）；Lisi，F.A.（编辑），PRISM程序参数的近似贝叶斯计算，38-46（2011），Firenze·Zbl 1329.68211号 [11] Gelman，A.、Carlin，J.B.、Stern，H.S.和Rubin，D.B.（1995）。贝叶斯数据分析。伦敦：查普曼和霍尔·Zbl 0914.62018号 [12] Gutmann，B.、Kimmig，A.、Kersting，K.和De Raedt，L.（2010年）。根据带注释的查询在ProbLog中进行参数估计。技术报告CW 583，比利时鲁汶卡托利耶克大学·Zbl 1211.68152号 [13] 麻格尔顿，S。；Raedt，L.（编辑），《随机逻辑程序》，第32期，254-264（1996），阿姆斯特丹 [14] Penny，W.D.（2001年）。正常密度、伽马密度、狄里克莱密度和威斯哈特密度的KL分布。伦敦大学学院技术报告。 [15] R开发核心团队（2011年）。R： 一种用于统计计算的语言和环境。维也纳：R统计计算基金会。国际标准图书编号（ISBN）3-900051-07-0 [16] Sato，T.，基于逻辑的概率建模中贝叶斯推理的通用MCMC方法，1472-1477（2011） [17] Sato，T.和Kameya，Y.（2001年）。符号统计建模逻辑程序的参数学习。《人工智能研究杂志》，第15期，第391-454页·Zbl 0994.68025号 [18] Sato，T.、Kameya，Y.和Kurihara，K.（2008）。基于PRISM中命题概率计算的变分贝叶斯算法。数学和人工智能年鉴，54，135-158·Zbl 1178.68591号 ·doi:10.1007/s10472-009-9135-8 [19] 佐藤，T。；Kameya，Y。；周，N.-F.，《PRISM中失败的生成建模》，爱丁堡，8月 [20] Somogyi，Z.、Henderson，F.和Conway，T.（1996）。Mercury的执行算法：一种高效的纯声明逻辑编程语言。《逻辑编程杂志》，29（1-3），17-64·兹比尔0877.68015 ·doi:10.1016/S0743-1066（96）00068-4 [21] Toni，T.、Welch，D.、Strelkowa，N.、Ipsen，A.和Stumpf，M.P.H.（2009年）。动态系统参数推理和模型选择的近似贝叶斯计算方案。《皇家学会界面杂志》，6（31），187-202·doi:10.1098/rsif.2008.0172 [22] 韦斯特，M。；Bernado，J.M.（编辑）；Berger，J.O.（编辑）；Dawid，A.P.（编辑）；Smith，A.F.M.（编辑），《混合物建模》，第4期，503-524（1992），牛津 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。