×
马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚

答案集编程中的共享聚合集。 （英语） Zbl 1451.68062号

理论与实践。日志。程序。 18，编号3-4301-318（2018）.
摘要：聚合是答案集编程最常用的语言扩展之一。聚合的结果可能会在输入程序的实例化过程中引入新的常量，这一特性称为价值发明。当聚合涉及实例化时真值未定义的文字时，现代地方学家引入了聚合的几个实例，每个实例对应未定义文字的可能解释。本文介绍了处理此类情况的新数据结构和技术，以及在输入的地面程序中识别的同一集合集上的一般聚合。提出的解决方案在不牺牲效率的情况下减少了求解器的内存占用。相反，由于添加了一些简单的隐含子句，求解器的性能可能会有所提高，否则很难发现这些子句，并且在传播过程中避免了冗余计算。给出了建议解决方案潜在影响的经验证据。

引用于5文件

MSC公司：

68N17号 逻辑编程
68第05页 数据结构
68立方英尺 知识表示

关键词：

答案集编程;逻辑编程中的聚合;高效计算

软件：

DLV公司;C模型;格林戈;国内流离失所者3;Clingcon公司;WASP公司;扣环;DLV2型;马西诺牌手表;超小卫星
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，《理论与实践》。日志。程序。18、编号3--4、301-318（2018；Zbl 1451.68062）
全文： 内政部 arXiv公司

参考文献：

