×
乌古尔·库特；瑙，达纳；马可·皮斯托雷；保罗·特拉弗索

抽象状态下的任务分解，用于非确定性规划。 （英语） Zbl 1191.68636号

Artif公司。智力。 173，编号5-6，669-695（2009）.
摘要：尽管已经开发了几种用于非确定性领域规划的方法，但解决大型规划问题仍然相当困难。在这项工作中，我们提出了一种新的规划算法，称为Yoyo，用于解决完全可观测的非确定性域中的规划问题。Yoyo结合了基于HTN的机制来约束其搜索，并结合了二进制决策图（BDD）表示来推理状态集和状态转换。
我们提供了Yoyo的正确性定理，并将其与MBP和ND-SHOP2这两种用于非确定域规划的前两种算法进行了实验比较。在我们的实验中，Yoyo可以轻松处理MBP和ND-SHOP2都无法扩展到的问题大小，并且解决问题的速度大约是MBP和NE-SHOP2100到1000倍。

引用于5文件

MSC公司：

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

关键词：

非确定性领域中的规划；分层任务网络规划；二元决策图

软件：

图规划；商店2；UCPOP公司
PDF格式BibTeX公司 XML格式引用
\textit{U.Kuter}等人，Artif。智力。173，编号5--6669-695（2009年；兹bl 1191.68636）
全文： 内政部

参考文献：

