文章

规划中的有序地标

作者:

约格霍夫曼,

朱莉多孔的、和

劳拉塞巴斯蒂安作者信息和声明

人工智能研究杂志,音量22,问题1

页215-278

出版:2004年11月1日出版历史

摘要

许多已知的规划任务在实现目标的最佳顺序方面存在固有的限制。为了检测这些约束并将其用于指导搜索，已经进行了许多研究工作，以期加快规划过程。

我们超越了前面的方法，不仅考虑了（顶层）目标的排序约束，还考虑了规划过程中必然出现的子目标的排序限制。里程碑是在每个有效的解决方案计划中的某一点必须是真实的事实。我们将Koehler和Hoffmann对顶级目标之间合理顺序的定义扩展到更一般的里程碑情况。我们展示了如何找到地标，如何近似它们的合理顺序，以及如何使用这些信息将给定的规划任务分解为几个较小的子任务。我们的方法完全依赖于领域和计划。该实现表明，当用作围绕最先进的次优规划系统的控制回路时，该方法可以显著提高运行时性能，例如FF和LPG。

工具书类

[1]

Blum，A.L.和Furst，M.L.（1997）。通过规划图分析快速规划。人工智能，90(1-2), 279-298.

数字图书馆

[2]

Bonet，B.和Gefiner，H.（2001）。规划是启发式搜索。人工智能，129(1- 2), 5-33.

数字图书馆

[3]

Bylander，T.（1994）。命题STRIPS规划的计算复杂性。人工智能，69(1-2), 165-204.

数字图书馆

[4]

Cheng，J.和Irani，K.B.（1989年）。排序问题子目标。在Sridharan，N.S.（编辑），第十一届国际人工智能联合会议记录（IJCAI-89）第931-936页，密歇根州底特律，摩根考夫曼。

[5]

Fikes，R.E.和Nilsson，N.（1971）。STRIPS：一种将定理证明应用于问题解决的新方法。人工智能，2, 189-208.

[6]

Fink，E.和Veloso，M.（1994年）。Prodigy规划算法。卡内基梅隆大学CMU-94-123技术报告。

[7]

Fox，M.和Long，D.（1998年）。TIM中状态不变量的自动推断。人工智能研究杂志，9, 367-421.

[8]

Garey，M.R.和Johnson，D.S.（1979年）。计算机与不可修复性——NP-完备性理论指南弗里曼，加利福尼亚州旧金山。

[9]

Gazen，B.C.和Knoblock，C.（1997年）。将UCPOP的表达能力与Graphplan的效率相结合。《钢铁与阿拉米》（Steel&Alami，1997），第221-233页。

数字图书馆

[10]

Gerevini，A.和Schubert，L.（2000年）。在DISCOPLAN中推断状态约束：一些新结果。在美国人工智能协会第17届全国会议记录（AAAI-00）第761-767页，德克萨斯州奥斯汀，麻省理工学院出版社。

[11]

Gerevini，A.、Saetti，A.和Serina，I.（2003年）。通过随机局部搜索和时间动作图进行规划。人工智能研究杂志，20, 239-290.

数字图书馆

[12]

Haslum，P.和Gefiner，H.（2000）。最佳规划的可接受启发式。在Chien，S.、Kambhampati，R.和Knoblock，C.（编辑）中，第五届国际人工智能规划系统会议记录（AIPS-00）第140-149页。AAAI出版社，门洛帕克。

[13]

霍夫曼（2000）。一种用于领域无关规划的启发式算法及其在强制爬山算法中的使用。在第十二届智能系统方法学国际研讨会（ISMIS-00）会议记录第216-227页。斯普林格·弗拉格。

[14]

霍夫曼，J.（2002）。规划基准中的局部搜索拓扑：理论分析。在Ghallab，M.、Hertzberg，J.和Traverso，P.（编辑）中，第六届国际人工智能规划与调度会议记录（AIPS-02）第92-100页，法国图卢兹。摩根·考夫曼。

[15]

霍夫曼，J.（2003）。Metric-FF规划系统：将“忽略删除列表”转换为数值状态变量。人工智能研究杂志，20, 291-341.

数字图书馆

[16]

Hoffmann，J.和Nebel，B.（2001年）。FF计划系统：通过启发式搜索快速生成计划。人工智能研究杂志，14, 253-302.

数字图书馆

[17]

