×
阮宣龙;苏巴拉奥·坎巴帕蒂;罗密欧·S·奈根达。

规划图是通过状态空间和CSP搜索导出规划综合启发式的基础。 （英语） Zbl 0984.68140号

Artif公司。智力。 135，编号1-2，73-123（2002）.
最近在扩大规划规模方面取得的进展围绕着两个相互竞争的主题展开——以Graphplan为例的析取规划师和以UNPOP、HSP和HSP-r为例的启发式状态搜索规划师，我们提出了一种新的方法，可以成功地利用这两种竞争范式的优势，开发出比这两种方法都强大得多的规划师。具体来说，我们表明Graphplan构建的多项式时间规划图结构为导出一系列高效的启发式算法提供了丰富的基础，这些算法用于指导状态空间搜索以及CSP式搜索。规划图结构提供的主要杠杆是在设计状态空间启发式时考虑子目标交互的系统化分级方法。
对于状态空间搜索，我们开发了几个启发式家族，其中一些旨在提高搜索速度，另一些旨在优化解决方案，并分析了许多改进这些启发式提供的成本-质量权衡的方法。我们的规范化经验比较表明，我们的启发式算法明显优于现有的状态空间启发式算法。对于CSP风格的搜索，我们描述了一种使用规划图结构导出高效变量和值排序启发式的新方法。我们表明，这些启发式算法可以显著改进Graphplan自己的反向搜索。为了证明我们的方法相对于最先进的计划合成的有效性，我们提出了AltAlt，它是一个使用我们的理论从Graphplan和状态搜索风格的计划器的实现中拼凑而成的计划器。我们对AltAlt在最近的AIPS-2000规划竞赛中使用的一系列问题进行了评估。这一结果使AltAlt在竞争规划者中处于领先地位，优于基于Graphplan和启发式搜索的规划者。

引用于4文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

规划;启发式;规划图;CSP公司;图规划

软件：

AltAlt键;SAPA公司;图规划;徒步旅行;STAN公司
PDF格式BibTeX公司 XML格式引用
\textit{X.Nguyen}等人，Artif。智力。135，编号1--2，73-123（2002；Zbl 0984.68140）
全文： 内政部

参考文献：

