×
马里奥·阿尔维亚诺;尼古拉·利昂

答案集编程中GZ聚合的复杂性和编译。 （英语） Zbl 1379.68035号

理论与实践。日志。程序。 15，编号4-5，574-587（2015）.
摘要：Gelfond和Zhang最近提出了一种新的基于恶性循环原理的稳定模型语义，以改进带有聚合的逻辑程序的解释。本文重点讨论了这一建议，并分析了新语义下一致性测试和谨慎推理的复杂性。一些令人惊讶的结果强调了聚合与主流稳定模型语义的相似性和差异。此外，本文还报告了在现有ASP解算器上实现新语义的编译技术的设计，最终实现了一个原型系统，该原型系统允许使用Gelfond-Zhang的聚合进行实验。

引用于6文件

MSC公司：

68N17号 逻辑编程
68N20型 编译与解释理论

关键词：

答案集编程;骨料;复杂性;汇编

软件：

WASP公司;f2低压
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}和\textit{N.Leone}，理论与实践。日志。程序。15，编号4--5，574--587（2015；Zbl 1379.68035）
全文： 内政部 arXiv公司

参考文献：

[1] 阿尔维亚诺。，多达罗群岛。，FaberW.、。，利昂内。和RiccaF.2013。WASP：基于约束学习的本地ASP解算器。《逻辑编程和非单调推理》，第十二届国际会议，LPNMR 2013，西班牙科伦纳，2013年9月15日至19日。Proceedings，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。施普林格，54-66。
[2] 阿尔维亚诺。，多多罗C。和RiccaF.2014。答案集编程中任何时候谨慎后果的计算。逻辑程序设计的理论与实践14，4-5，755-770.10.1017/S1471068414000325S1471069414000325·兹比尔1307.68012 ·doi:10.1017/S1471068414000325
[3] 阿尔维亚诺。和FaberW.2013。FLP语义下广义原子答案集编程的复杂性边界。《逻辑编程和非单调推理》，第十二届国际会议，LPNMR 2013，西班牙科伦纳，2013年9月15日至19日。Proceedings，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。施普林格，67-72·Zbl 1405.68036号
[4] 阿尔维亚诺。和FaberW.2015。重新审视抽象辩证框架的稳定模型语义：逻辑编程视角。第21届国际人工智能联合会议论文集。阿根廷布宜诺斯艾利斯IJCAI组织即将亮相。
[5] 巴塞洛缪。，LeeJ。蒙自2011年。通过修改限定的答案集编程中聚合的一阶语义。《常识推理的逻辑形式化》，2011年AAAI春季研讨会论文，技术报告SS-11-06，美国加利福尼亚州斯坦福市，2011年3月21日至23日。AAAI公司。
[6] 博曼森J。，GebserM.和JanhunenT.2014。改进答案集程序中权重规则的规范化。2014年9月24日至26日，在葡萄牙马德拉岛Funchal举行的第14届欧洲人工智能逻辑会议上。《Proceedings》，E.Fermé和J.Leite，Eds.《计算机科学讲义》，第8761卷。斯普林格，166-180·Zbl 1432.68056号
[7] 博曼森J。和JanhunenT.2013。使用合并和排序结构规范基数规则。《逻辑编程和非单调推理》，第十二届国际会议，LPNMR 2013，西班牙科伦纳，2013年9月15日至19日。Proceedings，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。施普林格，187-199年·Zbl 1405.68044号
[8] 布雷卡政府。，EiterT公司。和TruszczynskiM.2011。答案集编程一目了然。Commun公司。ACM54、12、92-103。
[9] 丹麦。，爱尔兰。，戈特洛布。和VoronkovA.2001。逻辑编程的复杂性和表达能力。ACM计算。Surv.33，3，374-425.10.1145/502807.502810·doi:10.1145/502807.502810
[10] 爱尔兰。，芬兰。，KrennwallnerT公司。，红色C。和SchüllerP.2014。基于无基础集的高效十六进制程序评估。J.阿蒂夫。智力。研究（JAIR）49，269-321·Zbl 1361.68031号
[11] EiterT公司。和GottlobG.1995。选言逻辑程序设计的计算成本：命题案例。安。数学。Artif公司。情报.15，3-4，289-323.10.1007/BF01536399·Zbl 0858.68016号 ·doi:10.1007/BF01536399
[12] 爱尔兰。，伊安。，卢卡西维奇。，SchindlauerR.和TompitsH.2008。将答案集编程与语义web的描述逻辑相结合。Artif公司。Intell.172，12-13，1495-1539.10.1016/j.artint.2008.04.002·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[13] FaberW.、。，PfeiferG公司。和LeoneN.2011。答案集编程中递归聚合的语义和复杂性。Artif公司。智能175，1，278-298.10.1016/j.artint.2010.04.002·兹比尔1216.68263 ·doi:10.1016/j.artint.2010.04.002
[14] FaberW.、。，PfeiferG。，利昂内。，德尔阿米特。和IelpaG.2008。DLV系统中聚合功能的设计和实现。逻辑程序设计的理论与实践8，5-6，545-580.10.1017/S1471068408003323·Zbl 1156.68010号 ·doi:10.1017/S1471068408003323
[15] 法拉利P.2005。命题理论的答案集。《逻辑编程和非单调推理》，第八届国际会议，LPNMR 2005，意大利迪亚曼特，2005年9月5-8日，《会议记录》，C.Baral、G.Greco、N.Leone和G.Terracina编辑，《计算机科学讲义》，第3662卷。施普林格，119-131·Zbl 1152.68408号
[16] 法拉利P.2011。带有命题连接词和聚合词的逻辑程序。ACM事务处理。计算。日志12、4、25·Zbl 1351.68053号
[17] GebserM.，考夫曼B。和SchaubT.2012。冲突驱动的答案集解决：从理论到实践。Artif公司。情报.187，52-89·Zbl 1251.68060号
[18] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。《逻辑编程》，《第五届国际会议和研讨会论文集》，华盛顿州西雅图，1988年8月15-19日（2卷），R.A.Kowalski和K.A.Bowen，麻省理工出版社，1070-1080。
[19] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9，3/4，365-386.10007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[20] GelfondM公司。张勇.2014。恶性循环原理和带有聚合的逻辑程序。逻辑程序设计的理论与实践14，4-5，587-601.10.1017/S1471068414000222S147106941000222·Zbl 1309.68032号 ·doi:10.1017/S1471068414000222
[21] 2006年1月。正常逻辑程序和命题理论的一些可译性结果。应用非经典逻辑杂志16，1-2，35-86.10.3166/jancl.16.35-86·兹比尔1184.68160 ·doi:10.3166/jancl.16.35-86
[22] LeeJ。和PallaR.2009。f2lp系统-计算一阶公式的答案集。《逻辑编程与非单调推理》，第十届国际会议，LPNMR 2009，波茨坦，德国，2009年9月14-18日。Proceedings，E.Erdem，F.Lin，和T.Schaub，Eds.计算机科学讲稿，第5753卷。施普林格，515-521。
[23] 刘乐。，庞泰利。，SonT公司。C.和TruszczynskiM.2010。具有抽象约束原子的逻辑程序：计算的作用。Artif公司。Intell.174，3-4，295-315.10.1016/j.artint.2009.11.016·Zbl 1207.68119号 ·doi:10.1016/j.artint.2009.11.016
[24] 刘乐。和TruszczynskiM.2006。单调和凸约束程序的性质和应用。J.阿蒂夫。智力。研究（JAIR）27，299-334·Zbl 1182.68043号
[25] 佩洛夫，2004年。具有聚合的逻辑程序的语义。比利时鲁汶Katholieke Universiteit Leuven博士论文。
[26] 佩洛夫N。，DeneckerM.和BruynoogheM.2007。具有聚合的逻辑程序的良好且稳定的语义。逻辑程序设计的理论与实践7，3，301-353.10017/S147106406002973·Zbl 1111.68070号 ·doi:10.1017/S1471068406002973
[27] 谢恩。，王凯。，爱尔兰。，芬兰。，红色C、。，克伦沃纳。邓J.2014。对于一般逻辑程序，FLP应答集语义没有循环证明。Artif公司。整数213，1-41.10.1016/j.部分.2014.05.001·Zbl 1391.68016号 ·doi:10.1016/j.artint.2014.05.001
[28] 西蒙斯。，尼美拉一世。和SoininenT.2002。扩展和实现稳定的模型语义。Artif公司。智能138，1-2，181-234.10.1016/S0004-3702（02）00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[29] SonT公司。C.和PontelliE.2007。答案集编程中聚合的构造性语义特征。逻辑程序设计的理论与实践7，3，355-375.10.1017/S1471068406002936S1471069406002936·Zbl 1111.68072号 ·doi:10.1017/S1471068406002936
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。