×

规划中的远距离互斥。 (英语) Zbl 1192.68639号

摘要:互斥(mutex)是规划中搜索空间修剪的一种强大机制。然而,互斥锁的一个严重限制是它不能指定跨不同时间步的与动作和事实相关的约束。在本文中,我们提出了一类新的互斥,它显著地推广了互斥,并且可以有效地计算互斥。所提出的远程互斥(londex)不仅可以在同一时间步,而且可以跨多个步骤捕获对动作和事实的约束。作为一种概括,londex比mutex强大得多,为开发高效的规划师提供了一个通用而有效的工具。
我们提出了两个级别的londex。第一级londex({1})是从单个域转移图(DTG)导出的,第二级londex-(_m)是通过考虑多个DTG之间的相互作用而导出的。Londex约束提供更强的修剪能力,但也需要大量内存。为了解决内存问题,我们进一步开发了一种虚拟实现机制,在该机制中,在搜索过程中仅根据需要动态生成一小部分londex约束。该方案可以节省大量内存,而不会牺牲londex的修剪能力。
出于评估目的,我们将londex合并到SATPlan04和SATPlan06这两个高效的基于SAT的规划师中。我们的实验结果表明,由于londex利用了DTG之间的因果依赖性,因此londex(_m)可以显著提高londex的性能。我们在各种规划领域的实验结果也显示了使用londex约束来减少规划时间的显著优势。

MSC公司:

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

参考文献:

[1] Bäckström,C。;Nebel,B.,《SAS+规划的复杂性结果》,计算智能,11,17-29(1995)
[2] Blum,A。;Furst,M.L.,通过规划图分析快速规划,人工智能,90,281-300(1997)·Zbl 1017.68533号
[3] 博内,B。;Geffner,H.,规划作为启发式搜索,人工智能,129,1,5-33(2001)·兹伯利0971.68146
[4] M.Büttner,J.Rintanen,《行动数量约束下的可满足性规划》,摘自:Proc。ICAPS,2005年,第292-299页;M.Büttner,J.Rintanen,《行动数量约束下的可满足性规划》,摘自:Proc。ICAPS,2005年,第292-299页
[5] 陈寅,赵晓霞,张文伟,命题规划的远程互斥,in:Proc。IJCAI,2007年,第1840-1845页;陈寅,赵晓霞,张文伟,命题规划的远程互斥,in:Proc。IJCAI,2007年,第1840-1845页
[6] N.Een,N.Sörensson,可扩展SAT解决方案,in:Proc。国家税务总局,2003年;N.Een,N.Sörensson,可扩展SAT解决方案,in:Proc。SAT,2003年
[7] 福克斯,M。;Long,D.,TIM中状态不变量的自动推断,《人工智能研究杂志》,9,367-421(1998)·Zbl 0910.68199号
[8] M.Fox,D.Long,《在图构造和搜索中使用自动推断不变量》,in:Proc。ICAPS,2000年,第102-111页;M.Fox,D.Long,《在图构造和搜索中使用自动推断不变量》,in:Proc。ICAPS,2000年,第102-111页
[9] 福克斯,M。;Long,D.,PDDL2.1:PDDL的扩展,用于表示时间规划域,《人工智能研究杂志》,20,61-124(2003)·Zbl 1036.68093号
[10] Gerevini,A。;Saetti,A。;Serina,I.,通过LPG中的随机局部搜索和时间动作图进行规划,《人工智能研究杂志》,20,239-290(2003)·Zbl 1058.68103号
[11] A.Gerevini,L.K.Schubert,推断领域独立规划的状态约束,载于:Proc。AAAI,1998年,第905-912页;A.Gerevini,L.K.Schubert,《领域独立规划的状态约束推断》,摘自:Proc。AAAI,1998年,第905-912页
[12] T.J.Grant,《基于知识的规划操作员的归纳学习》,博士论文,荷兰国立大学,1996年;T.J.Grant,《基于知识的规划操作员的归纳学习》,博士论文,荷兰国立大学,1996年
[13] P.Haslum,H.Geffner,最优规划的可接受启发式,in:Proc。ICAPS,2000年,第140-149页;P.Haslum,H.Geffner,最优规划的可接受启发式,in:Proc。ICAPS,2000年,第140-149页
[14] Helmert,M.,《快速向下规划系统》,《人工智能研究杂志》,26,191-246(2006)·Zbl 1182.68245号
[15] Jonsson,P。;Bäckström,C.,《结构限制下的状态变量规划:算法和复杂性》,人工智能,100,1-2,125-176(1998)·Zbl 0906.68140号
[16] H.Kautz,SATPLAN04:作为可满足性的规划,载于:Proc。IPC4,ICAPS,2004年;H.Kautz,SATPLAN04:规划作为可满足性,见:Proc。IPC4,ICAPS,2004年
[17] H.Kautz,《SatPlan:规划作为可满足性》,摘自:Proc。IPC5,ICAPS,2006年;H.Kautz,《SatPlan:规划作为可满足性》,摘自:Proc。IPC5,ICAPS,2006年
[18] H.Kautz,D.McAllester,B.Selman,命题逻辑中的编码计划,在:Proc。KR,1996年,第374-384页;H.Kautz,D.McAllester,B.Selman,《命题逻辑中的计划编码》,摘自:Proc。韩国,1996年,第374-384页
[19] 考茨,H。;塞尔曼,B.,《推开包络:规划、命题逻辑和随机搜索》(AAAI(1996),AAAI出版社),1194-1201
[20] H.Kautz B.Selman,《特定领域知识在规划中作为可满足性框架的作用》,摘自:Proc。AIPS,1998年,第181-189页;H.Kautz B.Selman,《特定领域知识在规划中作为可满足性框架的作用》,摘自:Proc。AIPS,1998年,第181-189页
[21] H.Kautz,B.Selman,《统一基于SAT和基于图形的规划》,摘自:Proc。IJCAI,1999年,第318-325页;H.Kautz,B.Selman,《统一基于SAT和基于图形的规划》,摘自:Proc。IJCAI,1999年,第318-325页
[22] G.Kelleher,A.G.Cohn,《从运算符描述自动合成域约束》,收录于:Proc。ECAI,1992年;G.Kelleher,A.G.Cohn,从运算符描述中自动合成域约束,在:Proc。ECAI,1992年
[23] McCluskey,T.L。;Porteous,J.M.,《工程和编制规划领域模型以提高有效性和效率》,《人工智能》,95,1-65(1997)·Zbl 0894.68137号
[24] D.McDermott,M.Ghallab,A.Howe,C.Knoblock,A.Ram,M.Veloso,D.Weld,D.Wilkins,PDDL:规划领域定义语言,技术报告TR-98-003,耶鲁大学,1998年;D.McDermott,M.Ghallab,A.Howe,C.Knoblock,A.Ram,M.Veloso,D.Weld,D.Wilkins,PDDL:规划领域定义语言,技术报告TR-98-003,耶鲁大学,1998年
[25] P.Morris,R.Feldman,规划搜索的自动派生启发法,收录于:Proc。爱尔兰人工智能和认知科学会议,1989年;P.Morris,R.Feldman,规划搜索的自动派生启发法,收录于:Proc。1989年爱尔兰人工智能和认知科学会议
[26] J.Penberthy,D.Weld,《具有持续变化的时间规划》,载于:Proc。AAAI,1994年,第1010-1015页;J.Penberthy,D.Weld,《持续变化的时间规划》,摘自:Proc。AAAI,1994年,第1010-1015页
[27] J.Rintanen,《规划:算法与复杂性》,适应能力论文,阿尔伯特·路德维希弗赖堡大学,2005年;J.Rintanen,《规划:算法和复杂性》,《习惯化》论文,弗赖堡阿尔伯特·卢德维格斯大学,2005年
[28] Rintanen,J。;Heljanko,K。;Niemelä,I.,规划作为可满足性:计划搜索的并行计划和算法,人工智能,12-13,1031-1080(2006)·兹比尔1131.68099
[29] B.Selman,H.Kautz,《作为可满足性的规划》,摘自:Proc。ECAI,1992年,第359-363页;B.Selman,H.Kautz,《作为可满足性的规划》,摘自:Proc。ECAI,1992年,第359-363页
[30] 第五届国际规划竞赛,http://zeus.ing.unibs.it/ipc-5/; 第五届国际规划竞赛,http://zeus.ing.unibs.it/ipc-5/
[31] 第三届国际规划竞赛,http://planning.cis.strath.ac.uk/competition网站/; 第三届国际规划竞赛,http://planning.cis.strath.ac.uk/competition网站/
[32] van Beek,P。;Chen,X.,《CPlan:规划的约束编程方法》,(AAAI Proc.(1999),AAAI出版社),585-590
[33] M.van den Briel,S.Kambhampati,T.Vossen,《IPPlan:规划为整数规划》,摘自:Proc。IPC5,ICAPS,2006年;M.van den Briel,S.Kambhampati,T.Vossen,《IPPlan:规划为整数规划》,摘自:Proc。IPC5,ICAPS,2006年·兹比尔1175.90058
[34] V.Vidal,H.Geffner,CPT:基于约束编程的最优时态POCL规划器,in:Proc。IPC4,ICAPS,2004年;V.Vidal,H.Geffner,CPT:基于约束编程的最优时态POCL规划器,in:Proc。IPC4,ICAPS,2004年·Zbl 1131.68528号
[35] 维达尔,V。;Geffner,H.,分支和修剪:基于约束规划的最优时间POCL规划器,人工智能,170,3,298-335(2006)·Zbl 1131.68528号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。