×
丹尼尔·布莱斯;威廉·库欣;苏巴拉奥·坎巴帕蒂

状态无关规划图：确定性规划、非确定性规划和概率规划。 （英语） Zbl 1216.68239号

Artif公司。智力。 175，第3-4号，848-889（2011）.
摘要：规划图已被证明是许多规划师启发式信息的丰富来源。在许多情况下，规划师必须为一组状态的每个元素计算一个规划图，而朴素的技术则分别枚举这些图。这相当于通过在每个源上迭代一个单源算法来解决多源最短路径问题。
我们引入了一种数据结构，即状态不可知规划图，它直接解决了规划图引入的松弛的多源问题。该技术还可以描述为利用规划图集合中存在的重叠。为了便于说明，我们首先介绍了确定性（经典）规划中的技术，以捕获前向链接搜索中使用的一组规划图。该技术的一个更突出的应用是在一致规划和条件规划（即在信念状态空间中搜索）中，其中每个搜索节点使用一组规划图；利用信念状态之间的状态重叠进行优化可以将规划图集合折叠为单个集合。我们描述了一致性概率规划的另一个扩展，该扩展在搜索节点之间重用概率动作结果的规划图样本，以抑制与处理概率动作相关的固有预测成本。最后，我们展示了如何提取一个与状态无关的放松计划，该计划隐式地解决了由状态无关的计划图表示的每个计划图中的放松计划问题，并将每个启发式评估简化为计算状态无关放松计划中的相关动作。我们的实验评估（使用来自经典和非确定性一致轨迹的许多现有国际规划竞赛问题）量化了每一个性能提升，并证明使用我们的技术的启发式信念状态空间进展规划与最新技术具有竞争力。

引用于2文件

MSC公司：

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

关键词：

规划;启发式

软件：

STAN公司;CUDD公司;图规划;VHPOP（VHPOP）
PDF格式BibTeX公司 XML格式引用
\textit{D.Bryce}等人，Artif。智力。175，编号3--4，848--889（2011；Zbl 1216.68239）
全文： 内政部

参考文献：