[1] Bacchus，F.，AIPS 2000规划竞赛结果（2000），网址：http://www.cs.toronto.edu/aips-2000
[2] 布鲁姆，A。；Furst，M.L.，通过规划图分析快速规划，人工智能，90，1-2，281-300（1997）·Zbl 1017.68533号
[3] 博内，B。；Geffner，H.，《规划作为启发式搜索：新结果》（Proc.ECP-99，Durham，UK（1999））·Zbl 0971.68146号
[4] 博内，B。；Loerincs，G。；Geffner，H.，《稳健快速的规划行动选择机制》（Proc.AAAI-97，Providence，RI（1997））
[5] 博内，B。；Geffner，H.，HSP规划师（AIPS-98规划竞赛，宾夕法尼亚州匹兹堡（1998））·Zbl 1080.68656号
[6] Cayrol，M。；雷格尼尔，P。；Vidal，V.，关于LCGP的新结果，一个最不承诺的图计划，（Proc.AIPS-2000，Breckenridge，CO（2000））·Zbl 0982.68118号
[7] 卡尔伯森，J。；Schaeffer，J.，模式数据库，计算。情报，14，318-334（1998）
[8] 做，M。；Kambhampati，S。；Srivastava，B.，《相关性和可达性约束对规划SAT编码的影响研究》（Proc.AIPS-2000，Breckenridge，CO（2000））
[9] 做，M。；Kambhampati，S.，规划作为约束满足：通过将规划图编译为CSP来解决规划图，人工智能，132151-182（2001）·Zbl 0983.68181号
[10] 做，M。；Kambhampati，S.，SAPA：一个与域相关的启发式度量时间规划师（Proc.ECP-2001，Toledo，西班牙（2001））·Zbl 1036.68091号
[11] Edelkamp，S.，《模式数据库规划》（Proc.ECP-2001，Toledo，西班牙（2001））·Zbl 1036.68092号
[12] 菲克斯，R。；Nilsson，N.，STRIPS：将定理证明应用于问题解决的新方法，《人工智能》，127-120（1971）
[13] 福克斯，M。；Long，D.，TIM中状态不变量的自动推断，J.人工智能研究，9，367-421（1998）·Zbl 0910.68199号
[14] 加拉布，M。；Laruelle，H.，《IxTeT的代表与控制》，（AIPS-94程序，伊利诺伊州芝加哥（1994））
[15] Gerevini，A。；Schubert，L.，《推断领域独立规划的状态约束》（Proc.AAAI-98，威斯康星州麦迪逊（1998））
[16] O.汉森。；Mayer，A。；Yung，M.，批评放松模型的解决方案会产生强大的可接受启发式，Inform。科学。，63, 3, 207-227 (1992)
[17] 哈斯鲁姆，P。；Geffner，H.，最优规划的可接受启发式，（Proc.AIPS-2000，Breckenridge，CO（2000））
[18] J.Hoffman，《领域独立规划启发式及其在强制爬山算法中的应用》，第133号技术报告，阿尔伯特·路德维希斯大学；J.Hoffman，《领域独立规划的启发式方法及其在强制爬山算法中的应用》，第133号技术报告，阿尔伯特·路德维希斯大学
[19] Kambhampati，S.，《作为（动态）CSP的规划图：在Graphplan中利用EBL、DDB和其他CSP搜索技术》，J.Artificial Intelligence Res.，12，1-34（2000）·Zbl 0940.68100号
[20] Kambhampati，S。；兰布雷希特，E。；Parker，E.，《理解和扩展图形计划》（Proc.ECP-97，法国图卢兹（1997））
[21] Kambhampati，S.，《架桥计划综合范式的挑战》（Proc.IJCAI-97，日本名古屋（1997））
[22] Kambhampati，S.，Graphplan的EBL和DDB，（Proc.IJCAI-99，斯德哥尔摩，瑞典（1999））·Zbl 0940.68100号
[23] Kambhampati，S。；Nigenda，R.S.，基于距离的Graphplan目标排序启发式，（Proc.AIPS-2000，Breckenridge，CO（2000））
[24] 考茨，H。；Selman，B.，《黑匣子：统一基于卫星和基于图形的规划》（Proc.IJCAI-99，斯德哥尔摩，瑞典（1999））
[25] Koehler，J.，《通过提取子问题解决复杂规划任务》（第四届AIPS会议，宾夕法尼亚州匹兹堡（1998））
[26] Korf，R.，《线性空间最佳优先搜索》，《人工智能》，第62期，第41-78页（1993年）·兹比尔0778.68079
[27] Korf，R.，《使用模式数据库寻找魔方的最佳解决方案》（Proc.AAAI-97，Providence，RI（1997））
[28] Korf，R.，《可接受启发式函数设计和分析的最新进展》（Invited Talk），（Proc.AAAI-2000，Austin，TX（2000））
[29] 科尔夫（Korf，R.）。；Taylor，L.，《寻找二十四难题的最优解》（Proc.AAAI-96，Portland，OR（1996））
[30] Long，D。；Fox，M.，《STAN中计划图的有效实施》，J.人工智能研究，10，87-115（1999）·Zbl 0914.68180号
[31] McDermott，D.，规划中均值分析的启发式估计，（Proc.AIPS-96，Edinburgh，Scotland（1996））
[32] McDermott，D.，AIPS-98规划竞赛结果（1998年）
[33] McDermott，D.，《使用回归图控制规划中的搜索》，人工智能，109，1-2，111-160（1999）·Zbl 0916.68145号
[34] 米塔尔，S。；Falkenhainer，B.，《动态约束满足问题》（Proc.AAAI-90，Boston，MA（1990））
[35] Nebel，B。；迪莫普洛斯，Y。；Koehler，J.，在计划生成中忽略不相关的事实和运算符，（Proc.ECP-97，法国图卢兹（1997））
[36] Nguyen，X。；Kambhampati，S.，从规划图中提取有效和可接受的状态空间启发式，（Proc.AAAI-2000，Austin，TX（2000））
[37] Nguyen，X。；Kambhampati，S.，《恢复部分订单计划》（Proc.IJCAI-01，西雅图，华盛顿州（2001））
[38] 尼日利亚共和国。；Nguyen，X。；Kambhampati，S.，AltAlt:结合Graphplan和启发式状态搜索的优势，（Proc.KBCS-2000，印度孟买（2000））
[39] Nilsson，N.，《人工智能原理》（1980），Tioga:Tioga Los Altos，CA·Zbl 0422.68039号
[40] Pearl，J.，《启发式》（1984），Morgan Kaufmann:Morgan Koufmann San Mateo，CA
[41] Refanidis，I。；Vlahavas，I.，GRT：基于贪婪回归表的条世界的独立于域的启发式，（Proc.ECP-99，Durham，UK（1999））·Zbl 0994.68136号
[42] Rintanen，J.，《合成不变量的迭代算法》（Proc.AAAI-2000，Austin，TX（2000））
[43] 史密斯，D。；Frank，J。；Jonsson，A.，《弥合计划与进度之间的差距》，《知识工程评论》，15，1，47-83（2000）
[44] Tsang，E.，《约束满足的基础》（1993），学术出版社：加州圣地亚哥学术出版社
[45] 焊缝，D。；安德森，C。；Smith，D.，《扩展图形计划以处理不确定性和传感行为》（Proc.AAAI-98，Madison，WI（1998））
[46] Weld，D.，AI规划的最新进展，AI杂志，20，2，93-123（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。