×

分布语义下概率逻辑编程的外推。 (英语) Zbl 07478937号

概要:在概率外推逻辑编程中,我们得到了一个概率逻辑程序、一组可外推事实和一组约束。概率溯因逻辑程序中的推理旨在找到与约束相容的可溯因子集,并使查询和约束的联合概率最大化。在本文中,我们用一种算法扩展了PITA推理器,以利用二进制决策图对概率溯因逻辑程序执行溯因。对几个合成数据集的测试表明了我们的方法的有效性。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] (De Raedt,L.;Frasconi,P.;Kersting,K.;Muggleton,S.,《概率归纳逻辑编程》,LNCS,第4911卷(2008),Springer)·Zbl 1132.68007号
[2] Riguzzi,F.,《概率逻辑编程基础:语言、语义、推理和学习》(2018),River Publishers:River Publishers Gistrup,丹麦·Zbl 1420.68003号
[3] 阿佐里尼,D。;Riguzzi,F。;Lamma,E.,《利用概率逻辑编程研究比特币区块链中的交易费用》,Information,10,11,335(2019)
[4] Nguembang Fadja,A。;Riguzzi,F.,《概率逻辑编程的实际应用》,(Holzinger,A.;Goebel,R.;Ferri,M.;Palade,V.,《走向集成机器学习和知识提取》,《计算机科学讲义》,第10344卷(2017),Springer),第89-116页
[5] Manhaeve,R。;Dumancic,S。;Kimmig,A。;德梅斯特,T。;De Raedt,L.,Deepproblog:神经概率逻辑编程,(神经信息处理系统进展(2018)),3749-3759
[6] 卡卡斯,A.C。;Mancarella,P.,外推逻辑编程(NACLP非单调推理和逻辑编程研讨会论文集(1990))
[7] 卡卡斯,A.C。;Mancarella,P.,《通过绑架更新数据库》(《第16届VLDB会议记录》(1990年),摩根·考夫曼),650-661
[8] Sato,T.,《具有分布语义的逻辑程序的统计学习方法》,(Sterling,L.,《逻辑编程》,《第十二届逻辑编程国际会议论文集》,日本东京,1995年6月13日至16日(1995),麻省理工出版社),715-729
[9] Riguzzi,F。;Swift,T.,带注释析取的逻辑程序推理的Tabling和answer inclusion,(第26届国际逻辑编程会议(ICLP 2010)的技术交流)。第26届国际逻辑程序设计会议的技术交流(ICLP 2010),LIPIcs,第7卷(2010),Schloss Dagstuhl-Leibniz Zentrum fuer Informatik),162-171·Zbl 1237.68049号
[10] Riguzzi,F。;贝洛迪,E。;Lamma,E。;Zese,R。;Cota,G.,《web上的概率逻辑编程》,Softw。实践。有效期:46、10、1381-1396(2016年)
[11] 阿尔贝蒂,M。;贝洛迪,E。;科塔,G。;Riguzzi,F。;Zese,R.,《关于SWISH的cplint:使用web浏览器的概率逻辑推理》,Intell。第条。,11, 1, 47-64 (2017)
[12] Lloyd,J.W.,《逻辑编程基础》(1987),施普林格出版社·Zbl 0547.68005号
[13] Van Gelder,A。;Ross,K.A。;Schlipf,J.S.,《通用逻辑程序的良好语义》,J.ACM,38,3,620-650(1991)·Zbl 0799.68045号
[14] Przymusinski,T.C.,《每个逻辑程序都有一个自然分层和迭代最小不动点模型》(第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集,PODS’89(1989),计算机械协会:美国纽约州纽约市计算机械协会),11-21
[15] Van Gelder,A。;Ross,K。;Schlipf,J.S.,《通用逻辑程序的无基础集和良好语义》(第七届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集,PODS’88(1988),计算机械协会:美国纽约州纽约市计算机械协会),221-230
[16] Vennekens,J。;Verbaeten,S。;Bruynooghe,M.,《带注释析取的逻辑程序》,(Demoen,B.;Lifschitz,V.,第20届逻辑程序设计国际会议(ICLP 2004)。第20届逻辑编程国际会议(ICLP 2004),《计算机科学讲义》,第3131卷(2004年),施普林格出版社,431-445·Zbl 1104.68391号
[17] Zese,R。;贝洛迪,E。;Riguzzi,F。;科塔,G。;Lamma,E.,《描述逻辑的Tableau推理及其对概率的扩展》,《数学年鉴》。Artif公司。智力。,82, 1-3, 101-130 (2018) ·Zbl 1398.68506号
[18] 贝洛迪,E。;Riguzzi,F.,通过搜索子句空间进行概率逻辑程序的结构学习,理论与实践。日志。程序。,15, 2, 169-212 (2015) ·Zbl 1379.68269号
[19] Riguzzi,F。;Di Mauro,N.,《将信息瓶颈应用于统计关系学习》,马赫出版社。学习。,86, 1, 89-114 (2012) ·Zbl 1243.68247号
[20] Poole,D.,通过否定作为失败:独立选择逻辑中的稳定模型,J.Log。程序。,44, 1-3, 5-35 (2000) ·Zbl 0957.68013号
[21] Riguzzi,F。;Swift,T.,《分布语义下概率逻辑编程的良好定义和有效推理》,理论与实践。日志。程序。,13, 2, 279-302 (2013) ·Zbl 1267.68084号
[22] Riguzzi,F.,带函数符号的普通程序的分布语义,国际期刊近似推理。,77, 1-19 (2016) ·兹比尔1385.68022
[23] Valiant,L.G.,枚举和可靠性问题的复杂性,SIAM J.Compute。,8, 3, 410-421 (1979) ·Zbl 0419.68082号
[24] Darwiche,A。;Marquis,P.,《知识汇编地图》,J.Artif。智力。决议,17,229-264(2002)·Zbl 1045.68131号
[25] Thayse,A。;Davio,M。;Deschamps,J.P.,多值决策算法的优化,(第八届多值逻辑国际研讨会(1978),IEEE计算机社会出版社),171-178
[26] De Raedt,L。;Kimmig,A。;Toivonen,H.,ProbLog:概率Prolog及其在链路发现中的应用,(Veloso,M.M.,第20届国际人工智能联合会议(IJCAI 2007),第7卷(2007),AAAI出版社/IJCAI),2462-2467
[27] 桑·T。;Beame,P。;Kautz,H.A.,通过加权模型计数进行贝叶斯推断,(第20届全国人工智能会议(AAAI 2005)(2005),AAAI出版社:美国加利福尼亚州帕洛阿尔托市AAAI出版公司),475-482
[28] 贝洛迪,E。;阿尔贝蒂,M。;Riguzzi,F。;Zese,R.,概率逻辑编程的MAP推理,理论与实践。日志。程序。,20641-655(2020)·Zbl 1468.68051号
[29] Poole,D.,《逻辑编程、外推和概率——估算先验概率和后验概率的自顶向下的任何时间算法》,《新世代》。计算。,11, 3, 377-400 (1993) ·Zbl 0788.68025号
[30] 佐藤,T。;Kameya,Y.,一种用于统计外推的类似viterbi算法和em学习,(UAI2000领域知识与决策支持数据融合研讨会论文集(2000))
[31] Shterionov,D.S。;伦肯斯,J。;弗拉塞勒,J。;Kimmig,A。;Meert,W。;Janssens,G.,《带注释析取的概率逻辑程序的最可能解释》(Davis,J.;Ramon,J..,第24届国际归纳逻辑编程会议(ILP 2014)。第24届归纳逻辑编程国际会议(ILP 2014),《计算机科学讲义》,第9046卷(2015),施普林格:施普林格柏林,海德堡),139-153
[32] 科勒,D。;弗里德曼,N.,《概率图形模型:原理与技术,自适应计算与机器学习》(2009),麻省理工学院出版社:麻省理工大剑桥·Zbl 1183.68483号
[33] 江,C。;巴巴尔,J。;Ciardo,G。;Miner,A.S。;Smith,B.,二元决策图中的变量重新排序,(第26届逻辑与综合国际研讨会(2017)),1-8
[34] 新泽西州尼尔森,概率逻辑,Artif。智力。,28, 1, 71-87 (1986) ·Zbl 0589.03007号
[35] Getoor,L.C.,《从关系数据中学习统计模型》(2002),博士论文,美国加州斯坦福,aAI3038093
[36] Pearl,J.,概率和因果推理的图形模型,(《计算机科学与工程手册》(1997),697-714
[37] Vennekens,J。;Denecker,M。;Bruynooghe,M.,《CP-logic:因果概率事件及其与逻辑编程的关系》,理论与实践。日志。程序。,9, 3, 245-308 (2009) ·Zbl 1179.68025号
[38] 佐藤,T。;Kameya,Y.,PRISM:符号统计建模语言,(第15届国际人工智能联合会议(IJCAI 1997),第97卷(1997)),1330-1339
[39] Calin-Rares,T。;M.纳塔利。;Alessandra,R。;Krysia,B.,《概率外推中的极小性和完整性约束》(《程序设计、人工智能和推理的逻辑》(2013),Springer),第759-775页·Zbl 1407.68086号
[40] Sato,T.,统计外推中符号统计模型的EM学习,(发现科学进展,日本发现科学项目最终报告(2002),Springer),189-200·Zbl 1052.68687号
[41] 井上,K。;佐藤,T。;Ishihata,M。;Kameya,Y。;Nabeshima,H.,《使用EM算法评估BDD上的诱因假设》,(第21届国际人工智能联合会议(IJCAI 2009)(2009),Morgan Kaufmann Publishers Inc.),810-815
[42] Nabeshima,H。;岩沼,K。;Inoue,K.,Solar:一个用于高级推理的结果发现系统,(国际分析表格和相关方法自动推理会议(2003),施普林格),257-263·Zbl 1274.68412号
[43] 凯特·R·J。;Mooney,R.J.,《使用马尔可夫逻辑网络的概率外推》(IJCAI-09计划、活动和意图识别研讨会论文集(PAIR-09),加利福尼亚州帕萨迪纳(2009))
[44] 理查森,M。;多明戈斯,P.,马尔可夫逻辑网络,马赫。学习。,62, 1-2, 107-136 (2006) ·Zbl 1470.68221号
[45] Arvanitis,A。;麻格尔顿,S.H。;陈,J。;Watanabe,H.,《基于可能世界语义的随机逻辑程序诱拐》(Coruña大学第16届归纳逻辑程序设计国际会议(ILP-06)(2006年)论文集)
[46] Muggleton,S.,《随机逻辑程序》(Inductive logic Programming),第32卷(1996年),第254-264页
[47] Christiansen,H.,《用约束处理规则实现概率外推逻辑编程》,(Schrijvers,T.;Frühwirth,T.,《约束处理规则》,《计算机科学讲义》,第5388卷(2008),Springer),85-118·Zbl 1229.68017号
[48] Simari,G。;Subrahmanian,V.S.,概率逻辑程序中的溯及推理,(Hermenegildo,M.;Schaub,T.,第26届国际逻辑程序设计会议的技术通信,第26次国际逻辑程序开发会议的技术通讯,莱布尼茨国际信息学会议录,第7卷(2010),Dagstuhl-Leibniz-Zentrum fuer Informatik:192-201年·Zbl 1237.68050号
[49] Simari,G.I。;Dickerson,J.P。;斯莱瓦,A。;Subrahmanian,V.S.,概率逻辑程序中的并行诱拐查询应答,ACM Trans。计算。日志。,14、2(2013年6月)·Zbl 1353.68038号
[50] Poole,D.,概率Horn诱拐和贝叶斯网络,Artif。智力。,64, 1, 81-129 (1993) ·Zbl 0792.68176号
[51] 费伦斯,D。;den Broeck,G.V。;Bruynooghe,M。;Raedt,L.D.,概率逻辑编程的约束,(Roy,D.;Mansinghka,V.;Goodman,N.,NIPS概率编程研讨会论文集(2012))
[52] 卡卡斯,A.C。;Kowalski,R.A。;Toni,F.,演绎逻辑编程,J.Log。计算。,2, 6, 719-770 (1993) ·Zbl 0778.68081号
[53] Fung,T.H。;Kowalski,R.A.,诱因逻辑编程的IFF证明程序,J.Log。程序。,33, 2, 151-165 (1997) ·Zbl 0890.68029号
[54] 尤里奇,E。;Paolo,M。;Fariba,S。;贾科莫,T。;Francesca,T.,《使用CIFF的外推逻辑编程:系统描述》,(Alferes,J.;Leite,J.,《人工智能中的逻辑》,JELIA 2004。人工智能中的逻辑。JELIA 2004,计算机科学讲稿,第3229卷(2004),施普林格:施普林格柏林,海德堡)
[55] 阿尔贝蒂,M。;切萨尼,F。;加瓦内利,M。;Lamma,E。;梅洛,P。;Torroni,P.,诱因逻辑编程中的可验证代理交互:SCIFF框架,ACM Trans。计算。日志。,9, 4, 29:1-29:43 (2008) ·Zbl 1367.68273号
[56] 贝洛迪,E。;加瓦内利,M。;Zese,R。;Lamma,E。;Riguzzi,F.,具有概率完整性约束的非地面溯因逻辑规划,理论与实践。日志。程序。,21, 5, 557-574 (2021) ·Zbl 1522.68099号
[57] 阿尔贝蒂,M。;贝洛迪,E。;科塔,G。;Lamma,E。;Riguzzi,F。;Zese,R.,概率约束逻辑理论,(Hommersom,A.;Abdallah,S.,概率逻辑编程(PLP)第三届国际研讨会论文集。《概率逻辑编程(PLP)第三届国际研讨会论文集》,CEUR研讨会论文集,Sun SITE Central,第1661卷(2016),欧洲:欧洲亚琛,德国),15-28
[58] Riguzzi,F。;贝洛迪,E。;Zese,R。;阿尔贝蒂,M。;Lamma,E.,概率归纳约束逻辑,马赫。学习。,110, 1-32 (2021) ·兹比尔07432819
[59] Ferilli,S.,《扩展诱因逻辑编程的表现力和灵活性》,J.Intell。信息系统。,51, 647-672 (2018)
[60] Brewka,G。;艾特,T。;Truszczynski,M.,回答集编程一览,Commun。ACM,54,12,92-103(2011)
[61] Baral,C。;Gelfond,M。;N.拉什顿,《带答案集的概率推理》,理论与实践。日志。程序。,9,1,57-144(2009年)·Zbl 1170.68003号
[62] Lee,J。;塔尔桑尼亚,S。;Wang,Y.,使用asp和mln解算器计算lpmln,理论与实践。日志。程序。,17, 5-6, 942-960 (2017) ·Zbl 1422.68026号
[63] Nickles,M.,《基于逻辑编程和稳定模型语义下一阶理论的概率推理工具》(Michael,L.;Kakas,A.,《人工智能中的逻辑》(2016),Springer International Publishing:Springer国际出版公司Cham),369-384·Zbl 1483.68408号
[64] 阿佐里尼,D。;Riguzzi,F。;Lamma,E。;Masotti,F.,《概率逻辑编程的MCMC抽样比较》(Alviano,M.;Greco,G.;Scarcello,F.),《意大利人工智能协会第十八届会议论文集》(AI*IA2019)。意大利人工智能协会第十八届会议记录(AI*IA2019),意大利伦德,2019年11月19-22日。意大利人工智能协会第十八届会议记录(AI*IA2019)。意大利人工智能协会第十八届会议记录(AI*IA2019),意大利伦德,2019年11月19日至22日,计算机科学讲义,第11946卷(2019年),施普林格:施普林格-海德堡,德国)
[65] Chen,W。;Warren,D.S.,《一般逻辑程序的表式延迟评估》,J.ACM,43,1,20-74(1996)·Zbl 0882.68050号
[66] 斯威夫特,T。;Warren,D.S.,XSB:用表格逻辑编程扩展序言,理论与实践。日志。程序。,12, 1-2, 157-187 (2012) ·Zbl 1244.68021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。