×
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯

概率逻辑规划的MAP推理。 （英语） Zbl 1468.68051号

理论与实践。日志。程序。 20，第5期，641-655（2020年）.
概要：在概率逻辑编程（PLP）中，最常研究的推理任务是计算给定程序的查询的边际概率。在本文中，我们考虑了PLP设置中的另外两个重要任务：最大后验概率（MAP）推理任务，该任务确定随机变量子集的最可能值，并为其他变量提供证据；最可能解释（MPE）任务，MAP的实例，其中查询变量是证据变量的补充。我们提出了一种包含在PITA推理器中的新算法，该算法通过将每个问题表示为二进制决策图并在其上应用动态编程过程来处理这些任务。我们将我们的算法与ProbLog版本进行了比较，ProbLog版本允许带注释的析取，并可以执行MAP和MPE推理。在多个合成数据集上的实验表明，PITA在许多情况下都优于ProbLog。

引用于4文件

理学硕士：

68N17号 逻辑编程

软件：

ProbLog（问题日志）;PITA公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Bellodi}等人，《理论与实践》。日志。程序。20，编号5641-655（2020；兹bl 1468.68051）
全文： 内政部 arXiv公司

参考文献：

[1] Barabasi，A.-L.和Albert，R.1999。随机网络中尺度的出现。《科学》286、5439、509-512·Zbl 1226.05223号
[2] Darwiche，A.2004年。将CNF编译成可分解否定范式的新进展。第16届欧洲人工智能会议（ECAI 20014），R.L.de Mántaras和L.Saitta，编辑IOS出版社，328-332。
[3] Darwiche，A.和Marquis，P.2002。知识汇编图。J.阿蒂夫。因特尔。第17号决议，229-264·Zbl 1045.68131号
[4] De Raedt，L.、Demen，B.、Fierens，D.、Gutmann，B.、Janssens，G.、Kimmig，A.、Landwehr，N.、Mantadelis，T.、Meert，W.、Rocha，R.、Santos-Costa，V.、Thon，I.和Vennekens，J.2008。朝向消化统计关系学习的字母组。在NIPS 2008概率编程研讨会上。
[5] De Raedt，L.、Frasconi，P.、Kersting，K.和Muggleton，S.编辑，2008年。概率归纳逻辑编程。LNCS，第4911卷。斯普林格·Zbl 1132.68007号
[6] De Raedt，L.、Kimmig，A.和Toivonen，H.2007。ProbLog：一种概率Prolog及其在链路发现中的应用。在第20届国际人工智能联合会议（IJCAI 2007）上，M.M.Veloso，Ed.Vol.7。AAAI出版社/IJCAI，2462-2467。
[7] Fierens，D.，Van Den Broeck，G.，Renkens，J.，Shterionov，D.S.，Gutmann，B.，Thon，I.，Janssens，G.和De Raedt，L.2015。概率逻辑程序中使用加权布尔公式的推理和学习。西奥。实际。日志。掠夺。15,3, 358-401. ·Zbl 1379.68062号
[8] Jiang，C.、Babar，J.、Ciardo，G.、Miner，A.S.和Smith，B.2017。二元决策图中的变量重新排序。在第26届逻辑与综合国际研讨会上。1-8.
[9] 普尔，D.1997。独立选择逻辑用于在不确定性下建模多个代理。Artif公司。因特尔。94, 7-56. ·Zbl 0902.03017号
[10] 普尔，D.2000。通过否定作为失败而退缩：独立选择逻辑中的稳定模型。J.逻辑程序。44, 1-3, 5-35. ·Zbl 0957.68013号
[11] Raedt，L.D.、Kimmig，A.和Toivonen，H.2007。Problog：一种概率prolog及其在链路发现中的应用。在IJCAI中，M.M.Veloso，编辑2462-2467。
[12] Riguzzi，F.2016年。带有函数符号的普通程序的分布语义。国际期刊近似原因。77, 1-19. ·Zbl 1385.68022号
[13] Riguzzi，F.2018。概率逻辑编程基础。River Publishers，丹麦基斯特鲁普·Zbl 1420.68003号
[14] Riguzzi，F.和Swift，T.2010。带注释析取的逻辑程序推理的表格和答案包含。在第26届逻辑编程国际会议（ICLP 2010）的技术通信中。LIPIcs，第7卷。达格斯图尔宫（Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），162-171年·Zbl 1237.68049号
[15] Riguzzi，F.和Swift，T.2011。PITA系统：不确定性推理的表格和答案包容。西奥。实际。日志。掠夺。11,4-5, 433-449. ·Zbl 1218.68169号
[16] Riguzzi，F.和Swift，T.2013。分布语义下概率逻辑规划的良好定义和有效推理。西奥。实际。日志。掠夺。13,2, 279-302. ·兹比尔1267.68084
[17] 佐藤，T.1995。具有分布语义的逻辑程序的统计学习方法。《逻辑编程》，《第十二届逻辑编程国际会议论文集》，1995年6月13日至16日，日本东京，L.Sterling编辑，麻省理工学院出版社，715-729。
[18] Shterionov，D.S.、Renkens，J.、Vlasselaer，J.，Kimmig，A.、Meert，W.和Janssens，G.，2015年。带注释析取的概率逻辑程序的最可能解释。在第24届国际归纳逻辑编程会议（ILP 2014）上，J.Davis和J.Ramon，《计算机科学讲义》第9046卷。柏林施普林格，海德堡，139-153。
[19] Somenzi，F.2001。决策图的有效操作。国际期刊软件。技术工具。Transf公司。3,2, 171-181. ·Zbl 1002.68585号
[20] Valiant，L.G.1979年。枚举和可靠性问题的复杂性。SIAM J.计算。8, 3, 410-421. ·兹伯利0419.68082
[21] Van Den Broeck，G.、Thon，I.、Van Otterlo，M.和De Raedt，L.2010。DTProbLog：决策论概率Prolog。《第二十四届AAAI人工智能会议论文集》，Fox，M.和Poole，D.编辑，AAAI出版社，1217-1222。
[22] Vennekens，J.、Verbaeten，S.和Bruynooghe，M.2004a。带注释析取的逻辑程序。第24届逻辑程序设计国际会议（ICLP 2004），Demoen，B.和Lifschitz，V.，Eds.计算机科学讲稿，第3131卷。施普林格，431-445·Zbl 1104.68391号
[23] Vennekens，J.、Verbaeten，S.和Bruynooghe，M.2004b。带注释析取的逻辑程序。第24届逻辑程序设计国际会议（ICLP 2004），Demoen，B.和Lifschitz，V.，Eds.计算机科学讲稿，第3131卷。柏林施普林格，195-209年·Zbl 1104.68391号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。