[1] A.Albore，H.Palacios，H.Geffner，《基于翻译的应急计划方法》，载《第二十届国际人工智能联合会议论文集》，2009年，第1623-1628页。；A.Albore，H.Palacios，H.Geffner，《基于翻译的应急计划方法》，载于《第二十届第一届国际人工智能联合会议论文集》，2009年，第1623-1628页。
[2] P.Bertoli，A.Cimatti，《改进启发式规划作为信念空间中的搜索》，载于：《第六届人工智能规划系统国际会议论文集》，2002年，第143-152页。；P.Bertoli，A.Cimatti，《改进规划启发式作为信念空间搜索》，载于《第六届人工智能规划系统国际会议论文集》，2002年，第143-152页。
[3] P.Bertoli，A.Cimatti，M.Roveri，P.Traverso，《通过符号模型检查在部分可观测性下的非确定性领域中的规划》，载《第十七届国际人工智能联合会议论文集》，2001年，第473-478页。；P.Bertoli，A.Cimatti，M.Roveri，P.Traverso，《通过符号模型检查在部分可观测性下的非确定性领域中的规划》，载《第十七届国际人工智能联合会议论文集》，2001年，第473-478页。
[4] A.Blum，M.Furst，《通过规划图分析快速规划》，载《第十四届国际人工智能联合会议论文集》，1995年，第1636-1642页。；A.Blum，M.Furst，《通过规划图分析快速规划》，载《第十四届国际人工智能联合会议论文集》，1995年，第1636-1642页。
[5] B.Bonet，H.Geffner，《作为启发式搜索的规划：新结果》，载于：《第五届欧洲规划会议论文集》，1999年，第360-372页。；B.Bonet，H.Geffner，《作为启发式搜索的规划：新结果》，载于《第五届欧洲规划会议论文集》，1999年，第360-372页。
[6] R.Brafman，J.Hoffmann，通过启发式前向搜索和隐含信念状态的权变规划，载于：《第十五届自动规划与调度国际会议论文集》，2005年，第71-80页。；R.Brafman，J.Hoffmann，《通过启发式前向搜索和隐含信念状态的权变规划》，载于：《第十五届自动规划与调度国际会议论文集》，2005年，第71-80页。
[7] Bryant，R.，布尔函数操作的基于图形的算法，IEEE计算汇刊，C-35，8，677-691（1986）·Zbl 0593.94022号
[8] D.Bryce，不确定性下的可扩展规划，博士论文，亚利桑那州立大学，2007年5月。；D.Bryce，《不确定性下的可扩展规划》，亚利桑那州立大学博士论文，2007年5月。
[9] D.Bryce，O.Buffet（编辑），第六届国际规划竞赛的不确定性部分，2008年。；D.Bryce，O.Buffet（编辑），第六届国际规划竞赛的不确定性部分，2008年。
[10] D.Bryce，W.Cushing，S.Kambhampati，《模型化规划：多样的多选项计划和动态目标函数》，摘自：《现实世界系统规划和计划执行第三次研讨会论文集》，2007年。；D.Bryce，W.Cushing，S.Kambhampati，《模型化规划：多样的多选项计划和动态目标函数》，载于：《现实世界系统规划和计划执行第三次研讨会论文集》，2007年。
[11] Bryce博士。；Kambhampati，S.，基于规划图的可达性启发式教程，AI杂志，28，1，47-83（2007）
[12] Bryce博士。；Kambhampati，S。；Smith，D.，《信念空间搜索的规划图启发式》，《人工智能研究杂志》，26，35-99（2006）·Zbl 1182.68225号
[13] D.Bryce，S.Kambhampati，D.Smith，概率规划可达性启发式中的序贯蒙特卡罗，收录于：《第十六届自动规划与调度国际会议论文集》，2006年，第233-242页。；D.Bryce，S.Kambhampati，D.Smith，概率规划可达性启发式中的序列蒙特卡罗，载于：《第十六届自动规划与调度国际会议论文集》，2006年，第233-242页·Zbl 1182.68226号
[14] Bryce博士。；Kambhampati，S。；Smith，D.，概率规划可达性启发式中的序贯蒙特卡罗，人工智能，172，6-7，685-715（2008）·Zbl 1182.68226号
[15] 卡尔伯森，J.C。；Schaeffer，J.，模式数据库，计算智能，14，3，318-334（1998）
[16] W.Cushing，D.Bryce，《州不可知规划图》，载于《第二十届全国人工智能会议论文集》，2005年，第1131-1138页。；W.Cushing，D.Bryce，《州不可知规划图》，载于《第二十届全国人工智能会议论文集》，2005年，第1131-1138页。
[17] Darwiche，A。；Marquis，P.，《知识汇编图》，《人工智能研究杂志》，第17期，第229-264页（2002年）·Zbl 1045.68131号
[18] de Kleer，J.，基于假设的TMS，人工智能，28，2，127-162（1986）
[19] C.Domshlak，J.Hoffmann，《通过加权模型计数实现快速概率规划》，载《第十六届自动规划与调度国际会议论文集》，2006年，第243-251页。；C.Domshlak，J.Hoffmann，《通过加权模型计数实现快速概率规划》，载《第十六届国际自动规划与调度会议论文集》，2006年，第243-251页。
[20] Doucet，A。；德弗里塔斯，N。；Gordon，N.，《序贯蒙特卡罗方法在实践中的应用》（2001），Springer:Springer New York·兹比尔0967.00022
[21] S.Edelkamp，《利用模式数据库进行规划》，载于《第六届欧洲规划会议论文集》，2001年，第13-24页。；S.Edelkamp，《利用模式数据库进行规划》，载于《第六届欧洲规划会议论文集》，2001年，第13-24页。
[22] A.Gerevini，B.Bonet，R.Givan（编辑），第五届国际规划竞赛，英国坎布里亚，2006年。；A.Gerevini，B.Bonet，R.Givan（编辑），第五届国际规划竞赛，英国坎布里亚，2006年。
[23] Gerevini，A。；Saetti，A。；Serina，I.，通过LPG中的随机局部搜索和时间动作图进行规划，《人工智能研究杂志》，20，239-290（2003）·Zbl 1058.68103号
[24] J.Hoffmann，R.Brafman，《通过启发式前向搜索的一致性规划：一种新方法》，载于：《第十四届自动规划和调度国际会议论文集》，2004年，第355-364页。；J.Hoffmann，R.Brafman，《通过启发式前向搜索实现一致性规划：一种新方法》，载于：《第十四届自动规划和调度国际会议论文集》，2004年，第355-364页·兹比尔1131.68525
[25] 霍夫曼，J。；Nebel，B.，《FF计划系统：通过启发式搜索快速生成计划》，《人工智能研究杂志》，第14期，第253-302页（2001年）·Zbl 0970.68044号
[26] 黄光裕，结合知识汇编和搜索高效一致性概率规划，载《第十六届国际自动规划与调度会议论文集》，2006年，第253-262页。；黄光裕，结合知识汇编和搜索高效一致性概率规划，载《第十六届国际自动规划与调度会议论文集》，2006年，第253-262页。
[27] N.Hyafil，F.Bacchus，《通过CSP的一致性概率规划》，载于《第十三届国际自动规划与调度会议论文集》，2003年，第205-214页。；N.Hyafil，F.Bacchus，《通过CSP的一致性概率规划》，载于《第十三届国际自动规划与调度会议论文集》，2003年，第205-214页。
[28] N.Hyafil，F.Bacchus，《在一致性概率规划中使用结构化表示和CSP》，载于《第十六届欧洲人工智能会议论文集》，2004年，第1033-1034页。；N.Hyafil，F.Bacchus，《在一致性概率规划中使用结构化表示和CSP》，载于《第十六届欧洲人工智能会议论文集》，2004年，第1033-1034页。
[29] S.Kambhampati，E.Parker，E.Lambrecht，《理解和扩展图形计划》，载《第四届欧洲规划会议论文集》，1997年，第260-272页。；S.Kambhampati，E.Parker，E.Lambrecht，《理解和扩展图形计划》，载《第四届欧洲规划会议论文集》，1997年，第260-272页。
[30] J.Koehler，B.Nebel，J.Hoffmann，Y.Dimopoulos，《将规划图扩展到ADL子集》，载《第四届欧洲规划会议论文集》，1997年，第273-285页。；J.Koehler，B.Nebel，J.Hoffmann，Y.Dimopoulos，将规划图扩展到ADL子集，载于：《第四届欧洲规划会议论文集》，1997年，第273-285页。
[31] U.Kuter，D.S.Nau，E.Reisner，R.P.Goldman，《使用经典规划师解决非确定性规划问题》，载于：《第十八届自动规划与调度国际会议论文集》，2008年，第190-197页。；U.Kuter，D.S.Nau，E.Reisner，R.P.Goldman，《使用经典规划师解决非确定性规划问题》，载于：《第十八届自动规划与调度国际会议论文集》，2008年，第190-197页。
[32] I.Little，D.Aberdeen，S.Theibaux，《概率时间规划师》，载《第二十届全国人工智能会议论文集》，2005年，第1181-1186页。；I.Little，D.Aberdeen，S.Theibaux，《概率时间规划师》，载《第二十届全国人工智能会议论文集》，2005年，第1181-1186页。
[33] Y.Liu，S.Koenig，D.Furcy，《加快启发式搜索规划的启发式计算》，载《第十八届全国人工智能会议论文集》，2002年，第484-491页。；Y.Liu，S.Koenig，D.Furcy，《加快启发式搜索规划的启发式计算》，载《第十八届全国人工智能会议论文集》，2002年，第484-491页。
[34] Long，D。；Fox，M.，《STAN中计划图的有效实施》，《人工智能研究杂志》，10，87-115（1999）·Zbl 0914.68180号
[35] Long，D。；Fox，M.，《第三届国际规划竞赛：结果与分析》，《人工智能研究杂志》，2003年第20期，第1-59页·Zbl 1036.68097号
[36] McDermott，D.V.，使用回归匹配图控制规划中的搜索，人工智能，109，1-2，111-159（1999）·Zbl 0916.68145号
[37] Nguyen，X。；Kambhampati，S。；Nigenda，R.S.，《规划图作为通过状态空间和CSP搜索导出计划综合启发式的基础》，人工智能，135，1-2，73-123（2002）·兹伯利0984.68140
[38] 尼尔森，N.，《人工智能原理》（1980），摩根·考夫曼·Zbl 0422.68039号
[39] 帕拉西奥斯，H。；Geffner，H.，《消除不确定性：使用经典规划师解决一致性规划问题（有时）》（《第二十届全国人工智能会议论文集》（2006），AAAI出版社），900-905
[40] R.Petrick，F.Bacchus，《不完全信息和感知的基于知识的规划方法》，载于《第六届人工智能规划系统国际会议论文集》，2002年，第212-222页。；R.Petrick，F.Bacchus，《不完全信息和感知的基于知识的规划方法》，载于《第六届人工智能规划系统国际会议论文集》，2002年，第212-222页。
[41] Refanidis，I。；Vlahavas，I.，《GRT规划系统：正向状态空间规划中的向后启发式构造》，《人工智能研究杂志》，第15期，第115-161页（2001年）·Zbl 0994.68136号
[42] J.Rintanen，规划与感知形式的表达等效，载《第十三届自动规划与调度国际会议论文集》，2003年，第185-194页。；J.Rintanen，规划与感知形式的表达等效，载《第十三届自动规划与调度国际会议论文集》，2003年，第185-194页。
[43] J.Rintanen，《离散信念空间中的条件规划》，载《第十九届国际人工智能联合会议论文集》，2005年，第1260-1265页。；J.Rintanen，离散信念空间中的条件规划，载于《第十九届国际人工智能联合会议论文集》，2005年，第1260-1265页。
[44] M.Schoppers，《不可预测环境中反应机器人的通用计划》，载《第十届国际人工智能联合会议论文集》，1987年，第1039-1046页。；M.Schoppers，《不可预测环境中反应机器人的通用计划》，载于《第十届国际人工智能联合会议论文集》，1987年，第1039-1046页。
[45] D.Smith，D.Weld，一致性图表计划，摘自：《第十五届全国人工智能会议论文集》，1998年，第889-896页。；D.Smith，D.Weld，一致性图表计划，摘自：《第十五届全国人工智能会议论文集》，1998年，第889-896页。
[46] Somenzi，F.，CUDD:CU决策图包2.3.0版（1998年），科罗拉多大学博尔德分校
[47] F.Teichteil-Konigsbuch，U.Kuter，G.Infantes，《执行软件MDP规划：生成低执行失败概率的策略》，马里兰州大学计算机科学系技术代表，CS-TR-49422009年。；F.Teichteil-Konigsbuch，U.Kuter，G.Infantes，《执行软件MDP规划：生成低执行失败概率的策略》，马里兰州大学计算机科学系技术代表，CS-TR-49422009年。
[48] D.-V.Tran，H.-K.Nguyen，E.Pontelli，T.C.Son，《提高一致规划师的绩效：声明性规划领域规范的静态分析》，载于：《第十一届声明性语言实践方面国际研讨会论文集》，2009年，第239-253页。；D.-V.Tran，H.-K.Nguyen，E.Pontelli，T.C.Son，《提高一致规划师的绩效：声明性规划领域规范的静态分析》，载于：《第十一届声明性语言实践方面国际研讨会论文集》，2009年，第239-253页。
[49] D.Weld，C.Anderson，D.Smith，《扩展图形计划以处理不确定性和传感行为》，载于《第十五届全国人工智能会议论文集》，1998年，第897-904页。；D.Weld，C.Anderson，D.Smith，《扩展图形计划以处理不确定性和传感动作》，载于《第十五届全国人工智能会议论文集》，1998年，第897-904页。
[50] S.Yoon，A.Fern，R.Givan，S.Kambhampati，《通过事后决定进行概率规划》，载于《第二十三届全国人工智能会议论文集》，2008年，第1010-1016页。；S.Yoon，A.Fern，R.Givan，S.Kambhampati，《通过事后决定进行概率规划》，载于《第二十届全国人工智能会议论文集》，2008年，第1010-1016页。
[51] Younes，H。；Simmons，R.，VHPOP:多功能启发式偏序规划器，《人工智能研究杂志》，20，405-430（2003）·Zbl 1036.68107号
[52] Zimmerman，T。；Kambhampati，S.，《使用记忆转换规划图上的搜索》，《人工智能研究杂志》，23，533-585（2005）·Zbl 1080.68678号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。