×
马丁·库珀。;弗雷德里克·马里斯;Régnier，皮埃尔

在需要并发的规划问题中管理时间周期。 （英语） Zbl 1274.68419号

计算。智力。 29，第1期，111-128（2013）.
小结：为了正确地模拟某些实际规划问题，必须考虑时间。这是需要并发执行动作的问题（称为时间表达问题）的情况。本文定义并研究了时间循环问题的概念，即涉及循环相关作用集的问题。我们描述了那些能够表达时间循环问题的时间规划语言。我们还提出了一种多项式时间算法，将时间循环问题转化为等价的非循环问题。应用我们的变换，任何时间规划师都可以在不显式管理周期性的情况下解决时间循环问题。我们首先给出了时间PDDL（规划领域描述语言）2.1的结果，然后将其扩展到允许在任意时间间隔上的条件和在任意时刻的效果的语言。

引用于2文件

MSC公司：

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

关键词：

规划;时间;时间表达问题;时间循环问题

软件：

图规划;PDDL公司
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Cooper}等人，《计算》。智力。29，第1号，111-128（2013；Zbl 1274.68419）
全文： 内政部 链接

参考文献：

[1] 艾伦，《走向行动与时间的一般理论》，《人工智能》23（2）pp 123–（1984）·Zbl 0567.68025号 ·doi:10.1016/0004-3702（84）90008-0
[2] Allen，J.F.J.A.G.M.Koomen 1983年在第八届国际人工智能联合会议论文集741 747中使用时间世界模型进行规划
[3] Blum，A.L.M.L.Furst 1995通过规划粒度分析快速规划第14届国际人工智能联合会议论文集1636 1642·Zbl 1017.68533号
[4] Bylander，命题STRIPS规划的计算复杂性，人工智能69（1-2）第165页–（1994）·Zbl 0821.68065号 ·doi:10.1016/0004-3702（94）90081-7
[5] 科尔斯·A.M.福克斯·D·隆·A·史密斯2008年AAAI 892 897会议记录中需要时间协调的问题规划
[6] Cooper，M.F.Maris P.Régnier 2010将高级时间规划语言编译成PDDL 2.1第22届人工智能工具国际会议论文集2 181 188
[7] Cushing，W.S.Kambhampati Mausam D.S.Weld 2007时间规划什么时候才是真正的时间规划？第20届国际人工智能联合会议记录1852 1859
[8] Dean，涉及截止日期、旅行时间和资源的分层规划，计算智能6（1），第381页–（1988）·doi:10.1111/j.1467-8640.1988.tb00287.x
[9] Fox，PDDL2.1：表达时间规划域的PDDL扩展，《人工智能研究杂志》，20页，第61页–（2003）·Zbl 1036.68093号
[10] Fox，M.D.Long K.Halsey 2004年PDDL2.1表达能力调查，第16届欧洲人工智能会议论文集328 342
[11] Gerevini，A.A.Saetti I.Serina 2010需要通过动作图和本地搜索并发的问题的时间规划在第20届国际自动化规划和调度会议论文集226 229·Zbl 1058.68103号
[12] Ghallab M.A.M.Alaoui 1989年通过索引生成树有效管理时间关系第11届国际人工智能联合会议论文集1297 1303·Zbl 0718.68080号
[13] Halsey，K.D.Long M.Fox 2004 CRIKEY——一位着眼于日程安排与计划整合的规划师，《将日程安排整合到计划中》研讨会论文集，ICAPS’03 46 52
[14] Hu，Y.2007第20届国际人工智能联合会议论文集192 199
[15] Huang，R.Y.Chen W.Zhang 2009最佳时间表达规划师：初始结果及其在P2P网络优化中的应用——摘自A.Geravini A.Howe A.Cesta I.Refanidis AAI出版社编辑的第19届国际自动规划与调度会议论文集
[16] Laborie，P.M.Ghallab 1995第14届国际人工智能联合会议记录中共享资源约束的规划1643 1651
[17] Long，D.M.Fox 2003《在时间规划中利用图形计划框架》，摘自E.Giunchiglia N.Muscettola D.Nau AAAI Press 52 61
[18] Maris，F.P.Régnier 2008a TLP-GP:第15届时间表征与推理国际研讨会论文集中解决时间表达规划问题137 144
[19] Maris，F.P.Régnier 2008b TLP-GP:关于临时性计划基准的新结果，第20届IEEE人工智能工具国际会议论文集1 507 514
[20] Maris，平面化-时间表达，《人工智能评论》24（4）第445页–（2010）·doi:10.3166/ria.24.445-464
[21] Mcdermott，技术报告CVC TR98003/DCS TR1165（1998）
[22] Muscettola，《智能调度》第169页–（1994）
[23] Reichgelt，H.N.Shadbolt 1990《第九届欧洲人工智能会议论文集》中规划系统的规范工具541 546
[24] Rintanen，J.2007第17届国际自动规划与调度会议记录中并发时间规划的复杂性280 287
[25] Rutten，时间规划师=非线性规划师+时间图管理员，人工智能通信6（1），第18页–（1993）
[26] Schwartz，P.M.E.Pollack 2004带分离时间约束的规划在ICAPS’04集成规划与调度研讨会论文集67 74
[27] Shin J.E.Davis 2004第19届全国人工智能会议（AAAI'04）论文集中SAT规划师的连续时间531 536
[28] Smith，《持续行动案例：PDDL2.1评论》，《人工智能研究杂志》20页149–（2003）·Zbl 1036.68102号
[29] Tarjan，Depth-first search and linear graph algorithms，SIAM Journal on Computing 1（2），第146页–（1972）·Zbl 0251.05107号 ·数字对象标识代码：10.1137/0201010
[30] Tsang，TLP-时间规划师，《人工智能进展》第63页–（1987）
[31] Wolfman，S.D.Weld 1999 LPSAT引擎及其在资源规划中的应用第16届国际人工智能联合会议论文集310 317
[32] Younes，VHPOP:多功能启发式部分顺序规划器，《人工智能研究杂志》20页405–（2003）·Zbl 1036.68107号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。