×

规划中标准基准域的复杂性结果。 (英语) Zbl 1079.68621号

总结:人工智能规划系统的效率通常是通过经验进行评估的。为了从这些经验数据中得出的结论的有效性,用于评估的问题集至关重要。在规划中,这个问题集通常或至少经常由1998年和2000年AIPS会议上主办的前两次国际规划竞赛中使用的各种规划领域的任务组成。因此,令人惊讶的是,除了BLOCKSWORLD之外,对这些基准域的属性知之甚少,BLOCKSVORLD已经被几个研究小组广泛研究过。
我们试图通过为比赛中使用的一组域提供非最优和最优规划的计算复杂性图来纠正这一事实。我们确定了大多数基准共享的共同交通主题,并使用此观察结果定义和分析了一般交通问题,该问题概括了物流、神秘和GRIPPER等几个经典领域的规划。然后,我们将该分析结果应用于比赛中的实际交通领域。接下来,我们将研究其他基准,它们没有表现出强大的传输特性,即SCHEDULE和FREECELL。
将我们的分析结果与最近非常成功的(mathbf{FF})规划系统行为的实证工作联系起来,我们发现我们的理论结果与实证调查获得的数据吻合良好。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
65年第68季度 算法和问题复杂性分析
90B20型 运筹学中的交通问题

软件:

图规划
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bacchus,F.,AIPS’00计划竞赛,AI杂志,22,3,47-56(2001)
[2] 贝克斯特伦,C。;Nebel,B.,《(SAS^+)规划的复杂性结果》,计算。情报,11,4,625-655(1995)
[3] Blum,A。;Furst,M.,通过规划图分析快速规划,人工智能,90,1-2,281-300(1997)·Zbl 1017.68533号
[4] Bylander,T.,命题STRIPS规划的计算复杂性,人工智能,69,1-2,165-204(1994)·Zbl 0821.68065号
[5] 埃罗尔,K。;Nau,D.S。;Subrahmanian,V.S.,域相关规划的复杂性、可判定性和不可判定性结果,人工智能,76,1-2,65-88(1995)·Zbl 1013.68548号
[6] Garey,M.R。;Johnson,D.S.,《计算机与不可恢复性——NP-完全性理论指南》(1979),弗里曼:弗里曼旧金山,加利福尼亚州·Zbl 0411.68039号
[7] 古普塔,N。;Nau,D.S.,《论区块的复杂性——世界规划》,人工智能,56,2-3,223-254(1992)·Zbl 0785.68046号
[8] M.Helmert,《关于运输和操纵领域规划的复杂性》,硕士论文,阿尔伯特·卢德维希斯·弗莱堡大学,2001年。Postscript可在http://www.informatik.uni-freiburg.de/ki/theses.html;M.Helmert,《关于运输和操纵领域规划的复杂性》,硕士论文,阿尔伯特·卢德维希斯·弗莱堡大学,2001年。Postscript可在http://www.informatik.uni-freiburg.de/ki/theses.html
[9] Hoffmann,J.,规划基准中的局部搜索拓扑:实证分析,(Proc.IJCAI-01,西雅图,WA(2001)),453-458
[10] 霍夫曼,J。;Nebel,B.,FF计划系统:通过启发式搜索快速生成计划,人工智能研究,14253-302(2001)·Zbl 0970.68044号
[11] 科勒,J。;Nebel,B。;霍夫曼,J。;Dimopoulos,Y.,《将规划图扩展到ADL子集》,(Steel,S.;Alami,R.,《人工智能规划的最新进展》,第四届欧洲规划会议(ECP’97)。人工智能规划的最新进展。第四届欧洲规划会议(ECP’97),人工智能讲义,1348(1997),施普林格:施普林格纽约),273-285
[12] 科勒,J。;Schuster,K.,《电梯控制作为一个规划问题》(Chien,S.;Kambhampati,S.);Knoblock,C.a.,《第五届人工智能规划与调度国际会议论文集》(AIPS 2000),科罗拉多州布雷肯里奇(2000),331-338
[13] Long,D。;Fox,M.,规划中通用类型的自动合成和使用,(Chien,S.;Kambhampati,S.);Knoblock,C.A.,《第五届人工智能规划与调度国际会议论文集》(AIPS 2000),科罗拉多州布雷肯里奇(2000),196-205
[14] McDermott,D.,《1998年人工智能规划系统竞赛》,《人工智能杂志》,21,2,35-55(2000)
[15] Selman,B.,《近最优计划、可控制性和反应性》(Doyle,J.;Sandewall,E.;Torasso,P.,《知识表示和推理原则:第四届国际会议论文集》(KR’94)(1994),Morgan Kaufmann:Morgan Koufmann-San Mateo,CA),521-529
[16] 斯莱尼,J。;Thiébaux,S.,《重访区块世界》,人工智能,125,119-153(2001)·Zbl 0969.68136号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。