×
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·盖布瑟

在答案集编程中重写递归聚合：回到单调性。 （英语） Zbl 1379.68034号

理论与实践。日志。程序。 15，No.4-5，559-573（2015）.
摘要：聚合函数广泛应用于答案集编程中，用于表示和推理涉及集合对象的知识。当前的实现简化了程序的结构，以优化总体性能。特别是，聚合被重写成更简单的形式，称为单调聚合。由于具有单调聚合的正常程序的计算通常比具有任意聚合的普通程序的计算复杂度低，因此在某些情况下，任何忠实的翻译函数都必须在规则头中引入析取。然而，这种功能尚不清楚。本文通过引入多项式、忠实和模块化翻译来填补这一空白，将常见的聚合函数重写为当前求解器所接受的更简单的形式。原型系统允许使用本文介绍的方法，对任意递归聚合进行实验，这在grounder gringo的最新版本4.5中也得到了支持。

引用于11文件

MSC公司：

68N17号 逻辑编程

关键词：

答案集编程;多项式的;忠实的模块化翻译;聚合函数

软件：

格林戈;DLV公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，《理论与实践》。日志。程序。15、编号4--5、559--573（2015；Zbl 1379.68034）
全文： 内政部 arXiv公司

参考文献：

[1] AbseherM.、BliemB.、。，查瓦特。，杜斯伯格。和WoltranS.2014。使用答案集编程计算图中的安全集。在第七届答案集编程和其他计算范式国际研讨会（ASPOCP 2014）上，D.Inclezan和M.Maratea，编辑。
[2] 阿尔维亚诺。，CalimeriF.、FaberW.、。，利昂内。和PerriS.2011。具有聚合的答案集程序的无基础集和基础良好的语义。《人工智能研究杂志》42，487-527·Zbl 1234.68367号
[3] 阿尔维亚诺。，多达罗C。和RiccaF.2014。答案集编程中任何时候谨慎后果的计算。逻辑程序设计的理论与实践14，4-5，755-770.10.1017/S1471068414000325S1471069414000325·兹比尔1307.68012 ·doi:10.1017/S1471068414000325
[4] 阿尔维亚诺。和FaberW.2013。FLP语义下广义原子答案集编程的复杂性边界。在第十二届逻辑编程和非单调推理国际会议（LPNMR 2013）上，P.Cabalar和T.Son，Eds.计算机科学讲稿，第8148卷。施普林格，67-72·Zbl 1405.68036号
[5] 阿尔维亚诺。，FaberW.、。，LeoneN.公司。，佩里·S·普费弗·G。和TerracinaG.2010。分离数据日志系统DLV。在第一届数据日志2.0国际研讨会（数据日志重新加载）中，O.de Moor、G.Gottlob、T.Furche和A.Sellers，Eds.计算机科学讲义，第6702卷。施普林格，282-301。
[6] 巴塞洛缪。，LeeJ。蒙自2011年。通过修改限定的答案集编程中聚合的一阶语义。在2011年AAAI常识推理逻辑形式化春季研讨会（SS-11-06）上，E.Davis、P.Doherty和E.Erdem，编辑AAAI，16-22。
[7] 伯曼省。，卡宾斯基。，拉莫雷。，普兰多夫斯基。和RytterW.2002。高压缩二维文本模式匹配的复杂性。计算机与系统科学杂志65，2，332-350.1006/jcss.2002.1852·Zbl 1059.68098号 ·doi:10.1006/jcss.2002.1852
[8] 博曼森J。，GebserM.和JanhunenT.2014。改进答案集程序中权重规则的规范化。在第十四届欧洲人工智能逻辑会议（JELIA 2014）上，E.Fermé和J.Leite，Eds.计算机科学讲义，第8761卷。斯普林格，166-180·Zbl 1432.68056号
[9] 博曼森J。和JanhunenT.2013。使用合并和排序结构规范基数规则。在第十二届逻辑编程和非单调推理国际会议（LPNMR 2013）上，P.Cabalar和T.Son，Eds.计算机科学讲稿，第8148卷。施普林格，187-199年·Zbl 1405.68044号
[10] 布雷卡政府。，EiterT公司。和Truszczyn skiM.2011。答案集编程一目了然。ACM54、12、92-103的通信。
[11] 爱尔兰。，金融管理。，KrennwallnerT公司。和RedlC.2012。与外部源冲突驱动的ASP解决方案。逻辑程序设计的理论与实践12，4-5，659-679.10.1017/S1471068412000233S1471069412000233·Zbl 1260.68060号 ·doi:10.1017/S1471068412000233
[12] 爱尔兰。，芬兰。，KrennwallnerT公司。，红色C。和SchüllerP.2014。基于无基础集合的高效HEX-program评估。《人工智能研究杂志》49，269-321·Zbl 1361.68031号
[13] 艾特尔特。和GottlobG.1995。选言逻辑程序设计的计算成本：命题案例。数学与人工智能年鉴15，3-4，289-323.10.1007/BF01536399·Zbl 0858.68016号 ·doi:10.1007/BF01536399
[14] 爱尔兰。，伊安。，卢卡西维奇。，SchindlauerR.和TompitsH.2008。将答案集编程与语义web的描述逻辑相结合。人工智能172，12-13，1495-1539.10.1016/j.artint.2008.04.002·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[15] 爱尔兰。，汤姆斯H。和WoltranS.2005。关于答案集编程中的解对应。在第十九届国际人工智能联合会议（IJCAI 2005）上，L.Kaelbling和A.Saffiotti，编辑专业图书中心，97-102。
[16] FaberW.、。，PfeiferG公司。和LeoneN.2011。答案集编程中递归聚合的语义和复杂性。人工智能175，1，278-298.10.1016/j.artint.2010.04.002·兹比尔1216.68263 ·doi:10.1016/j.artint.2010.04.002
[17] FaberW.、。，Pfeifer集团。，利昂内。，戴尔阿尔米特。和IelpaG.2008。DLV系统中聚合功能的设计和实现。逻辑程序设计的理论与实践8，5-6，545-580.10.1017/S1471068408003323·Zbl 1156.68010号 ·doi:10.1017/S1471068408003323
[18] 法拉利P.2011。带有命题连接词和聚合词的逻辑程序。ACM计算逻辑事务12，4，25:1-25:44·Zbl 1351.68053号
[19] 法拉利。和LifschitzV.2005。权重约束作为嵌套表达式。逻辑程序设计的理论与实践5，1-2，45-74.10.1017/S147106403001923S1471068403001923·Zbl 1093.68017号 ·文件编号：10.1017/S1471068403001923
[20] GebserM.、KaminskiR.、。，科尼加。和SchaubT.2011。外国佬系列3的进展。在第十一届逻辑程序设计和非单调推理国际会议（LPNMR 2011）上，J.Delgrand和W.Faber，Eds.计算机科学讲义，第6645卷。施普林格，345-351。
[21] GebserM.，考夫曼B。和SchaubT.2012。冲突驱动的答案集解决：从理论到实践。人工智能187/188，52-89.10.1016/j.artint.2012.04.001·Zbl 1251.68060号 ·doi:10.1016/j.artint.2012.04.001
[22] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。在第五届逻辑程序设计国际会议和研讨会（ICLP 1988）上，R.Kowalski和K.Bowen，麻省理工学院出版社，1070-1080。
[23] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9，3-4，365-385.1007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[24] GelfondM公司。张勇.2014。恶性循环原理和带有聚合的逻辑程序。逻辑程序设计的理论与实践14，4-5，587-601.10.1017/S1471068414000222S147106941000222·Zbl 1309.68032号 ·doi:10.1017/S1471068414000222
[25] Giunchiglia东部。，利勒Y。和MarateaM.2006。基于命题可满足性的答案集编程。《自动推理杂志》36，4，345-377·Zbl 1107.68029号
[26] 2006年1月。正常逻辑程序和命题理论的一些可译性结果。应用非经典逻辑杂志16，1-2，35-86.10.3166/jancl.16.35-86·Zbl 1184.68160号 ·doi:10.3166/jancl.16.35-86
[27] JanhunenT公司。和NiemeläI.2012。在答案集程序转换中应用可见的强等价性。《正确推理：以弗拉基米尔·利夫施奇茨（Vladimir Lifschitz）、E.Erdem、J.Lee、Y.Lierler和D.Pearce为荣的基于逻辑的人工智能论文》，计算机科学讲义，第7265卷。施普林格，363-379.1007/978-3642-30743-0·Zbl 1241.68016号 ·doi:10.1007/978-3-642-30743-0
[28] LifschitzV.公司。，皮尔斯D。和ValverdeA.2001。强等效逻辑程序。ACM计算逻辑事务2，4，526-541.10.1145/383779.383783·Zbl 1365.68149号 ·数字对象标识代码：10.1145/383779.383783
[29] 刘。和YouJ.2013。关联权重约束和聚合程序：语义和表示。逻辑程序设计的理论与实践13，1，1-31.10.1017/S14710641100038XS147106841100038X·Zbl 1272.68077号 ·文件编号：10.1017/S147106841100038X
[30] LiuL。，庞泰利。，桑特。和Truszczyn skiM.2010。具有抽象约束原子的逻辑程序：计算的作用。人工智能174，3-4，295-315.10.1016/j.artint.2009.11.016·Zbl 1207.68119号 ·doi:10.1016/j.artint.2009.11.016
[31] 刘乐。和Truszczyn skiM.2006。单调和凸约束程序的性质和应用。《人工智能研究杂志》27299-334·Zbl 1182.68043号
[32] 佩洛夫N。，DeneckerM.和BruynoogheM.2007。具有聚合的逻辑程序的良好且稳定的语义。逻辑程序设计的理论与实践7，3，301-353.10017/S147106406002973·Zbl 1111.68070号 ·doi:10.1017/S1471068406002973
[33] 谢恩。，王凯。，爱尔兰。，芬兰。，红色C、。，KrennwallnerT公司。邓J.2014。对于一般逻辑程序，FLP应答集语义没有循环证明。人工智能213，1-41.10.1016/j.artint.2014.05.001·Zbl 1391.68016号 ·doi:10.1016/j.artint.2014.05.001
[34] 西蒙斯。，尼美拉一世。和SoininenT.2002。扩展和实现稳定的模型语义。人工智能138，1-2，181-234.10.1016/S0004-3702（02）00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[35] 桑特。和PontelliE.2007。答案集编程中聚合的构造性语义特征。逻辑程序设计的理论与实践7，3，355-375.10.1017/S1471068406002936S1471069406002936·Zbl 1111.68072号 ·doi:10.1017/S1471068406002936
[36] 特纳H.2003。很容易实现强大的等价性：嵌套表达式和权重约束。逻辑程序设计的理论与实践3，4-5609-622.10.1017/S1471068403001819S1471069403001819·Zbl 1079.68017号 ·网址：10.1017/S1471068403001819
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。