×

为有效的ASP计划做好准备。 (英语) Zbl 1357.68035号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,296-310(2012)。
总结:我们详细阐述了ASP规划的增量建模技术,该术语由弗拉基米尔·利夫施奇茨(Vladimir Lifschitz)在九十年代末提出。考虑到动态系统在实际应用中的高度实用性,我们认为ASP需要专用的建模方法和复杂的求解技术。
关于整个系列,请参见[兹比尔1241.68016].

MSC公司:

68N17号 逻辑编程
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Gelfond,M.,Lifschitz,V.:逻辑编程的稳定模型语义。收录于:Kowalski,R.,Bowen,K.(编辑)《第五届逻辑编程国际会议和研讨会论文集》(ICLP 1988),第1070–1080页。麻省理工学院出版社(1988)
[2] Lifschitz,V.:答案集编程和计划生成。人工智能138(1-2),39–54(2002)·Zbl 0995.68020号 ·doi:10.1016/S0004-3702(02)00186-8
[3] Biere,A.,Heule,M.,van Maaren,H.,Walsh,T.(编辑):可满足性手册。人工智能和应用前沿,第185卷。IOS出版社(2009)·Zbl 1183.68568号
[4] Davis,M.,Putnam,H.:量化理论的计算程序。ACM杂志7201–215(1960)·Zbl 0212.34203号 ·数字对象标识代码:10.1145/321033.321034
[5] Davis,M.,Logemann,G.,Loveland,D.:理论证明的机器程序。ACM通信5,394–397(1962)·Zbl 0217.54002号 ·数字对象标识代码:10.1145/368273.368557
[6] Simons,P.,Niemelä,I.,Soininen,T.:扩展和实现稳定的模型语义。人工智能138(1-2),181-234(2002)·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[7] Gebser,M.、Kaufmann,B.、Neumann,A.、Schaub,T.:冲突驱动的答案集求解。载于:Veloso,M.(编辑)《第二十届国际人工智能联合会议论文集》(IJCAI 2007),第386–392页。AAAI出版社/麻省理工学院出版社(2007)·Zbl 1149.68332号
[8] Kautz,H.,Selman,B.:规划是可满足性。收录于:Neumann,B.(编辑)《第十届欧洲人工智能会议论文集》(ECAI 1992),第359-363页。John Wiley&Sons(1992)
[9] Clarke,E.,Biere,A.,Raimi,R.,Zhu,Y.:使用可满足性求解的有界模型检查。系统设计中的形式化方法19(1),7-34(2001)·Zbl 0985.68038号 ·doi:10.1023/A:1011276507260
[10] Whittemore,J.、Kim,J.和Sakallah,K.:SATIRE:一种新的增量可满足性引擎。摘自:《第三十八届设计自动化会议论文集》(DAC 2001),第542-545页。ACM出版社(2001)·数字对象标识代码:10.1145/378239.379019
[11] Eén,n.,Sörensson,n.:增量SAT求解的时间归纳。理论计算机科学电子笔记89(4)(2003)·Zbl 1271.68215号 ·doi:10.1016/S1571-0661(05)82542-3
[12] Subrahmanian,V.,Zaniolo,C.:关联稳定模型和人工智能规划领域。摘自:《第十二届逻辑程序设计国际会议论文集》,第233-247页。麻省理工学院出版社(1995)
[13] Dimopoulos,Y.,Nebel,B.,Köhler,J.:非单调逻辑程序中的编码规划问题。In:Steel,S.,Alami,R.(编辑)ECP 1997。LNCS(LNAI),第1348卷,第169-181页。斯普林格,海德堡(1997)·doi:10.1007/3-540-63912-8_84
[14] Lifschitz,V.:答案集规划。在:de Schreye,D.(编辑)《国际逻辑编程会议记录》(ICLP 1999),第23-37页。麻省理工学院出版社(1999)·文件编号:10.1007/3-540-46767-X28
[15] Rintanen,J.:《规划与SAT》,摘自:[3],ch.15,第483–504页
[16] Gebser,M.、Kaminski,R.、Knecht,M.和Schaub,T.:plasp:ASP中基于PDDL的规划原型。收录于:[31],第358-363页
[17] Gebser,M.、Kaminski,R.、Kaufmann,B.、Ostrowski,M.,Schaub,T.、Thiele,S.:设计增量ASP求解器。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)ICLP 2008。LNCS,第5366卷,第190-205页。斯普林格,海德堡(2008)·兹比尔1185.68159 ·doi:10.1007/978-3-540-89982-223
[18] Baral,C.:知识表示、推理和陈述式问题解决。剑桥大学出版社(2003)·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[19] Kautz,H.,Selman,B.:推进包络:规划、命题逻辑和随机搜索。摘自:Shrobe,H.,Senator,T.(编辑)《全国人工智能会议记录》,第1194-1201页。AAAI出版社(1996)
[20] McDermott,D.:PDDL–规划领域定义语言。技术报告CVC TR-98-003/DCS TR-1165,耶鲁计算视觉与控制中心(1998)
[21] Nau,D.,Ghallab,M.,Traverso,P.:自动化规划:理论与实践。摩根考夫曼出版社(2004)·Zbl 1074.68613号
[22] Rintanen,J.、Heljanko,K.、Niemelä,I.:作为可满足性的经典规划的并行编码。收录人:Alferes,J.J.,Leite,J.(编辑)JELIA 2004。LNCS(LNAI),第3229卷,第307–319页。斯普林格,海德堡(2004)·Zbl 1111.68660号 ·doi:10.1007/978-3-540-30227-827
[23] Kautz,H.、McAllester,D.、Selman,B.:命题逻辑中的计划编码。摘自:Aiello,L.、Doyle,J.、Shapiro,S.(编辑)《第五届知识表示和推理原则国际会议论文集》(KR 1996),第374-384页。摩根考夫曼出版社(1996)
[24] Blum,A.,Furst,M.:通过规划图分析进行快速规划。人工智能90(1-2),279-298(1997)·Zbl 1017.68533号 ·doi:10.1016/S0004-3702(96)00047-1
[25] Knecht,M.:使用声明式编程实现高效的域相关规划。波茨坦大学信息学研究所硕士论文(2009年)
[26] Robinson,N.、Gretton,C.、Pham,D.、Sattar,A.:基于SAT的并行规划,使用行动的分割表示法。收录于:Gerevini,A.、Howe,A.、Cesta,A.和Refanidis,I.(编辑)《第十九届国际自动规划与调度会议论文集》(ICAPS 2009),第281-288页。AAAI出版社(2009)
[27] Gebser,M.,Grote,T.,Schaub,T.:Coala:从动作语言到ASP的编译器。在:Janhunen,T.,Niemelä,I.(编辑)JELIA 2010。LNCS,第6341卷,第360-364页。斯普林格,海德堡(2010)·Zbl 1306.68014号 ·doi:10.1007/978-3-642-15675-5_32
[28] Gebser,M.,Sabuncu,O.,Schaub,T.:基于增量答案集编程的有限模型计算系统。AI通信24(2),195–212(2011)·Zbl 1215.68209号
[29] Gebser,M.、Grote,T.、Kaminski,R.、Schaub,T.:反应式答案集编程。收录于:[31],第54–66页·兹比尔1327.68063 ·doi:10.1007/978-3-642-20895-97
[30] Gebser,M.、Grote,T.、Kaminski,R.、Obermeier,P.、Sabuncu,O.、Schaub,T.:答案集编程流推理:初步报告。摘自:Eiter,T.,McIlraith,S.(编辑)《第十三届知识表示和推理原则国际会议论文集》(KR 2012)。AAAI出版社(2012年出版)
[31] Delgrand,J.P.,Faber,W.(编辑):LPNMR 2011。LNCS(LNAI),第6645卷。斯普林格,海德堡(2011)·Zbl 1214.68009号
[32] 奥林戈,http://www.cs.uni-potsdam.de/oclingo网站
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。