[1] P.Bertoli，A.Cimatti，M.Pistore，M.Roveri，P.Traverso，MBP：基于模型的规划师，摘自：IJCAI-2001《不确定性和不完全信息下的规划研讨会》，美国西雅图，2001年；P.Bertoli，A.Cimatti，M.Pistore，M.Roveri，P.Traverso，MBP：基于模型的规划师，收录于：IJCAI-2001不确定性和不完全信息下的规划研讨会，美国西雅图，2001年
[2] Cimatti，A。；皮斯托尔，M。；Roveri，M。；Traverso，P.，《通过符号模型检查进行弱、强和强循环规划》，《人工智能》，147，1-2，35-84（2003）·Zbl 1082.68800号
[3] U.Kuter，D.Nau，《非确定性领域的前向训练规划》，载于：AAAI-20042004年；U.Kuter，D.Nau，《不确定性领域的前向链规划》，载于：AAAI-20042004
[4] Bryant，R.E.，有序二元决策图的符号布尔运算，ACM计算调查，24，3，293-318（1992）
[5] Nau，D。；金，T.-C。；O.伊尔加米。；库特，美国。；默多克，W。；Wu，D。；Yaman，F.，SHOP2:HTN规划系统，JAIR，20379-404（2003）·Zbl 1058.68106号
[6] S.Koenig，R.G.Simmons，非确定性领域的实时搜索，收录于：IJCAI-1995，1995；S.Koenig，R.G.Simmons，非确定性领域中的实时搜索，收录于：IJCAI-1995，1995
[7] A.Cimatti，M.Roveri，P.Traverso，非确定性领域中基于OBDD的通用计划自动生成，载于：AAAI/IAAI Proceedings，1998，第875-881页；A.Cimatti，M.Roveri，P.Traverso，《基于OBDD的非确定性领域通用计划自动生成》，载于：AAAI/IAAI Proceedings，1998年，第875-881页
[8] Cimatti，A。；Roveri，M。；Traverso，P.，《通过模型检查在非确定性领域进行强规划》，（《人工智能规划系统国际会议论文集》（1998），AAAI出版社），36-43
[9] M.Daniele，P.Traverso，M.Vardi，《重新审视强循环规划》，载于：《欧洲规划会议（ECP）会议记录》，1999年，第35-48页；M.Daniele、P.Traverso和M.Vardi，《重新审视强循环规划》，载于：《欧洲规划会议（ECP）会议记录》，1999年，第35-48页
[10] 加拉布，M。；Nau，D。；Traverso，P.，《自动化规划：理论与实践》（2004），Morgan Kaufmann·兹比尔1074.68613
[11] 尼尔森，N.，《人工智能原理》（1980），摩根·考夫曼·兹比尔0422.68039
[12] 皮斯托尔，M。；Traverso，P.，《规划作为非确定性领域扩展目标的模型检查》，（国际人工智能联合会议（IJCAI）论文集）。国际人工智能联合会议（IJCAI）会议记录，美国西雅图（2001），Morgan Kaufmann，479-484
[13] M.Pistore，R.Bettin，P.Traverso，《非确定性领域中具有扩展目标的规划符号技术》，载于《欧洲规划会议记录》（ECP），2001年；M.Pistore，R.Bettin，P.Traverso，《非确定性领域中具有扩展目标的规划符号技术》，载于《欧洲规划会议论文集》，2001年
[14] 卡班扎，F。；巴博，M。；St-Denis，R.，反应剂的规划控制规则，人工智能，95，1，67-113（1997）·Zbl 0894.68138号
[15] M.Genesereth，I.Nourbakhsh，《利用不完全信息解决问题的省时技巧》，收录于：《全国人工智能会议论文集》，1993年；M.Genesereth，I.Nourbakhsh，《利用不完全信息解决问题的省时技巧》，收录于：《全国人工智能会议论文集》，1993年
[16] 普赖尔，L。；Collins，G.，《应急计划：基于决策的方法》，《人工智能研究杂志》，481-120（1996）
[17] M.Peot，D.Smith，条件非线性规划，收录于：《人工智能规划系统国际会议论文集》，1992年，第189-197页；M.Peot，D.Smith，条件非线性规划，载于：《人工智能规划系统国际会议论文集》，1992年，第189-197页
[18] R.P.Goldman，M.S.Boddy，条件线性规划，摘自：《人工智能规划系统国际会议论文集》，1994年；R.P.Goldman，M.S.Boddy，条件线性规划，摘自：《人工智能规划系统国际会议论文集》，1994年
[19] J.S.Penberthy，D.Weld，UCPOP：一个健全、完整、部分订单的adl规划师，载于《知识表示与推理国际会议论文集》（KR），1992年；J.S.Penberthy，D.Weld，UCPOP:一个健全、完整、部分订单的adl规划师，载于：《知识表示与推理国际会议论文集》，1992年
[20] N.Onder，M.E.Pollack，《条件概率规划：统一算法和有效搜索控制机制》，载于：《国家人工智能会议论文集》，1999年，第577-584页；N.Onder，M.E.Pollack，《条件概率规划：统一算法和有效搜索控制机制》，摘自：《国家人工智能会议论文集》，1999年，第577-584页
[21] H.Kautz，B.Selman，《作为可满足性的规划》，载于《欧洲人工智能会议论文集》，1992年，第359-363页；H.Kautz，B.Selman，《作为可满足性的规划》，载于《欧洲人工智能会议论文集》，1992年，第359-363页
[22] Rintanen，J.，通过定理证明者构建条件计划，人工智能研究杂志，10323-352（1999）·Zbl 0916.68139号
[23] Rintanen，J.，《改进量化布尔公式的评估》，（国际人工智能联合会议（IJCAI）论文集）。国际人工智能联合会议（IJCAI）会议记录，瑞典斯德哥尔摩（1999），Morgan Kaufmann，1192-1197
[24] 巴克斯，F。；Kabanza，F.，《使用时序逻辑表示规划的搜索控制知识》，人工智能，116，1-2，123-191（2000）·Zbl 0939.68827号
[25] Cimatti，A。；Giunchiglia，E。；Giunchiglia，F。；Traverso，P.，《通过模型检查进行规划：AR的决策程序》，（欧洲规划会议（ECP）论文集）。欧洲规划会议记录，法国图卢兹。欧洲规划会议记录。《欧洲规划会议论文集》，法国图卢兹，人工智能（LNAI）讲稿，第1348卷（1997），斯普林格·弗拉格），130-142
[26] F.Giunchiglia，P.Traverso，《作为模型检查的规划》，载：《欧洲规划会议记录》，1999年，第1-20页；F.Giunchiglia，P.Traverso，《作为模型检验的规划》，摘自：《欧洲规划会议（ECP）会议记录》，1999年，第1-20页
[27] Bertoli，P。；Cimatti，A。；Roveri，M。；Traverso，P.，《通过符号模型检查在部分可观测性下的非确定性领域中的规划》，（国际人工智能联合会议（IJCAI）论文集）。国际人工智能联合会议（IJCAI）会议记录，美国西雅图（2001），Morgan Kaufmann，473-478
[28] Bertoli，P。；Cimatti，A。；Roveri，M。；Traverso，P.，《部分可观测性下的强规划》，人工智能，170337-384（2006）·Zbl 1131.68095号
[29] B.Bonet，H.Geffner，《GPT：一种具有不确定性和部分信息的规划工具》，载于：《国际人工智能联合会议论文集》，2001年，第82-87页；B.Bonet，H.Geffner，《GPT：一种具有不确定性和部分信息的规划工具》，载于：《国际人工智能联合会议（IJCAI）会议记录》，2001年，第82-87页
[30] J.Rintanen，离散信念空间中的条件规划，载于《国际人工智能联合会议论文集》，2005年；J.Rintanen，离散信念空间中的条件规划，摘自：国际人工智能联合会议（IJCAI）会议记录，2005年
[31] 美国达拉戈。；皮斯托尔，M。；Traverso，P.，《用语言实现扩展目标的规划》，（AAAI/IAAI会议录，AAAI/IAI会议录，加拿大埃德蒙顿（2002），AAAI出版社/麻省理工学院出版社），447-454
[32] Jensen，R。；Veloso，M.M.，基于OBDD的非确定性域同步代理通用规划，JAIR，13，189-226（2000）·Zbl 0963.68196号
[33] R.Jensen、M.M.Veloso和M.H.Bowling，基于OBDD的乐观和强循环对抗性规划，载于《欧洲规划会议论文集》，2001年；R.Jensen、M.M.Veloso和M.H.Bowling，基于OBDD的乐观和强循环对抗性规划，收录于《欧洲规划会议论文集》，2001年
[34] Jensen，R。；Veloso，M.M。；Bryant，R.，《指导性符号通用规划》，（自动化规划与调度国际会议论文集）。《自动规划和调度国际会议论文集》，特伦托（2003），AAAI出版社）
[35] Boutiler，C。；迪安·T·L。；Hanks，S.，《决策理论规划：结构假设和计算杠杆》，JAIR，11，1-94（1999）·兹伯利0918.68110
[36] Blum，A.L。；Furst，M.L.，通过规划图分析快速规划，人工智能，90，1-2，281-300（1997）·Zbl 1017.68533号
[37] Castellini，C。；Giunchiglia，E。；Taccella，A.，《复杂领域的基于卫星的规划：并发性、约束和不确定性》，人工智能，147，1-2，85-117（2003）·Zbl 1082.68799号
[38] 费拉里斯，P。；Giunchiglia，E.，《规划在非确定性领域中的可满足性》（AAAI/IAAI Proceedings（2000），AAAI Press），748-753
[39] E.Giunchiglia，《作为表达性动作语言的可满足性的规划：并发性、约束性和不确定性》，载于：《知识表示和推理国际会议论文集》，2000年；E.Giunchiglia，《作为表达性动作语言的可满足性的规划：并发性、约束性和不确定性》，载于：《知识表示与推理国际会议论文集》，2000年
[40] D.E.Smith，D.S.Weld，《一致性图形平面图》，载于：AAAI/IAAI会议记录，1998年，第889-896页；D.E.Smith，D.S.Weld，《一致性图形平面图》，载于：AAAI/IAAI会议记录，1998年，第889-896页
[41] 焊接，D.S。；安德森，C.R。；Smith，D.E.，《扩展图形计划以处理不确定性和传感行为》，（AAAI/IAAI会议录。AAAI/IAI会议录，Menlo Park（1998），AAAI出版社），897-904
[42] D.Bryce，S.Kambhampati，一致性规划的启发式指导措施，摘自：自动规划和调度国际会议（ICAPS）会议记录，2004年；D.Bryce，S.Kambhampati，一致性规划的启发式指导措施，摘自：自动规划和调度国际会议（ICAPS）会议记录，2004年
[43] 布拉夫曼，R。；Hoffmann，J.，《通过启发式前向搜索实现一致性规划：一种新方法》，（第14届自动规划和调度国际会议论文集（ICAPS-04）。第十四届自动规划和调度国际会议记录（ICAPS-04），加拿大惠斯勒（2004），摩根·考夫曼（Morgan Kaufmann）·兹比尔1131.68525
[44] J.Hoffmann，R.Brafman，《通过启发式前向搜索和隐含信念状态的权变规划》，载于：《国际自动规划与调度会议论文集》，2005年；J.Hoffmann，R.Brafman，通过启发式前向搜索和隐含信念状态的权变规划，收录于：国际自动规划与调度会议（ICAPS）会议记录，2005年
[45] 布莱斯，D。；Kambhampati，S。；Smith，D.E.，《信念空间搜索的规划图启发式》，《人工智能研究杂志》，26，35-99（2006）·Zbl 1182.68225号
[46] Kvarnström，J。；Doherty，P.，TALplanner:基于时间逻辑的前向链接规划器，《数学与人工智能年鉴》，2001年第30期，第119-169页·Zbl 1002.68158号
[47] A.Gerevini、U.Kuter、D.Nau、A.Saetti、N.Waisbrot，结合领域相关规划和HTN规划：二重奏规划师，摘自：《欧洲人工智能会议论文集》，2008年；A.Gerevini、U.Kuter、D.Nau、A.Saetti、N.Waisbrot，结合领域相关规划和HTN规划：二重奏规划师，摘自：《欧洲人工智能会议论文集》，2008年
[48] Gerevini，A。；Saetti，A。；Serina，I.，《通过随机局部搜索和时间动作图进行规划》，《人工智能研究杂志》，20，239-290（2003）·Zbl 1058.68103号
[49] 埃罗尔，K。；亨德勒，J。；Nau，D.S.，分层任务网络规划的复杂性结果，《数学和人工智能年鉴》，18，69-93（1996）·Zbl 0891.68104号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。