Hüllen，J.、Muñoz-Avila，H.和Weberskirch，F.（1999）。提取目标顺序以改进部分顺序和基于图平面的规划。凯泽斯劳滕大学技术报告。

[18]

Irani，K.B.和Cheng，J.（1987年）。启发式问题求解的子目标排序和目标增强。在McDermott，J.（编辑）中，第十届国际人工智能联合会议论文集（IJCAI-87）第1018-1024页，意大利米兰。摩根·考夫曼。

[19]

Knoblock，C.（1994）。自动生成规划抽象。人工智能，68(2), 243-302.

数字图书馆

[20]

Koehler，J.（1998）。通过提取子问题解决复杂的规划任务。在Simmons，R.、Veloso，M.和Smith，S.（编辑）中，第四届人工智能规划系统国际会议记录（AIPS-98）第62-69页。AAAI出版社，门洛帕克。

[21]

Koehler，J.和Hoffmann，J.（2000）。关于合理和强制目标排序及其在代理驱动规划算法中的应用。人工智能研究杂志，12, 338-386.

数字图书馆

[22]

Koehler，J.、Nebel，B.、Hoffmann，J.和Dimopoulos，Y.（1997）。将计划图扩展到ADL子集。《钢铁与阿拉米》（Steel&Alami，1997），第273-285页。

数字图书馆

[23]

Long，D.和Fox，M.（2003年）。第三届国际规划竞赛：结果与分析。人工智能研究杂志，20, 1-59.

数字图书馆

[24]

McCluskey，T.L.和Porteous，J.M.（1997）。设计和编译规划领域模型，以提高有效性和效率。人工智能，95(1), 1-65.

数字图书馆

[25]

McDermott，D.等人（1998年）。PDDL规划领域定义语言AIPS-98规划竞赛委员会。

[26]

McDermott，D.V.（1999）。使用回归匹配图控制规划中的搜索。人工智能，109(1-2), 111-159.

数字图书馆

[27]

Porteous，J.和Sebastia，L.（2000年）。提取和排序用于规划的地标。在英国规划和安排SIG研讨会会议记录.

[28]

Porteous，J.、Sebastia，L.和Hoffmann，J.（2001）。关于规划中地标的提取、排序和使用。在Cesta，A.和Borrajo，D.（编辑）中，人工智能规划的最新进展。第六届欧洲规划会议（ECP’01）第37-48页，托莱多，西班牙。斯普林格·弗拉格。

[29]

Russell，S.和Norvig，P.（1995年）。人工智能：一种现代方法新泽西州恩格尔伍德克利维斯市普伦蒂斯·霍尔。

[30]

Slaney，J.和Thiebaux，S.（2001年）。重温街区世界。人工智能，125, 119- 153.

数字图书馆

[31]

Smith，D.和Peot，M.（1993）。推迟部分订单计划中的威胁。在美国人工智能协会第十一届全国会议记录（AAAI-93）第500-506页，华盛顿特区。麻省理工学院出版社。

[32]

Steel，S.和Alami，R.（编辑）。(1997).人工智能规划的最新进展。第四届欧洲规划会议（ECP’97），第1348卷，共页人工智能课堂讲稿法国图卢兹。斯普林格·弗拉格。

引用人

努涅兹·莫利纳C梅塞霍P费尔南德斯·奥利瓦雷斯J(2024)序列决策的符号、次符号和混合方法综述倒排索引综述10.1145/366336656:11(1-36)在线发布日期：2024年5月11日
https://dl.acm.org/doi/10.1145/3663366
巴拉C马Z于Y沙阿·J柴JElkind E公司(2023)通过情境对话中的思维建模理论实现协同计划获取第三十二届国际人工智能联合会议记录10.24963年3月23日至2030年3月30日(2958-2966)在线发布日期：2023年8月19日
https://dl.acm.org/doi/10.24963/ijcai.2023/330
比什内尔C凯勒T埃里克森S赫尔默特·M柯尼格S船尾R瓦拉提M(2023)启发式搜索中的Landmark级数第三十三届国际自动规划和调度会议记录10.1609/icaps.v33i1.27180(70-79)在线发布日期：2023年7月8日
https://dl.acm.org/doi/10.1609/icaps.v33i1.27180
显示更多引用者

建议

具有部分排序子任务的总排序规划
IJCAI'01：第17届国际人工智能联合会议记录-第1卷

