×

具有抽象约束原子的逻辑程序:计算的作用。 (英语) Zbl 1207.68119号

摘要:我们为具有任意抽象约束的逻辑程序的语义提供了一个新的视角。为此,我们引入了几个计算概念。我们使用计算结果来指定带有约束的程序的答案集。我们提出了我们所考虑的计算类别背后的基本原理,并讨论了它们之间的关系。我们还讨论了答案集的相应概念之间的关系。其中一个概念有几个令人信服的特征和属性,我们认为它是对具有任意约束的程序的答案集语义的正确推广。我们表明,文献中针对带有约束的程序提出的答案集的其他几个概念可以在我们的框架内作为适当选择的计算类的结果获得。

MSC公司:

68N17号 逻辑编程
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Apt,K.,《逻辑编程》(van Leeuven,J.,《理论计算机科学手册》(1990),Elsevier:Elsevier Amsterdam),493-574·Zbl 0900.68136号
[2] Balduccini,M。;Gelfond,M。;Nogueira,M.,《基于答案集的知识系统设计》,《数学和人工智能年鉴》,47,1-2,183-219(2006)·Zbl 1105.68105号
[3] Baral,C.,《知识表示、推理和声明性问题解决》(2003),剑桥大学出版社·Zbl 1056.68139号
[4] Baral,C.,《从知识到智能构建模块和应用》。受邀演讲(2005年),AAAI
[5] Dantsin,E。;艾特,T。;Gottlob,G。;Voronkov,A.,逻辑编程的复杂性和表达能力,ACM计算调查,33,3,374-425(2001)
[8] Denecker,M。;佩洛夫,N。;Bruynooghe,M.,具有聚合的逻辑程序的终极有根据和稳定的语义,(Codognet,P.,逻辑编程,第17届国际会议论文集。逻辑编程,第17届国际会议论文集,ICLP 2001,塞浦路斯帕福斯,2001年11月26日至12月1日。逻辑程序设计,第17届国际会议论文集。逻辑编程,第17届国际会议论文集,ICLP 2001,塞浦路斯帕福斯,2001年11月26日至12月1日,计算机科学讲义,第2237卷(2001),斯普林格),212-226·Zbl 1053.68526号
[9] 艾特,T。;Faber,W。;塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Polleres,A.,《知识状态规划的逻辑编程方法》,II:The(DLV^K)system,Artificial Intelligence,144,1-2,157-211(2003)·Zbl 1079.68619号
[10] 艾特,T。;Faber,W。;塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Poleres,A.,《行动成本下的答案集规划》,《人工智能研究杂志》,第19期,第25-71页(2003年)·Zbl 1026.68124号
[11] 伊利诺伊州埃尔卡巴尼。;彭泰利,E。;Son,T.C.,Smodels with CLP and its applications:A simple and effective approach to aggregates in ASP,(Demoen,B.;Lifschitz,V.,Logic Programming,Proceedings of the 20th International Conference.逻辑编程,Proceeds of the 20st International Conference,ICLP 2004,法国圣马洛,2004年9月6日至10日)。逻辑程序设计,第20届国际会议论文集。逻辑程序设计,第20届国际会议论文集,ICLP 2004,法国圣马洛,2004年9月6日至10日,计算机科学讲义,第3132卷(2004),斯普林格),73-89·Zbl 1104.68375号
[12] Erdem,E。;Lifschitz,V.,紧密逻辑程序,逻辑程序设计理论与实践,3,4-5,499-518(2003)·Zbl 1079.68014号
[13] Erdem,E。;Lifschitz,V。;Ringe,D.,时序系统发育网络和逻辑编程,逻辑编程理论与实践,6,5,539-558(2006)·Zbl 1122.68026号
[14] Faber,W。;塞拉利昂,北卡罗来纳州。;Pfeifer,G.,析取逻辑程序中的递归聚合:语义和复杂性,(Alferes,J.J.;Leite,J.A.,《人工智能中的逻辑》,第九届欧洲会议论文集。《人工智能中的逻辑》,第九届欧洲会议论文集,2004年JELIA,葡萄牙里斯本,2004年9月27日至30日。人工智能中的逻辑,第九届欧洲会议论文集。人工智能中的逻辑,第九届欧洲会议论文集,JELIA 2004,葡萄牙里斯本,2004年9月27日至30日,计算机科学讲义,第3229卷(2004),Springer),200-212·Zbl 1111.68380号
[15] Ferraris,P.,《命题理论的答案集》,(Baral,C.;Greco,G.;Leone,N.;Terracina,G.,《逻辑编程和非单调推理》,《第八届国际会议论文集》。《逻辑编程与非单调推理,第八届国际会议论文集,LPNMR 2005,意大利迪亚曼特,2005年9月5-8日。逻辑程序设计与非单调推理,第八届国际会议论文集。逻辑编程和非单调推理,第八届国际会议论文集,LPNMR 2005,迪亚曼特,意大利,2005年9月5-8日,计算机科学讲义,第3662卷(2005),斯普林格),119-131·Zbl 1152.68408号
[16] Gebser,M。;考夫曼,B。;肖布,T。,扣环:冲突驱动的答案集求解器,(Baral,C.;Brewka,G.;Schlipf,J.,《逻辑编程和非单调推理》,第九届国际会议论文集。《逻辑编程与非单调推理,第九次国际会议论文集中》,LPNMR 2007,美国坦佩,2007年5月15日至17日。逻辑程序设计与非单调推理,第九届国际会议论文集。逻辑编程和非单调推理,第九届国际会议论文集,LPNMR 2007,美国坦佩,2007年5月15日至17日,计算机科学讲义,第4483卷(2007),斯普林格),260-265
[17] Gelfond,M.,《在A-Prolog中表示知识》(Kakas,A.;Sadri,F.,《计算逻辑:逻辑编程及其以外》(2002),Springer-Verlag),413-451·Zbl 1012.68545号
[18] Gelfond,M。;Leone,N.,《逻辑编程和知识表示——A-Prolog视角》,《人工智能》,第138、1-2、3-38页(2002年)·Zbl 0995.68022号
[19] Gelfond,M。;Lifschitz,V.,逻辑编程的稳定模型语义,(Kowalski,R.;Bowen,K.,《逻辑编程:第五届国际会议和研讨会论文集》(1988),麻省理工出版社,1070-1080
[20] Gelfond,M。;Lifschitz,V.,《经典否定逻辑程序》(Warren,D.;Szeredi,P.,《逻辑编程:第七届国际会议论文集》(1990),麻省理工出版社),579-597
[21] Heljanko,K。;Niemelä,I.,用稳定模型检验有界LTL模型,逻辑编程理论与实践,3,4-5,519-550(2003)·兹比尔1079.68058
[22] 塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Faber,W。;艾特,T。;Gottlob,G。;佩里,S。;Scarcello,F.,《用于知识表示和推理的DLV系统》,ACM计算逻辑学报,7,3,499-562(2006)·Zbl 1367.68308号
[23] Lierler,Y。;Maratea,M.,Cmodels-2:基于SAT的答案集求解器增强为非正确程序,(Lifschitz,V.;Niemelä,I.,《第七届逻辑编程和非单调推理国际会议论文集》,LPNMR’04。第七届逻辑程序设计和非单调推理国际会议论文集,LPNMR’04,LNCS,第2923卷(2004),Springer-Verlag),346-350·Zbl 1122.68377号
[24] 刘,L。;彭泰利,E。;儿子,T.C。;Truszczyñski,M.,《具有抽象约束原子的逻辑程序:计算的作用》,(Dahl,V.;Niemelä,I.,《第23届逻辑程序设计国际会议论文集》,第23届国际逻辑程序设计会议论文集,2007年9月8日至13日,葡萄牙波尔图。第23届逻辑程序设计国际会议论文集。第23届逻辑程序设计国际会议论文集,2007年9月8日至13日,葡萄牙波尔图,计算机科学讲义,第4670卷(2007年),施普林格),286-301·Zbl 1213.68179号
[25] 刘,L。;Truszczyñski,M.,单调和凸约束程序的性质,(Veloso,M.M.;Kambhampati,S.,Proceedings.Proceedings,The Twentite National Conference on Artificial Intelligence and The Deventh Innovative Applications of Artificular Intelligency Conferences,July 9-13,2005(2005),AAAI出版社/麻省理工学院出版社:美国宾夕法尼亚州匹兹堡市,701-706
[26] Lloyd,J.,《逻辑编程基础》(1987),施普林格-弗拉格出版社·Zbl 0668.68004号
[27] 马雷克,V.W。;Nerode,A。;Remmel,J.B.,《逻辑程序、有序和前向链》,Ann.Pure Appl。逻辑,96,1-3,231-276(1999)·Zbl 0927.68021号
[28] 马雷克,V.W。;尼美拉,I。;Truszczyñski,M.,单调抽象约束原子的逻辑程序,逻辑程序设计理论与实践,8,2,167-199(2008)·Zbl 1142.68018号
[29] 马雷克,V.W。;Remmel,J.B.,《逻辑编程中的集合约束》,(逻辑编程与非单调推理,第七届国际会议论文集。逻辑编程与非线性推理,第7届国际会议文献集,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6-8日。逻辑程序设计与非单调推理,第七届国际会议论文集。逻辑程序设计和非单调推理,第七届国际会议论文集,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日,计算机科学讲义,第2923卷(2004),斯普林格-Verlag),167-179·Zbl 1122.68381号
[30] 马雷克,V.W。;Truszczyński,M.,稳定模型和替代逻辑编程范式,(逻辑编程范式:25年视角(1999),施普林格出版社),375-398·兹比尔0979.68524
[31] 马雷克,V.W。;Truszczyñski,M.,《具有抽象约束原子的逻辑程序》,(第十九届全国人工智能会议论文集,第十六届人工智能创新应用会议,2004年7月25日至29日,美国加利福尼亚州圣何塞(2004),AAAI出版社/麻省理工学院出版社),86-91
[32] 马雷克·W。;Truszczynski,M.,《非单调逻辑:上下文相关推理》(1993),施普林格-弗拉格出版社·Zbl 0784.03018号
[33] Niemelä,I.,《以稳定模型语义作为约束编程范式的逻辑编程》,《数学与人工智能年鉴》,25,3-4,241-273(1999)·Zbl 0940.68018号
[34] 尼美拉,I。;西蒙斯,P。,斯莫德尔斯-正常逻辑程序的稳定模型和良好语义的实现,(逻辑编程和非单调推理,第七届国际会议,LPNMR 1997(1997),Springer-Verlag),420-429
[35] 佩洛夫,N.,《带聚合的逻辑程序语义》,博士论文,鲁汶大学,2004年
[36] 佩洛夫,N。;Denecker,M。;Bruynooghe,M.,具有聚合的逻辑程序的部分稳定模型,(逻辑编程和非单调推理,第七届国际会议,LPNMR 2004(2004),Springer-Verlag),207-219·Zbl 1122.68385号
[38] 沈义德。;You,J.-H.,抽象约束逻辑程序的广义Gelfond-Lifschitz变换,(AAAI(2007),AAAI出版社),483-488
[39] 西蒙斯,P。;尼美拉,N。;Soininen,T.,扩展和实现稳定模型语义,人工智能,138,1-2,181-234(2002)·Zbl 0995.68021号
[40] 儿子,T.C。;Pontelli,E.,回答集编程中聚合的构造性语义表征,逻辑编程理论与实践,7,3355-375(2007)·Zbl 1111.68072号
[41] 儿子,T.C。;彭泰利,E。;Elkabani,I.,《使用聚合进行逻辑编程的基于展开的语义》。计算研究资料库(2006年)
[42] 儿子,T.C。;彭泰利,E。;Tu,P.H.,具有任意抽象约束原子的逻辑程序的答案集,《人工智能研究杂志》,29,353-389(2007)·Zbl 1182.68044号
[43] van Emden,M。;Kowalski,R.,谓词逻辑作为编程语言的语义,ACM杂志,23,4,733-742(1976)·Zbl 0339.68004号
[44] Van Gelder,A。;Ross,K。;Schlipf,J.,《通用逻辑程序的完善语义》,《ACM杂志》,38,3,620-650(1991)·Zbl 0799.68045号
[45] 你,J.-H。;Yuan,L.-Y。;刘,G。;Shen,Y.-D.,《具有抽象约束的逻辑程序:表示、析取和复杂性》,(Baral,C.;Brewka,G.;Schlipf,J.)。《逻辑程序设计与非单调推理》,第九届国际会议论文集。逻辑编程与非单调推理,第九届国际会议论文集,LPNMR 2007,美国亚利桑那州坦佩,2007年5月15日至17日。逻辑程序设计与非单调推理,第九届国际会议论文集。逻辑编程和非单调推理,第九届国际会议论文集,LPNMR 2007,美国亚利桑那州坦佩,2007年5月15日至17日,计算机科学讲义,第4483卷(2007),斯普林格),228-240·兹比尔1149.68339
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。