×

兹马思-数学第一资源

答案集编程中GZ聚合的复杂性与编译。(英语) Zbl 1379.68035
摘要:为了改进聚合逻辑程序的解释,Gelfond和Zhang最近提出了一种新的基于恶性循环原理的稳定模型语义。本文针对这一建议,分析了新语义下连贯性测试和谨慎推理的复杂性。一些令人惊讶的结果突出了聚合与主流稳定模型语义的相似性和差异性。此外,本文还介绍了在现有ASP解算器的基础上实现新语义的编译技术设计,最终实现了一个原型系统,该系统允许对Gelfond Zhang的聚合进行实验。

理学硕士:
68N17 逻辑程序设计
68牛顿 编译理论
软件:
f2lp公司;黄蜂
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Alviano,M.;Dodaro,C.;Faber,W.;Leone,N.;Ricca,F.;Cabalar,P.;Son,T.C.,《逻辑编程和非单调推理》,第12届国际会议,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。《WASP:基于约束学习的原生ASP解算器》,54-66,(2013),Springer
[2] Alviano,M.;Dodaro,C.;Ricca,F.,《答案集编程中谨慎后果的任意计算》,《逻辑编程理论与实践》,14,4-5,755-770,(2014)·Zbl 1307.68012
[3] Alviano,M.;Faber,W.;Cabalar,P.;Son,T.C.,《逻辑编程和非单调推理》,第12届国际会议,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。论文集,FLP语义下广义原子答案集编程的复杂性边界,67-72,(2013),Springer·Zbl 1405.68036
[4] Alviano,M.;Faber,W.,pp.,(2015年)
[5] Bartholomew,M.;Lee,J.;Meng,Y.,pp.,(2011年)
[6] Bomanson,J.;Gebser,M.;Janhunen,T.;Fermé,E.;Leite,J.,《人工智能中的逻辑——第14届欧洲会议》,JELIA 2014,Funchal,马德拉,葡萄牙,2014年9月24日至26日。《改进答案集程序中权重规则的规范化》,166-180,(2014),Springer
[7] Bomanson,J.;Janhunen,T.;Cabalar,P.;Son,T.C.,《逻辑编程和非单调推理》,第12届国际会议,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。论文集,使用合并和排序结构规范基数规则,187-199,(2013),Springer
[8] Brewka,G.;Eiter,T.;Truszczynski,M.,《答案集编程一览》,Commun。ACM,54,12,92-103,(2011年)
[9] Dantsin,E.;Eiter,T.;Gottlob,G.;Voronkov,A.,《逻辑编程的复杂性和表现力》,ACM Comput。Surv.,33,3374-425,(2001年)
[10] Eiter,T.;Fink,M.;Krennwallner,T.;Redl,C.;Schüller,P.《基于无基础集合的高效十六进制程序评估》,J.Artif。因特尔。研究(JAIR),49269-321,(2014年)·Zbl 1361.68031
[11] 《析取逻辑程序设计的计算成本:命题案例》,Ann。数学。人工制品。国际期刊,15,3-4,289-323,(1995年)·Zbl 0858.68016
[12] Eiter,T.;Ianni,G.;Lukasiewicz,T.;Schindlauer,R.;Tompits,H.《将答案集编程与语义网的描述逻辑相结合》,人工制品。国际期刊,1722,12-13,1495-1539,(2008年)·Zbl 1183.68595
[13] Faber,W.;Pfeifer,G.;Leone,N.,《答案集编程中递归聚合的语义和复杂性》,人工制品。国际期刊,175,1278-298,(2011年)·Zbl 1216.68263
[14] Faber,W.;Pfeifer,G.;Leone,N.;Dell'Armi,T.;Ielpa,G.《DLV系统中聚合功能的设计与实现》,《逻辑编程理论与实践》,第8期,第5-6期,第545-580页,(2008年)·Zbl 1156.68010
[15] Ferraris,P.;Baral,C.;Greco,G.;Leon,N.;Terracina,G.,《逻辑编程和非单调推理》,第八届国际会议,LPNMR 2005,意大利Diamante,2005年9月5-8日,论文集,命题理论答案集,119-131,(2005),Springer
[16] 费拉里斯,P.,逻辑程序与命题连接词和聚合,ACM翻译。计算机。日志,12,4,pp.,(2011年)·Zbl 1351.68053
[17] 从理论到实践;从理论到实践:卡夫曼。国际期刊,18752-89,(2012年)·Zbl 1251.68060
[18] Gelfond,M.;Lifschitz,V.;Kowalski,R.A.;Bowen,K.A.,《逻辑程序设计,第五届国际会议和研讨会论文集》,西雅图,华盛顿,1988年8月15-19日(2卷),《逻辑编程的稳定模型语义》,1070-1080,(1988),麻省理工学院出版社
[19] Gelfond,M.;Lifschitz,V.,《逻辑程序和析取数据库中的经典否定》,新一代计算机,9,3/4,365-386,(1991)·Zbl 0735.68012
[20] Gelfond,M.;Zhang,Y.,恶性循环原理与聚合逻辑程序,逻辑程序设计理论与实践,14,4-5,587-601,(2014)·Zbl 1309.68032
[21] 简胡南,T.,《正常逻辑程序和命题理论的一些可译性结果》,应用非经典逻辑杂志,16,1-2,35-86,(2006)·Zbl 1184.68160号
[22] Lee,J.;Palla,R.;Erdem,E.;Lin,F.;Schaub,T.,《逻辑编程和非单调推理》,第10届国际会议,LPNMR 2009,德国波茨坦,2009年9月14-18日。论文集,系统f2lp-计算一阶公式的答案集,515-521,(2009),斯普林格
[23] 《程序的抽象》;《原子的约束》;刘志森,计算学。国际,174,3-4,295-315,(2010年)·Zbl 1207.68119号
[24] Liu,L.;Truszczynski,M.,《具有单调和凸约束的程序的性质和应用》,J.Artf。因特尔。研究(JAIR),27299-334,(2006年)·Zbl 1182.68043
[25] 佩洛夫,N.,pp.,(2004年)
[26] Pelov,N.;Denecker,M.;Bruynooghe,M.,《逻辑程序设计的理论与实践》第7,3,301-353页,(2007)·Zbl 1111.68070
[27] Shen,Y.;Wang,K.;Eiter,T.;Fink,M.;Redl,C.;Krennwallner,T.;Deng,J.,《一般逻辑程序的无循环证明的FLP应答集语义》,人工制品。国际,213,1-41,(2014年)·Zbl 1391.68016
[28] Simons,P.;Niemelä,I.;Soininen,T.,《扩展和实现稳定模型语义,人工制品》。国际期刊,138,1-2,181-234,(2002年)·Zbl 0995.68021
[29] Son,T.C.;Pontelli,E.,《答案集编程中聚合的构造性语义表征》,《逻辑程序设计理论与实践》,7,3,355-375,(2007)·Zbl 1111.68072
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。