×

第五届国际规划竞赛中的决定性规划:PDDL3和规划师的实验评估。 (英语) Zbl 1191.68634号

摘要:国际规划竞赛(IPC)是规划研究的重要推动力。IPC的总体目标包括通过提出新的科学挑战来推动规划技术的发展,鼓励直接比较规划系统和技术,开发和改进通用的规划领域定义语言,以及为研究界设计新的规划领域和问题。本文侧重于第五届国际规划竞赛(IPC5)的确定性部分,介绍了我们为竞赛开发的语言和基准领域,以及对进入IPC5的确定性规划师的详细实验评估,这有助于了解该领域的最新进展。我们提出了pddl的一个扩展,称为pddl3,允许用户表达关于所需计划结构的强约束和软约束,以及强问题和软问题目标。
我们讨论了新语言的表达能力,重点讨论了IPC5中使用的受限版本,并给出了一些关于其可编译到pddl2中的基本结果。此外,我们还研究了IPC5规划者在解决问题、CPU时间和计划质量方面的相对性能;我们分析了他们相对于前一场比赛获胜者的行为;我们根据他们处理软目标和约束的能力,以及总体上寻找高质量计划的能力来评估他们。总的来说,这些结果表明该领域取得了重大进展,但也揭示了一些重要问题仍然悬而未决,需要进一步研究,例如在度量时间域和涉及软目标或约束的域中处理强约束和计算高质量计划。

MSC公司:

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

参考文献:

[1] Bacchus,F.,AIPS’00计划竞赛,AI杂志,22,3,47-56(2001)
[2] 巴克斯,F。;Kabanza,F.,《时间扩展目标规划》,《数学与人工智能年鉴》,22,1-2,5-27(1998)·Zbl 1034.68549号
[3] 巴克斯,F。;Kabanza,F.,《使用时序逻辑表示规划的搜索控制知识》,人工智能,116123-191(2000)·Zbl 0939.68827号
[4] Bäckström,C.,规划形式的表达等效,人工智能,76,17-34(1995)
[5] J.Baier,S.McIlraith,《使用启发式搜索进行一阶时间扩展目标规划》,收录于:Proc。第21届全国人工智能大会(AAAI'06),2006年;J.Baier,S.McIlraith,《使用启发式搜索进行一阶时间扩展目标规划》,收录于:Proc。2006年第21届全国人工智能大会(AAAI'06)
[6] J.Baier,S.McIlraith,使用启发式搜索进行时间扩展目标的规划,在:Proc。2006年第16届国际自动规划与调度大会(ICAPS’06);J.Baier,S.McIlraith,《使用启发式搜索进行时间扩展目标规划》,收录于:Proc。2006年第16届国际自动规划与调度大会(ICAPS’06)
[7] J.Benton,S.Kambhampati,YochanPS:PDDL3简单偏好作为部分满意度规划,收录于:第五届国际规划竞赛手册,2006年;J.Benton,S.Kambhampati,YochanPS:PDDL3简单偏好作为部分满意度规划,收录于:2006年第五届国际规划竞赛手册
[8] J.Benton,M.van den Briel,S.Kambhampati,《部分满意度规划问题的混合线性规划和放松计划启发式》,收录于:Proc。第17届国际自动规划与调度会议(ICAPS’07),2007年;J.Benton,M.van den Briel,S.Kambhampati,《部分满意度规划问题的混合线性规划和放松计划启发式》,收录于:Proc。第17届国际自动化规划与调度会议(ICAPS'07),2007年·Zbl 1145.68537号
[9] 比斯塔雷利,S。;蒙塔纳里,美国。;Rossi,F.,基于半环的约束求解和优化,ACM杂志(1997)·Zbl 0890.68032号
[10] Blum,A。;Furst,M.L.,通过规划图分析快速规划,人工智能,90,281-300(1997)·Zbl 1017.68533号
[11] 博内,B。;Geffner,H.,规划作为启发式搜索,人工智能,129,1-2,5-33(2001)·兹伯利0971.68146
[12] B.Bonet,H.Geffner,《利用汇编知识进行惩罚和奖励计划的启发式》,摘自:Proc。第十届知识表示国际会议(KR’06),2006年;B.Bonet,H.Geffner,《利用汇编知识进行惩罚和奖励计划的启发式》,摘自:Proc。2006年第十届知识表示国际会议(KR’06)·Zbl 1183.68569号
[13] 博内,B。;Gerevini,A.E。;Givan,R.,第五届国际规划竞赛摘要小册子(2006)
[14] R.Brafman,Y.Chernyavsky,《目标偏好和约束的规划》,摘自:Proc。2005年第15届国际自动规划与调度会议(ICAPS’05);R.Brafman,Y.Chernyavsky,《目标偏好和约束的规划》,摘自:Proc。2005年第15届国际自动计划与调度会议(ICAPS’05)
[15] M.Briel,R.Sanchez,M.Do,S.Kambhampati,《部分满足(超额认购)计划的有效方法》,摘自:Proc。2004年第19届全国人工智能大会(AAAI'04);M.Briel,R.Sanchez,M.Do,S.Kambhampati,《部分满足(超额认购)计划的有效方法》,摘自:Proc。2004年第19届全国人工智能大会(AAAI'04)
[16] Chabrier,N.(2003)
[17] 陈,Y。;Wah,B.W。;Hsu,C.,《在SGPlan中使用子目标划分和分解的时间规划》,《人工智能研究杂志》,26,323-369(2006)·Zbl 1182.68229号
[18] 克拉克,E.M。;艾默生,E.A。;Sistla,A.P.,使用时态逻辑规范自动验证有限状态并发系统,ACM编程语言和系统事务,8,2,244-263(1986)·Zbl 0591.68027号
[19] 克拉克,E.M。;格伦伯格,O。;Peled,D.,《模型检验》(1999),麻省理工学院出版社
[20] S.Cresswell,A.Coddington,将LTL目标公式编译为PDDL,in:Proc。第十五届欧洲人工智能大会,(ECAI'04),2004年;S.Cresswell,A.Coddington,将LTL目标公式编译为PDDL,in:Proc。2004年第15届欧洲人工智能大会(ECAI'04)
[21] P.J.Delgrand,T.Schaub,H.Tompits,因果推理和规划中表达偏好的一般框架,见:Proc。第七届国际常识推理逻辑形式化研讨会,2005年;P.J.Delgrand,T.Schaub,H.Tompits,因果推理和规划中表达偏好的一般框架,见:Proc。第七届国际常识推理逻辑形式化研讨会,2005年·Zbl 1132.68051号
[22] M.Do,J.Benton,M.van den Briel,S.Kambhampati,《目标效用相关性规划》,收录于:Proc。第20届国际人工智能大会(IJCAI'07),2007年;M.Do,J.Benton,M.van den Briel,S.Kambhampati,《目标效用相关性规划》,收录于:Proc。2007年第20届国际人工智能大会(IJCAI'07)·Zbl 1145.68537号
[23] M.B.Do,S.Kambhampati,作为启发式搜索的部分满意度(超额订阅)规划,收录于:Proc。第五届知识型计算机系统国际会议(KBCS’04),2004年;M.B.Do,S.Kambhampati,作为启发式搜索的部分满意度(超额订阅)规划,收录于:Proc。第五届知识型计算机系统国际会议(KBCS’04),2004年
[24] Dubois,D。;Fargier,H。;Prade,H.,约束满足问题中的可能性理论:处理优先级、偏好和不确定性,应用智能,6287-309(1996)·Zbl 1028.91526号
[25] S.Edelkamp,《关于计划约束和偏好的汇编》,摘自:Proc。2006年第16届国际自动规划与调度大会(ICAPS’06);S.Edelkamp,《关于计划约束和偏好的汇编》,摘自:Proc。2006年第16届国际自动规划与调度大会(ICAPS’06)
[26] S.Edelkamp,J.Hoffmann,PDDL2.2:第四届国际规划竞赛经典部分的语言,195年技术报告,德国弗莱堡信息研究所,2004年;S.Edelkamp,J.Hoffmann,PDDL2.2:第四届国际规划竞赛经典部分的语言,195年技术报告,德国弗莱堡信息研究所,2004年
[27] 芬克,A。;Voss,S.,现代启发式搜索方法在模式排序问题中的应用,计算机与运筹学,26,17-34(1999)·兹比尔0957.90044
[28] M.Fox,D.Long,K.Halsey,PDDL2.1表达能力的研究,摘自:Proc。第16届欧洲人工智能大会(ECAI-04),2004年;M.Fox,D.Long,K.Halsey,PDDL2.1表达能力的研究,摘自:Proc。第16届欧洲人工智能大会(ECAI-04),2004年
[29] 福克斯,M。;Long,D.,PDDL2.1:PDDL的扩展,用于表示时间规划域,《人工智能研究杂志》,20,61-124(2003)·Zbl 1036.68093号
[30] H.Geffner、P.Haslum、M.Helmert、J.Hoffmann、V.Vidal、B.Bonet、C.Domshlak,摘自:ICAPS-07领域相关规划启发式研讨会论文集:进展、想法、局限、挑战,第17届国际自动规划与排程会议(ICAPS-2007),2007年;H.Geffner、P.Haslum、M.Helmert、J.Hoffmann、V.Vidal、B.Bonet、C.Domshlak,摘自:ICAPS-07领域相关规划启发式研讨会论文集:进展、想法、局限、挑战,第17届自动规划与排程国际会议(ICAPS-2007),2007年
[31] A.Gerevini,D.Long,PDDL3中的计划约束和偏好,技术报告RT-2005-08-47,Automazione电子技术学院,布雷西亚大学,2005年;A.Gerevini,D.Long,PDDL3中的计划约束和偏好,技术报告RT-2005-08-47,Automazione电子技术学院,布雷西亚大学,2005年
[32] A.Gerevini,D.Long,《PDDL3中的偏好和软约束》,摘自:Proc。2006年ICAPS-2006规划中的偏好和软约束研讨会;A.Gerevini,D.Long,《PDDL3中的偏好和软约束》,摘自:Proc。2006年ICAPS-2006规划中的偏好和软约束研讨会
[33] A.Gerevini、A.Saetti、P.Haslum、D.Long、Y.Dimopoulos,《第五届规划竞赛中的确定性规划:PDDL3和规划者的实验评估》,技术报告RT-2008-02-59,《电子工程师协会》,布雷西亚大学,2008年;A.Gerevini,A.Saetti,P.Haslum,D.Long,Y.Dimopoulos,《第五届规划竞赛中的决定性规划:PDDL3和规划师的实验评估》,技术报告RT-2008-02-59,电子技术学院,布雷西亚大学,2008年·Zbl 1191.68634号
[34] Gerevini,A。;Saetti,A。;Serina,I.,《利用数字流和多标准计划质量进行高效规划的方法》,《人工智能》,172,8-9,899-944(2008)·Zbl 1183.68575号
[35] R.Gerth,D.Peled,M.Vardi,P.Wolper,线性时序逻辑的简单实时自动验证,摘自:Proc。第十五届协议规范、测试和验证研讨会,1995年;R.Gerth,D.Peled,M.Vardi,P.Wolper,线性时间逻辑的简单动态自动验证,在:Proc。1995年第15届协议规范、测试和验证研讨会
[36] M.Ghallab,A.Howe,C.Knoblock,D.McDermott,A.Ram,M.Veloso,D.Weld,D.Wilkins,PDDL-规划领域定义语言,技术报告CVC TR98-003/DCS TR-1165,耶鲁计算视觉与控制中心,1998年;M.Ghallab,A.Howe,C.Knoblock,D.McDermott,A.Ram,M.Veloso,D.Weld,D.Wilkins,PDDL-规划领域定义语言,技术报告CVC TR98-003/DCS TR-1165,耶鲁计算视觉与控制中心,1998
[37] E.Giunchiglia,M.Maratea,《规划作为偏好的可满足性》,摘自:Proc。2007年第22届人工智能大会(AAAI'07);E.Giunchiglia,M.Maratea,《规划作为偏好的可满足性》,摘自:Proc。2007年第22届人工智能大会(AAAI'07)·Zbl 1216.68245号
[38] P.Haslum,《IPC5基准问题解决方案的质量:初步结果》,摘自:Proc。2007年ICAPS-07国际规划竞赛研讨会:过去、现在和未来;P.Haslum,《IPC5基准问题解决方案的质量:初步结果》,摘自:Proc。2007年ICAPS-07国际规划竞赛研讨会:过去、现在和未来
[39] P.Haslum,P.Jonsson,关于不完全信息规划复杂性的一些结果,见:Proc。第五届欧洲规划会议(ECP’99),1999年;P.Haslum,P.Jonsson,关于不完全信息规划复杂性的一些结果,见:Proc。1999年第五届欧洲规划会议(ECP’99)
[40] Helmert,M.,《快速向下规划系统》,《人工智能研究杂志》,26,191-246(2006)·Zbl 1182.68245号
[41] 霍夫曼,J。;Edelkamp,S.,《IPC-4的确定性部分:概述》,《人工智能研究杂志》,24519-579(2005)·Zbl 1080.68669号
[42] 霍夫曼,J。;Edelkamp,S。;蒂埃鲍克斯,S。;恩格尔·R。;Liporace,F。;Trüg,S.,规划的工程基准:IPC-4确定性部分中使用的领域,《人工智能研究杂志》,26453-541(2006)·Zbl 1183.68579号
[43] 霍夫曼,J。;Nebel,B.,《FF计划系统:通过启发式搜索快速生成计划》,《人工智能研究杂志》,第14期,第253-302页(2001年)·Zbl 0970.68044号
[44] C.Hsu、B.W.Wah、Y.Chen,《个人沟通》,2007年10月;C.Hsu、B.W.Wah、Y.Chen,《个人沟通》,2007年10月
[45] F.Kabanza,S.Thiébaux,规划临时扩展目标时的搜索控制,收录于:Proc。2005年第15届国际自动规划与调度会议(ICAPS’05);F.Kabanza,S.Thiébaux,规划临时扩展目标时的搜索控制,收录于:Proc。2005年第15届国际自动化规划与调度会议(ICAPS'05)·Zbl 1034.68549号
[46] H.Kautz,SATPLAN04:规划作为可满足性,载于:第四届国际规划竞赛手册,2004年;H.Kautz,SATPLAN04:规划作为可满足性,载于:2004年第四届国际规划竞赛手册
[47] Kohn,K.,哺乳动物细胞周期控制和DNA修复系统的分子相互作用图,细胞分子生物学,10,8(1999)
[48] Kvarnström,J。;Doherty,P.,TALplanner:基于时间逻辑的前向链接规划器,《数学和人工智能年鉴》,30,1-4,119-169(2000)·Zbl 1002.68158号
[49] Linhares,A。;Yanasse,H.H.,切割模式测序、超大规模集成电路设计和柔性机器之间的联系,计算机与运筹学,291759-1772(2002)·Zbl 1259.90166号
[50] Long,D。;Fox,M.,《第三届国际规划竞赛:结果与分析》,《人工智能研究杂志》,2003年第20期,第1-59页·Zbl 1036.68097号
[51] Long,D。;考茨,H。;塞尔曼,B。;博内,B。;Geffner,H。;Koehler,J。;M.布伦纳。;霍夫曼,J。;Rittinger,F。;安德森,C。;焊缝,D。;史密斯,D。;Fox,M.,AIPS-98规划竞赛,AI杂志,21,2,13-33(2000)
[52] Manna,Z。;Pnueli,A.,《反应和并发系统的时间逻辑》(1992),Springer
[53] 米格尔,I。;贾维斯,P。;沈琦,通过动态柔性约束满足实现高效柔性规划,人工智能工程应用,14,3,301-327(2001)
[54] Nebel,B.,《命题规划形式的可编译性和表达能力》,《人工智能研究杂志》,12,271-315(2000)·Zbl 0943.68182号
[55] J.S.Penberthy,《持续变化的规划》,华盛顿大学博士论文,1993年。可作为技术报告UW-CSE-93-12-01获得;J.S.Penberthy,《持续变化的规划》,华盛顿大学博士论文,1993年。作为技术报告UW-CSE-93-12-01提供
[56] A.Pnueli,程序的时序逻辑,in:Proc。第18届IEEE计算机科学基础研讨会,1977年;A.Pnueli,程序的时序逻辑,in:Proc。1977年IEEE第18届计算机科学基础研讨会
[57] Riera-Ledesma,J。;Salazar-Gonzalez,J.J.,《旅行购买者问题的启发式方法》,《欧洲运筹学杂志》,160,3,599-613(2005)·Zbl 1061.90065号
[58] J.Rintanen,《将时序逻辑控制纳入计划运算符》,摘自:Proc。第14届欧洲人工智能大会(ECAI'00),2000年;J.Rintanen,《将时序逻辑控制纳入计划运算符》,摘自:Proc。第14届欧洲人工智能大会(ECAI'00),2000年
[59] J.Rintanen,并发时间规划的复杂性,载于:Proc。第17届国际自动规划与调度大会,2007年;J.Rintanen,并发时间规划的复杂性,摘自:Proc。2007年第17届国际自动规划与调度大会
[60] F.Rossi,K.B.Venable,N.Yorke-Smith,软时间约束问题的可控性,收录于:Proc。第十届国际约束编程原理与实践大会(CP’04),2004年;F.Rossi,K.B.Venable,N.Yorke-Smith,软时间约束问题的可控性,收录于:Proc。第十届国际约束编程原理与实践大会(CP’04),2004年·Zbl 1152.68579号
[61] B.M.史密斯。;Gent,I.P.,约束建模挑战2005(2005)
[62] D.Smith,《在超额认购计划中选择目标》,摘自:Proc。2004年第14届国际自动规划与调度会议(ICAPS’04);D.Smith,《在超额认购计划中选择目标》,摘自:Proc。2004年第14届国际自动计划与调度会议(ICAPS’04)
[63] T.C.Son,E.Pontelli,《使用逻辑编程进行偏好规划》,摘自:Proc。第七届逻辑编程与非单调推理国际会议(LPNMR’04),2004年;T.C.Son,E.Pontelli,《使用逻辑编程进行偏好规划》,摘自:Proc。第七届逻辑编程与非单调推理国际会议(LPNMR’04),2004年·Zbl 1122.68616号
[64] Thagard,P.,《生物医学发现之路》,《科学哲学》,70(2003)
[65] 蒂埃鲍克斯,S。;霍夫曼,J。;Nebel,B.,为PDDL公理辩护,人工智能,168,38-69(2005)·Zbl 1132.68714号
[66] 维达尔,V。;Geffner,H.,分支和修剪:基于约束规划的最优时间POCL规划器,人工智能,170,3,298-335(2006)·Zbl 1131.68528号
[67] Wilcoxon,F。;Wilcox,R.A.,《一些快速近似统计程序》(1964年),Lederle Laboratories:Lederle Laboratories Pearl River,New York,USA
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。