×

数学ZBZ-数学第一资源

带过接地的增量答案集编程。(英语) 兹布1434.68555
摘要:在许多应用场合,例如流推理,对于不同的输入重复执行推理任务是必要的。在这种情况下,我们提出了一种基于增量的答案集语义的方法。我们着重于生成相当于给定的非地面逻辑程序的增量更大的地面逻辑程序的可能性;所谓过度接地的程序可以与许多不同的输入组合使用。更新过度接地的程序需要很小的工作量,因此,当接地在一系列相似的输入上重复时,逻辑程序的实例化速度大大加快。值得注意的是,所提出的方法在“引擎盖下”工作,使逻辑程序的设计者从控制接地引擎和应答机系统的技术方面解脱出来。在这项工作中,我们提出了增量接地技术的理论基础,我们说明了随后的重复评估策略和我们的实验报告。

理学硕士:
68T27型 人工智能中的逻辑
68N17 逻辑程序设计
68T30型 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Alviano,M.,Dodaro,C.,Leon,N.,和Ricca,F.2015。黄蜂研究进展。F.Calimeri、G.Ianni和M.Truszczynski(编辑),LPNMR 2015,LNCS第9345卷,第40-54页。斯普林格·Zbl 1467.68021
[2] Alviano,M.,Faber,W.,Greco,G.,和Leon,N.,2012年。用于析取数据日志程序的魔术集。人工智能187156-192·Zbl 1251.68051
[三] Beck,H.,Eiter,T.和Folie,C.2017年。Ticker:一个基于asp的增量流推理系统。TPLP 17,5-6,744-763·Zbl 1422.68218
[4] Bogaerts,B.和Weinzierl,A.2018年。为答案集程序的懒惰搁浅寻找正当理由。2018年IJCAI,2018年7月13日至19日,瑞典斯德哥尔摩。,第1737-1745页。伊卡。组织。
[5] Calimeri,F.,Cozza,S.,Ianni,G.和Leon,N.2008年。ASP中可计算函数的理论与实现。计算机科学课堂讲稿第5366卷,第407-424页。斯普林格·Zbl 1185.68150
[6] Calimeri,F.,FuscáD.,Perri,S.,和Zangari,J.2017年。I-DLV:DLV的新型智能接地体。Intelligenza人造制品11,1,5-20.10.3233/IA-170104
[7] Calimeri,F.,Germano,S.,Ianni,G.,Pacenza,F.,Perri,S.和Zangari,J.2018年。将基于规则的人工智能工具集成到主流游戏开发中。在RuleML+RR 2018,第310-317页。
[8] Calimeri,F.,Ianni,G.,Perri,S.和Zangari,J.2013年。决定论与不确定性的永恒之战:数独领域的初步研究。RCRA第20届国际研讨会。2013
[9] Calimeri,F.,Perri,S.和Zangari,J.2019年。通过启发式分解优化答案集计算。逻辑程序设计理论与实践,1-26。
[10] Dal Palù,A.,Dovier,A.,Pontelli,E.和Rossi,G.2009年。回答集编程与懒惰接地。芬达姆。通知。96,3,297-322·Zbl 1207.68118号
[11] Dantsin,E.,Eiter,T.,Gottlob,G.和Voronkov,A.2001年。逻辑程序设计的复杂性和表达能力。ACM计算机。苏尔夫。333374-425。
[12] Dao Tran,M.,Eiter,T.,Fink,M.,Weidinger,G.和Weinzierl,A.2012年。奥米加:一个开放的基础上的飞行答案集解决方案。在杰利亚,LNCS第7519卷,第480-483页。斯普林格。
[13] De Cat,B.,Denecker,M.和Stuckey,P.2012年。基于增量接地的延迟模型扩展。2012年ICLP技术交流,第201-211页·兹布1281.68208
[14] 2009年,Krennt,和Walliant。答案集编程:入门。2009年推理网络学校,LNCS第5689卷,第40-110页。斯普林格·Zbl 1254.68248
[15] Faber,W.,Leon,N.和Pfeifer,G.2004年。析取逻辑程序中的递归聚合:语义和复杂性。在JELIA,LNCS第3229卷,第200-212页。斯普林格·Zbl 1111.68380
[16] 法格斯,1994年成立。clark完备的一致性与稳定模型的存在性。冰毒。在CS 1,1,51-60中的逻辑。
[17] Gebser,M.,Kaminski,R.,Kaufmann,B.,Romero,J.和Schaub,T.2015年。卡环系列进展3。在LPNMR 2015,LNCS第9345卷,第368-383页。斯普林格·Zbl 1467.68181
[18] Gebser,M.,Kaminski,R.,Kaufmann,B.,和Schaub,T.2019年。用clingo解决多镜头ASP。TPLP 19,1,27-82·Zbl 07107408
[19] Gebser,M.,Kaminski,R.,König,A.,和Schaub,T.,2011年。格林戈系列3的进展。在LPNMR中,LNCS第6645卷,第345-351页。斯普林格。
[20] Gebser,M.,Maratea,M.,和Ricca,2017年成立。第六届答案集编程大赛。J、 人工制品。因特尔。第60、41-95号决议·Zbl 1418.68030
[21] Gelfond,M.和Lifschitz,V.1991年。逻辑程序和析取数据库中的经典否定。新一代计算9,3/4,365-386·Zbl 0735.68012
[22] 赫伯兰,J.1930。描述的滨海森林公园(Recherchers sur la théorie de la démonstration)·京FM 56.0824.02
[23] Kaufmann,B.,Leon,N.,Perri,S.和Schaub,T.2016年。答案集编程中的接地与求解。AI杂志37,3,25-32。
[24] Lefèvre,C.,Béatrix,C.,圣潘,I.,加西亚,L.2017。Asperix,答案集计算的一阶前向链接方法。TPLP 17,3,266-310·Zbl 1379.68075
[25] Leone,N.,Rullo,P.和Scarlo,F.1997年。析取稳定模型:无基础集,不动点语义和计算。信息与计算135,2,69-112.10.1006/inco。1997.2630·邮政编码:0879.68019
[26] Motik,B.,Nenov,Y.,Piro,R.,和Horrocks,I.2019年。重访资料维护日志。人工智能269,76-136·Zbl 07099190
[27] Nethercote,N.,Stuckey,P.,Becket,R.,Brand,S.,Duck,G.和Tack,G.2007年。Minizinc:一种标准的CP建模语言。在CP 2007,第529-543页。
[28] Pérez Liébana,D.,Samothrakis,S.,Togelius,J.,Schaul,T.和Lucas,S.2016年。通用电子游戏人工智能:竞争、挑战和机遇。AAAI 2016,第4335-4337页。
[29] 塔斯基,A.1955年。格理论不动点定理及其应用。太平洋J.数学。5285-309·Zbl 0064.26004
[30] Ullman,J.1988年。数据库与知识库系统原理,计算机科学原理丛书第一卷,第十四卷。计算机科学出版社。
[31] Van Gelder,A.,Ross,K.和Schlipf,J.1991年。通用逻辑程序的有根据的语义。ACM杂志38,3620-650·6807ZB45
[32] Weinzierl,A.2017年。混合惰性接地和CDNL搜索求解答案集。在LPNMR中,LNCS第10377卷,第191-204页。斯普林格·Zbl 06769661
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。