[1] Aavani，A。；米切尔，D.G。；Ternovska，E.（2013）
[2] Abío，我。；Nieuwenhuis，R。；奥利维拉斯，A。；罗德里格斯-卡博内尔，E。；Mayer-Eichberger，V.，《伪布尔约束BDD的新视角》，《人工智能研究杂志》，45，443-480，（2012）·Zbl 1252.68267号 ·doi:10.1613/jair.3653
[3] Abío，我。；Stuckey，P.J.，约束编程原理与实践国际会议，冲突导向的惰性分解，70-85，（2012），Springer
[4] Alviano，M.，逻辑编程中的高效递归聚合评估，Intelligenza Artificiale，5，2，207-215，（2011）
[5] Alviano，M.，用非凸递归聚合评估答案集编程，《基础信息》，149，1-2，1-34，（2016）·Zbl 1374.68096号 ·doi:10.3233/FI-2016-1441
[6] 阿尔维亚诺，M。；Calimeri，F。；Charwat，G.，逻辑编程和非单调推理国际会议，第四届答案集编程竞赛：初步报告，42-53，（2013），斯普林格
[7] 阿尔维亚诺，M。；Calimeri，F。；多达罗，C。；Fuscá，D。；塞拉利昂，北卡罗来纳州。；佩里，S。；Ricca，F。；维尔特里，P。；Zangari，J.，逻辑编程和非单调推理国际会议，ASP系统DLV2，215-221，（2017），Springer·Zbl 1472.68178号
[8] 阿尔维亚诺，M。；Calimeri，F。；Faber，W。；塞拉利昂，北卡罗来纳州。；Perri，S.，《带聚合的答案集程序的无基础集和基础良好的语义》，《人工智能研究杂志》，第42期，第487-527页，（2011年）·Zbl 1234.68367号
[9] 阿尔维亚诺，M。；Dodaro，C.，《通过不可满足核收缩实现任意时间答案集优化》，逻辑编程理论与实践，16，5-6，533-551，（2016）·Zbl 1379.68033号 ·文件编号：10.1017/S147106841600020X
[10] 阿尔维亚诺，M。；Dodaro，C.，国际人工智能联合会议，选言逻辑程序的完成，886-892，（2016），IJCAI/AAAI出版社
[11] 阿尔维亚诺，M。；Dodaro，C.（2017）
[12] 阿尔维亚诺，M。；多达罗，C。；Faber，W。；塞拉利昂，北卡罗来纳州。；Ricca，F.（2013）
[13] 阿尔维亚诺，M。；多达罗，C。；塞拉利昂，北卡罗来纳州。；Ricca，F.，逻辑编程和非单调推理国际会议，WASP进展，40-54，（2015），Springer·Zbl 1467.68021号
[14] 阿尔维亚诺，M。；多达罗，C。；Ricca，F.，国际人工智能联合会议，使用有限大小基数约束的MaxSAT算法，2677-2683，（2015），AAAI出版社
[15] 阿尔维亚诺，M。；Faber，W.，《动态魔法集和超相干答案集程序》，AI Communications，24，2，125-145，（2011）·Zbl 1215.68211号
[16] 阿尔维亚诺，M。；Faber，W.，逻辑编程和非单调推理国际会议，FLP语义下广义原子答案集编程的复杂性边界，67-72，（2013），Springer·Zbl 1405.68036号
[17] 阿尔维亚诺，M。；Faber，W。；Gebser，M.，《重写答案集编程中的递归聚合：回到单调性》，《逻辑编程的理论与实践》，15，4-5，559-573，（2015）·Zbl 1379.68034号 ·doi:10.1017/S1471068415000228
[18] 阿尔维亚诺，M。；Faber，W。；Gebser，M.，国际人工智能联合会议，《ASP中从非凸聚合到单调聚合》，4100-4194，（2016），IJCAI/AAAI出版社
[19] 阿尔维亚诺，M。；Faber，W。；格雷科·G。；Leone，N.，《分离数据日志程序的魔法集》，《人工智能》，187156-192，（2012）·Zbl 1251.68051号
[20] 阿尔维亚诺，M。；Faber，W。；塞拉利昂，北卡罗来纳州。；佩里，S。；菲佛，G。；Terracina，G.，数据日志重新加载，分离数据日志系统DLV，282-301，（2010），施普林格
[21] 阿尔维亚诺，M。；Faber，W。；Strass，H.，《AAAI人工智能会议，答案集编程中带有序域的布尔函数》，879-885，（2016），AAAI出版社
[22] 阿尔维亚诺，M。；Faber，W。；Woltran，S.，ASP中超一致性问题的复杂性，逻辑编程的理论与实践，14，339-361，（2014）·Zbl 1312.68034号 ·doi:10.1017/S147106841300001X
[23] 阿尔维亚诺，M。；格雷科·G。；Leone，N.，逻辑编程和非单调推理国际会议，单调递归聚合程序的动态魔术集，148-160，（2011），Springer·Zbl 1239.68019号
[24] 阿尔维亚诺，M。；Leone，N.，《答案集编程中gz集合的复杂性和编译》，逻辑编程理论与实践，15，4-5，574-587，（2015）·Zbl 1379.68035号 ·文件编号：10.1017/S147106841500023X
[25] 阿尔维亚诺，M。；Leone，N.，国际人工智能联合会议，《关于答案集编程中gz聚集的属性》，4105-4109，（2016），IJCAI/AAAI出版社
[26] 安德烈斯，B。；考夫曼，B。；马塞斯，O。；Schaub，T.，《逻辑编程国际会议的技术交流，卡环中基于不满足性的优化》，211-221，（2012），Schloss Dagstuhl-Leibniz Zentrum fuer Informatik·Zbl 1281.68204号
[27] 俄亥俄州Bailleux。；布夫哈德，Y。；Roussel，O.，《可满足性测试理论与应用国际会议，将伪布尔约束新编码到CNF中》，181-194，（2009），Springer·Zbl 1247.68246号
[28] 班巴拉，M。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T.，Clingcon:下一代逻辑编程理论与实践，17，4，408-461，（2017）·Zbl 1379.68040号 ·文件编号：10.1017/S1471068417000138
[29] 巴托洛缪，M。；Lee，J。；孟毅（2011）
[30] Baselice，S。；博纳蒂，P.A。；Gelfond，M.，逻辑编程国际会议，走向答案集和约束求解的集成，52-66，（2005），Springer·Zbl 1165.68481号
[31] Bomanson，J。；Gebser，M。；Janhunen，T.，《欧洲人工智能逻辑会议，改进答案集程序中权重规则的规范化》，166-180，（2014），施普林格·Zbl 1432.68056号
[32] 波曼森，J。；Gebser，M。；Janhunen，T。；考夫曼，B。；Schaub，T.，逻辑编程和非单调推理国际会议，答案集编程模无环性，143-150，（2015），Springer·Zbl 1370.68044号
[33] Bomanson，J。；Janhunen，T.，逻辑编程和非单调推理，使用合并和排序结构规范基数规则，187-199，（2013），Springer·Zbl 1405.68044号
[34] Brewka，G。；艾特，T。；Truszczynski，M.，答案集编程一览表，美国计算机学会通讯，54，12，92-103，（2011）
[35] Bruynooghe，M。；Blockeel，H。；Bogaerts，B。；De Cat，B。；普特，S.D。；Jansen，J。；拉巴雷，A。；Ramon，J。；Denecker，M。；Verwer，S.，谓词逻辑作为建模语言：用国内流离失所者3《逻辑程序设计理论与实践》，15，6，783-817，（2015）·Zbl 1379.68279号 ·文件编号：10.1017/S14710684140009X
[36] Calimeri，F。；Faber，W。；Gebser，M。；伊安尼，G。；卡明斯基，R。；克伦沃尔纳，T。；塞拉利昂，北卡罗来纳州。；Ricca，F。；Schaub，T.（2013）
[37] Calimeri，F。；Gebser，M。；Maratea，M。；Ricca，F.，第五届答案集编程竞赛的设计和结果，人工智能，231151-181，（2016）·Zbl 1344.68042号 ·doi:10.1016/j.artint.2015.09.008
[38] 卡特里，B。；多达罗，C。；Ricca，F。；Schüller，P.，《ASP求解中的约束、惰性约束或传播器：实证分析》，《逻辑编程理论与实践》，17，5-6，780-799，（2017）·doi:10.1017/S1471068417000254
[39] 多达罗，C。；阿尔维亚诺，M。；Faber，W。；塞拉利昂，北。；Ricca，F。；Sirianni，M.（2011）
[40] 多达罗，C。；Gasteiger，P。；塞拉利昂，北卡罗来纳州。；穆西奇，B。；Ricca，F。；Schekotihin，K.，结合答案集编程和领域启发法解决工业难题（应用论文），逻辑编程理论与实践，16，5-6，653-669，（2016）·Zbl 1379.68281号 ·网址：10.1017/S1471068416000284
[41] 埃恩，n。；Sörensson，N.，《将伪布尔约束转化为SAT》，《可满足性、布尔建模与计算杂志》，2，1-4，1-26，（2006）·Zbl 1116.68083号
[42] Faber，W。；塞拉利昂，北卡罗来纳州。；Maratea，M。；Ricca，F.，《使用聚合的ASP程序的回溯技术》，《基础信息》，107，4，379-413，（2011）·Zbl 1245.68051号
[43] Faber，W。；菲佛，G。；Leone，N.，《答案集编程中递归聚合的语义和复杂性》，人工智能，175，1278-298，（2011）·Zbl 1216.68263号 ·doi:10.1016/j.artint.2010.04.002
[44] Faber，W。；Pfeifer，G。；塞拉利昂，北卡罗来纳州。；德尔米，T。；Ielpa，G.，DLV系统中聚合函数的设计与实现，逻辑编程理论与实践，8，5-6，545-580，（2008）·Zbl 1156.68010号 ·doi:10.1017/S1471068408003323
[45] Ferraris，P.，《命题连接词和聚合的逻辑程序》，《ACM计算逻辑汇刊》，第12、4、25页，（2011年）·Zbl 1351.68053号
[46] 费拉里斯，P。；Lifschitz，V.，作为嵌套表达式的权重约束，逻辑编程理论与实践，5，1-2，45-74，（2005）·Zbl 1093.68017号 ·文件编号：10.1017/S1471068403001923
[47] Gebser，M。；哈里森，A。；卡明斯基，R。；Lifschitz，V。；Schaub，T.，抽象gringo，逻辑编程理论与实践，15，4-5，449-463，（2015）·Zbl 1379.68031号 ·doi:10.1017/S1471068415000150
[48] Gebser，M。；卡明斯基，R。；考夫曼，B。；罗梅罗，J。；Schaub，T.，逻辑编程和非单调推理国际会议，卡环系列3的进展，368-383，（2015），Springer·Zbl 1467.68181号
[49] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，逻辑编程国际会议，关于冲突驱动ASP求解器中权重约束规则的实施，250-264，（2009），Springer·Zbl 1251.68059号
[50] Gebser，M。；卡明斯基，R。；科尼格，A。；Schaub，T.，逻辑编程和非单调推理国际会议外国佬系列3，345-351，（2011），Springer
[51] Gebser，M。；考夫曼，B。；罗梅罗，J。；奥特罗，R。；Schaub，T。；Wanko，P.，AAAI人工智能会议，答案集编程中的领域特定启发式，（2013），AAAI出版社
[52] Gebser，M。；考夫曼，B。；Schaub，T.，国际会议逻辑编程和非单调推理，冲突驱动的答案集求解器扣：进度报告，509-514，（2009），Springer
[53] Gebser，M。；考夫曼，B。；Schaub，T.，《人工智能》，187，《冲突驱动的答案集解决：从理论到实践》，52-89，（2012）·Zbl 1251.68060号
[54] Gebser，M。；考夫曼，B。；Schaub，T.，国际人工智能联合会议，高级冲突驱动析取答案集求解，（2013），IJCAI/AAAI
[55] Gebser先生。；Maratea，M。；Ricca，F.，第六届答案集编程竞赛，《人工智能研究杂志》，60，41-95，（2017）·Zbl 1418.68030号 ·数字对象标识代码：10.1613/jair.5373
[56] Gelfond，M。；Lifschitz，V.，逻辑编程，逻辑编程的稳定模型语义，1070-1080，（1988），麻省理工出版社
[57] Gelfond，M。；张毅，《带集合的恶性循环原理与逻辑程序》，逻辑程序设计理论与实践，14，4-5，587-601，（2014）·Zbl 1309.68032号 ·doi:10.1017/S1471068414000222
[58] Giunchiglia，E。；塞拉利昂，北卡罗来纳州。；Maratea，M.，《关于答案集求解者之间的关系》，《数学和人工智能年鉴》，53，1-4，169-204，（2008）·Zbl 1165.68333号 ·doi:10.1007/s10472-009-9113-1
[59] Giunchiglia，E。；Lierler，Y。；Maratea，M.，《基于命题可满足性的答案集编程》，《自动推理杂志》，36，4，345-377，（2006）·Zbl 1107.68029号
[60] Janhunen，T.，普通逻辑程序和命题理论的一些可译性结果，应用非经典逻辑杂志，16，1-2，35-86，（2006）·Zbl 1184.68160号 ·doi:10.3166/jancl.16.35-86
[61] Janhunen，T。；Niemelä，I.，答案集编程范式，AI杂志，37，3，13-24，（2016）
[62] Lierler，Y。；Maratea，M.，逻辑编程和非单调推理国际会议，Cmodels-2:基于SAT的答案集求解器增强到非右程序，346-350，（2004），Springer·兹比尔1122.68377
[63] Lifschitz，V.，《答案集和答案集编程语言》，AI杂志，37，3，7-12，（2016）
[64] 刘，L。；彭泰利，E。；儿子，T.C。；Truszczynski，M.，《具有抽象约束原子的逻辑程序：计算的作用》，《人工智能》，174，3-4，295-315，（2010）·Zbl 1207.68119号 ·doi:10.1016/j.artint.2009.11.016
[65] Nieuwenhuis，R。；奥利维拉斯，A。；Tinelli，C.，求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(吨)，美国计算机学会杂志，53，61937-977，（2006）·Zbl 1326.68164号 ·数字对象标识代码：10.1145/1217856.1217859
[66] 佩洛夫，N。；Denecker，M。；Bruynooghe，M.，《具有聚合的逻辑程序的良好且稳定的语义》，《逻辑编程的理论与实践》，第7期，第3期，第301-353页，（2007）·Zbl 1111.68070号 ·doi:10.1017/S1471068406002973
[67] 西蒙斯，P。；尼美拉，I。；Soininen，T.，扩展和实现稳定模型语义，人工智能，138，1-2，181-234，（2002）·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[68] 儿子，T.C。；Pontelli，E.，《答案集编程中聚合的构造性语义表征》，《逻辑编程理论与实践》，第7、3、355-375页，（2007）·Zbl 1111.68072号 ·doi:10.1017/S1471068406002936
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。