×
弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari

带有过接地的增量答案集编程。 （英语） Zbl 1434.68555号

理论与实践。日志。程序。 19，编号5-6，957-973（2019）.
摘要：在许多应用设置中，如流推理，需要对不同输入重复执行推理任务。在这种情况下，我们提出了一种用于答案集语义的增量基础方法。我们关注的是生成增量较大的地面逻辑程序（相当于给定的非地面逻辑程序）的可能性；所谓的过度接地的节目可以与许多不同的输入集组合使用。更新过度接地的程序只需要很小的工作量，因此当在一系列相似的输入上重复接地时，逻辑程序的实例化速度会大大加快。值得注意的是，所提议的方法“在幕后”工作，使逻辑程序的设计者免于控制接地引擎和答案集系统的技术方面。在这项工作中，我们介绍了所提出的增量接地技术的理论基础，并说明了随后的重复评估策略和我们的实验报告。

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

知识表示;答案集编程;流推理;接地;逻辑程序的实例化;过接地

软件：

迷你锌;GASP公司;扣环;格林戈;克林戈;OMiGA公司;WASP公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Calimeri}等人，理论与实践。日志。程序。19，编号5--6，957--973（2019；Zbl 1434.68555）
全文： 内政部 arXiv公司

参考文献：

[1] Alviano，M.、Dodaro，C.、Leone，N.和Ricca，F.2015。WASP进展。F.Calimeri、G.Ianni和M.Truszczynski（编辑），LPNMR 2015，LNCS第9345卷，第40-54页。施普林格·Zbl 1467.68021号
[2] Alviano，M.、Faber，W.、Greco，G.和Leone，N.2012。析取数据日志程序的魔术集。人工智能187、156-192·Zbl 1251.68051号
[3] Beck，H.、Eiter，T.和Folie，2017年。Ticker：基于asp的增量流推理系统。TPLP第17、5-6、744-763页·Zbl 1422.68218号
[4] Bogaerts，B.和Weinzierl，A.2018。利用答案集程序的惰性基础的理由。2018年7月13日至19日在瑞典斯德哥尔摩举行的2018年国际JCAI。，第1737-1745页。ijcai.org。
[5] Calimeri，F.、Cozza，S.、Ianni，G.和Leone，N.2008。ASP中的可计算函数：理论与实现。在ICLP，《计算机科学讲义》第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·Zbl 1472.68179号
[7] Caliemeri，F.、Germano，S.、Ianni，G.、Pacenza，F.，Perri，S.和Zangari，J.2018。将基于规则的AI工具集成到主流游戏开发中。2018年《规则ML+RR》，第310-317页。
[8] Calimeri，F.、Ianni，G.、Perri，S.和Zangari，J.2013。决定论和非决定论之间的永恒斗争：数独领域的初步研究。第20届RCRA国际研讨会。2013
[9] Calimeri，F.、Perri，S.和Zangari，J.2019。通过基于启发式的分解优化答案集计算。逻辑程序设计理论与实践，1-26·兹比尔1472.68024
[10] Dal Paló，A.、Dovier，A.、Pontelli，E.和Rossi，G.2009年。GASP：带有惰性接地的答案集编程。芬达姆。通知。96, 3, 297-322. ·Zbl 1207.68118号
[11] Dantsin，E.、Eiter，T.、Gottlob，G.和Voronkov，A.2001。逻辑编程的复杂性和表达能力。ACM计算。调查。33, 3, 374-425.
[12] Dao Tran，M.、Eiter，T.、Fink，M.、Weidinger，G.和Weinzierl，A.2012。Omiga：一个开放的基础即时答案集求解器。在JELIA，LNCS第7519卷，第480-483页。斯普林格。
[13] De Cat，B.、Denecker，M.和Stuckey，P.2012。通过增量接地延迟模型扩展。在2012年ICLP技术通信中，第201-211页·Zbl 1281.68208号
[14] Eiter，T.、Ianni，G.和Krennwallner，T.2009。答案集编程：初级。《推理网络学校2009》，LNCS第5689卷，第40-110页。施普林格·Zbl 1254.68248号
[15] Faber，W.、Leone，N.和Pfeifer，G.2004。析取逻辑程序中的递归聚合：语义和复杂性。在JELIA，LNCS第3229卷，第200-212页。施普林格·Zbl 1111.68380号
[16] Fages，F.1994。克拉克完备的一致性和稳定模型的存在性。方法。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。使用clipeo进行多快照ASP求解。TPLP第19、1、27-82页·Zbl 1486.68027号
[19] Gebser，M.、Kaminski，R.、König，A.和Schaub，T.2011。外国佬系列3的进展。LPNMR，LNCS第6645卷，第345-351页。斯普林格。
[20] Gebser，M.、Maratea，M.和Ricca，F.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。重新审视了圣母院·JFM 56.0824.02号
[23] Kaufmann，B.、Leone，N.、Perri，S.和Schaub，T.2016。答案集编程中的接地和解决方法。AI杂志37、3、25-32。
[24] Lefèvre，C.，Béatrix，C.，Stéphan，I.和Garcia，2017年2月。Asperix，一种用于答案集计算的一阶前向链接方法。TPLP第17、3、266-310页·Zbl 1379.68075号
[25] Leone，N.、Rullo，P.和Scarcello，F.1997。析取稳定模型：无基础集、不动点语义和计算。信息与计算135，2，69-112.10.1006/inco.1997.2630·Zbl 0879.68019号
[26] Motik，B.、Nenov，Y.、Piro，R.和Horrocks，I.2019。重新审查数据日志实体化的维护。人工智能26976-136·Zbl 1478.68076号
[27] Nethercote，N.、Stuckey，P.、Becket，R.、Brand，S.、Duck，G.和Tack，G.2007。Minizin：走向标准CP建模语言。CP 2007，第529-543页。
[28] Pérez Liébana，D.、Samothrakis，S.、Togelius，J.、Schaul，T.和Lucas，S.2016。通用视频游戏AI：竞争、挑战和机遇。AAAI 2016，第4335-4337页。
[29] 塔斯基，A.1955。格理论不动点定理及其应用。太平洋数学杂志。5, 2, 285-309. ·Zbl 0064.26004号
[30] Ullman，J.1988年。数据库和知识库系统原理，计算机科学原理系列第一卷，第14卷。计算机科学出版社。
[31] Van Gelder，A.、Ross，K.和Schlipf，J.1991。通用逻辑程序的良好语义。美国医学会杂志38，3，620-650·Zbl 0799.68045号
[32] Weinzierl，A.2017年。融合懒散基础和CDNL搜索以解决问题。在LPNMR中，LNCS第10377卷，第191-204页。施普林格·Zbl 1491.68262号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。