最近比较有争议的规划算法之一是SHOP算法，这是一种HTN规划算法，它按照任务的执行顺序规划任务。SHOP可以使用领域相关知识快速生成计划，但它。。。
阅读更多信息
超额认购计划的里程碑
ECAI'14：第二十届欧洲人工智能会议记录

在超额认购计划（OSP）的基本设置中，目标是在总行动成本的固定限额内实现尽可能有价值的目标子集[32]。从最近在利用逻辑目标方面取得的成功继续。。。
阅读更多信息
具有部分时序计划的多智能体规划
IJCAI'03：第18届国际人工智能联合会议记录

本文讨论了多智能体环境中规划的细节。它提出了描述多智能体规划领域的形式化框架MAPL（“maple”）。MAPL允许描述…之间的定性和定量时间关系。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

人工智能研究杂志封面图片

人工智能研究杂志第22卷第1期

2004年7月

528页

国际标准编号：1076-9757

出版商

AI Access基金会

加利福尼亚州埃尔塞贡多，美国

出版历史

出版：2004年11月1日

收到：2004年5月1日

在JAIR中发布音量22,问题1

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

91
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

努涅兹·莫利纳CMesejo P公司费尔南德斯·奥利瓦雷斯J(2024)序列决策的符号、次符号和混合方法综述倒排索引综述10.1145/366336656:11(1-36)在线发布日期：2024年5月11日
https://dl.acm.org/doi/10.1145/3663366
巴拉C马Z于Y沙阿·J柴JElkind E公司(2023)通过情境对话中的思维建模理论实现协同计划获取第三十二届国际人工智能联合会议记录10.24963/ijcai.2023/330(2958-2966)在线发布日期：2023年8月19日
https://dl.acm.org/doi/10.24963/ijcai.2023/330
比什内尔C凯勒T埃里克森S赫尔默特·M柯尼格S船尾R瓦拉蒂M(2023)启发式搜索中的Landmark级数第三十三届国际自动规划和调度会议记录10.1609/icaps.v33i1.27180(70-79)在线发布日期：2023年7月8日
https://dl.acm.org/doi/10.1609/icaps.v33i1.27180
费希尔MWare S公司Eger M公司(2022)通过状态抽象和选项发现实现大领域的叙事规划第十八届AAAI人工智能与互动数字娱乐大会论文集10.1609/aiide.v18i1.21979(299-302)在线发布日期：2022年10月24日
https://dl.acm.org/doi/10.1609/aiide.v18i1.21979
罗莎·阿马多L弗拉加·佩雷拉R梅内古齐FDignum F公司洛姆西奥AEndriss U型现在，A(2021)结合LSTM和符号方法进行鲁棒规划识别第20届自治代理和多代理系统国际会议论文集10.5555/3463952.3464184(1634-1636)在线发布日期：2021年5月3日
https://dl.acm.org/doi/10.5555/3463952.3464184
筛子S赫尔默特·M(2021)合并和收缩人工智能研究杂志10.1613/jair.1.1255771(781-883)在线发布日期：2021年9月10日
https://dl.acm.org/doi/10.1613/jair.1.12557
Brandão M品牌运河G克里维奇SMagazzeni D公司(2021)为机器人运动规划提供解释2021年IEEE机器人与自动化国际会议（ICRA）10.1109/ICRA48506.2021.9562003(3927-3933)在线发布日期：2021年5月30日
https://dl.acm.org/doi/10.109/ICRA48506.2021.9562003
拜尔C科宁N芬克贝克BFunke F公司Jantsch S公司西伯J(2021)基于因果关系的游戏解决计算机辅助验证10.1007/978-3-030-81685-8_42(894-917)在线发布日期：2021年7月20日
https://dl.acm.org/doi/10.1007/978-3-030-81685-8_42
佩雷拉·R奥伦N梅内古齐F(2020)利用次最优计划检测识别离散环境中的承诺放弃ACM智能系统与技术汇刊10.1145/337211911:2(1-26)在线发布日期：2020年1月10日
https://dl.acm.org/doi/10.1145/3372119
卓H查YKambhampati S公司田X(2020)基于浅层模型的基础计划发现ACM智能系统与技术汇刊10.1145/336827011:2(1-30)在线发布日期：2020年1月24日
https://dl.acm.org/doi/10.1145/3368270
显示更多引用者

视图选项

查看选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

媒体

数字

其他

桌子

查看问题目录