安德鲁·科尔斯;玛丽亚·福克斯;基思·哈尔西;长，德里克;阿曼达·史密斯 使用计划器-计划器交互管理时间规划中的并发性。 （英语） Zbl 1180.68245号 Artif公司。智力。 173，第1期，1-44页（2009年）. 概要：度量时间规划包括选择和组织行动以满足目标，并为每个行动分配其开始时间和持续时间（如有必要）。行动的开始时间分配是计划的中心问题。在广泛采用的规划领域描述语言标准PDDL2.1中，使用具有持续时间的动作描述度量时间规划问题。已经开发了大量的规划师来处理这种语言，但绝大多数规划师基本上局限于他们能够解决的时间问题。在本文中，我们回顾了这种限制的来源，并提出了一种不受限制的度量时间规划方法。我们的方法将规划和调度算法连接到一个规划器Crikey中，该规划器可以成功地解决各种时间问题。我们展示了如何简化Crikey以解决广泛而有趣的度量时间问题子集，同时与其他无法处理所需并发性的时间规划师保持竞争力。我们提供了比较该规划师Crikey（_{text{SHE}}）、我们的原始版本Crikey和一系列其他现代时间规划师的绩效的经验数据。我们的贡献是描述第一位能够解决需要同时行动的问题的竞争性规划师。 引用于4文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：时间规划;PDDL2.1版;计划和调度 软件：萨帕;液化石油气;VHPOP（VHPOP）;PDDL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Coles}等人，Artif。智力。173，编号1，1-44（2009；Zbl 1180.68245） 全文： 内政部 参考文献： [1] 福克斯，M。；Long，D.，PDDL2.1：PDDL的扩展，用于表示时间规划领域，《人工智能研究杂志》（JAIR），20，61-124（2003）·Zbl 1036.68093号 [2] Gerevini，A。；Serina，I.，《液化石油气：基于规划图局部搜索的规划师》（《第六届人工智能规划与调度国际会议论文集》（AIPS’02）（2002），AAAI出版社：AAAI Press Menlo Park，CA）·Zbl 1058.68103号 [3] Younes，H.L.S。；Simmons，R.G.，VHPOP:多功能启发式偏序规划器，《人工智能研究杂志》（JAIR），20，405-430（2003）·Zbl 1036.68107号 [4] Edelkamp，S.，《模型检验综合规划系统中的驯化数和持续时间》，《人工研究杂志》（JAIR），20，195-238（2003）·Zbl 1036.68092号 [5] 陈，Y。；Wah，B.W。；Hsu，C.，在sgplan中使用子目标划分和分解的时间规划，人工智能研究杂志（JAIR），26，323-369（2006）·兹比尔1182.68229 [6] D.Long，M.Fox，《在时间规划中利用图形计划框架》，载于：《第十三届国际自动规划与调度会议（ICAPS）论文集》，2003年，第52-61页；D.Long，M.Fox，《在时间规划中利用图形计划框架》，载于：《第十三届国际自动规划与调度会议（ICAPS）论文集》，2003年，第52-61页 [7] A.Garrido，M.Fox，D.Long，《管理PDDL2.1第3级持续行动的时间规划系统》，载于：《第20届英国规划与调度特别利益小组会议记录》（PlanSIG），2001年，第127-138页；A.Garrido，M.Fox，D.Long，《管理PDDL2.1第3级持续行动的时间规划系统》，载于《第20届英国规划与调度特别利益小组会议记录》（PlanSIG），2001年，第127-138页 [8] M.B.Do，S.Kambhampati，《Sapa：一个与域相关的启发式度量时间规划师》，载于《第六届欧洲规划会议论文集》，2001年，第82-91页；M.B.Do，S.Kambhampati，《Sapa：一个与域相关的启发式度量时间规划师》，载于《第六届欧洲规划会议论文集》，2001年，第82-91页 [9] P.Haslum，H.Geffner，《带时间和资源的启发式规划》，载于《第六届欧洲规划会议论文集》，2001年，第121-132页；P.Haslum，H.Geffner，《带时间和资源的启发式规划》，载于《第六届欧洲规划会议论文集》，2001年，第121-132页 [10] 加拉布，M。；Laruelle，H.，时间规划师IxTeT的代表与控制，（《第二届人工智能规划系统国际会议论文集》（AIPS-94）（1994），AAAI出版社：AAAI Press Menlo Park，CA），61-67 [11] 巴克斯，F。；Kabanza，F.，《使用时序逻辑表示规划的搜索控制知识》，人工智能，116，1-2，123-191（2000）·Zbl 0939.68827号 [12] P.Doherty，J.Kvarnstrom，TALplanner:基于时间逻辑的前向链接规划器的实证研究，见《第六届时间表征与推理国际研讨会论文集》，佛罗里达州奥兰多（TIME'99），1999年；P.Doherty，J.Kvarnstrom，TALplanner:基于时间逻辑的前向链接规划器的实证研究，摘自：《第六届时间表征与推理国际研讨会论文集》，佛罗里达州奥兰多（TIME'99），1999年·Zbl 1002.68158号 [13] D.Smith，D.S.Weld，《具有互斥推理的时间规划》，载于《第十六届国际人工智能联合会议（IJCAI）会议记录》，1999年，第326-337页；D.Smith，D.S.Weld，《带互斥推理的时间规划》，载于《第16届国际人工智能联合会议（IJCAI）会议记录》，1999年，第326-337页 [14] J.Penberthy，D.Weld，《持续变化的时间规划》，载《第十二届全国人工智能会议论文集》，1994年；J.Penberthy，D.Weld，《持续变化的时间规划》，载《第十二届全国人工智能会议论文集》，1994年 [15] K.Halsey，D.Long，M.Fox，CRIKEY-一位着眼于日程安排与计划整合的规划师，载于：第十三届国际自动计划与调度会议（ICAPS'03）日程安排与规划整合研讨会论文集，2004年，第46-52页；K.Halsey，D.Long，M.Fox，CRIKEY-一位着眼于日程安排与计划整合的规划师，载于：第十三届国际自动计划与调度会议（ICAPS'03）日程安排与规划整合研讨会论文集，2004年，第46-52页 [16] W.Cushing，S.Kambhampati，Mausam，D.Weld，时间规划什么时候才是真正的时间规划？摘自：《国际人工智能联合会议（IJCAI）会议记录》，2007年，第1852-1859页；W.Cushing，S.Kambhampati，Mausam，D.Weld，时间规划什么时候才是真正的时间规划？摘自：《国际人工智能联合会议（IJCAI）会议记录》，2007年，第1852-1859页 [17] 史密斯，D。；Frank，J。；Jónsson，A.，《弥合计划与进度之间的差距》，《知识工程评论》，第15期，第61-94页（2000年） [18] P.Laborie，M.Ghallab，IxTeT：计划生成和调度的集成方法，载于：INRIA/IEEE新兴技术和工厂自动化研讨会论文集，1995年，第485-495页；P.Laborie，M.Ghallab，IxTeT：计划生成和调度的综合方法，摘自：INRIA/IEEE新兴技术和工厂自动化研讨会论文集，1995年，第485-495页 [19] M.Boddy，A.Cesta，S.Smith（编辑），《计划与进度整合研讨会论文集》（WIPIS），2004年；M.Boddy，A.Cesta，S.Smith（编辑），《计划与进度整合研讨会论文集》（WIPIS），2004年 [20] Edelkamp，S。；Helmert，M.，《关于MIPS的实施》，（AIPS-2000决策理论规划研讨会（2000），AAAI-Press），18-25 [21] Allen，J.F.，《保持对时间间隔的了解》，《ACM通讯》，832-843（1983）·Zbl 0519.68079号 [22] M.Fox，D.Long，K.Halsey，《PDDL2.1表达能力的调查》，载《第16届欧洲人工智能会议论文集》，2004年；M.Fox，D.Long，K.Halsey，《PDDL2.1表达能力的调查》，载于《第16届欧洲人工智能会议论文集》，2004年 [23] 霍夫曼，J。；Nebel，B.，《FF计划系统：通过启发式搜索快速生成计划》，《人工智能研究杂志》（JAIR），第14期，第253-302页（2001年）·兹比尔0970.68044 [24] Veloso，M.M。；佩雷斯，文学硕士。；Carbonell，J.G.，《并行资源分配的非线性规划》，（DARPA规划、调度和控制创新方法研讨会论文集（1990），Morgan Kaufmann:Morgan Koufmann San Diego，CA），207-212 [25] R.Dechter，I.Meiri，J.Pearl，《时间约束网络》，摘自：《知识表示与推理原理学报》，1989年，第83-93页；R.Dechter，I.Meiri，J.Pearl，《时间约束网络》，摘自：《知识表示与推理原理学报》，1989年，第83-93页·Zbl 0709.68101号 [26] P.Laborie，D.Godard，《自适应大邻域搜索：单mde调度问题的应用》，载《MISTA-07会议录》，2007年；P.Laborie，D.Godard，《自适应大邻域搜索：应用于单mde调度问题》，收录于：MISTA-07会议记录，2007年 [27] Laborie，P.，《人工智能规划和调度中传播资源约束的算法：现有方法和新结果》，人工智能，143，2，151-188（2003）·Zbl 1079.68622号 [28] J.Hoffmann，《将FF扩展到数值状态变量》，载于《第十五届欧洲人工智能会议论文集》，2002年，第571-575页；J.Hoffmann，将FF扩展到数值状态变量，载于：《第15届欧洲人工智能会议论文集》，2002年，第571-575页 [29] 霍夫曼，J。；Edelkamp，S.，《IPC-4的确定性部分：概述》，《人工智能研究杂志》（JAIR），24519-579（2005）·Zbl 1080.68669号 [30] S.Cresswell，A.Coddington，《带时间文本和截止日期的规划》，J.Porteous（Ed.），《英国规划与调度特别兴趣小组第22次研讨会论文集》，斯特拉斯克莱德大学，2003年，第22-35页，ISSN 1368-5708；S.Cresswell，A.Coddington，《带时间文本和截止日期的规划》，J.Porteous（Ed.），英国规划与调度特别兴趣小组第22次研讨会论文集，斯特拉斯克莱德大学，2003年，第22-35页，ISSN 1368-5708 [31] T.Vidal，M.Ghallab，《规划中基于约束的时间管理：IxTeT方法》，摘自：Proc。1996年第12届欧洲人工智能会议；T.Vidal，M.Ghallab，《规划中基于约束的时间管理：IxTeT方法》，摘自：Proc。1996年第12届欧洲人工智能会议 [32] A.Tate，《生成项目网络》，载于：IJCAI-77会议录，1977年；A.Tate，《生成项目网络》，载于：IJCAI-77会议录，1977年 [33] 德拉布尔，B。；Tate，A.，《使用乐观和悲观的资源配置文件为基于活动的计划器中的搜索提供信息》，（第二届人工智能规划系统会议（AIPS）（1994年），AAAI出版社） [34] A.Tate，《I-N-OVA计划约束模型》，载《第三届人工智能规划系统国际会议论文集》，1996年，第221-228页；A.Tate，《I-N-OVA计划约束模型》，载《第三届人工智能规划系统国际会议论文集》，1996年，第221-228页 [35] Muscettola，N.，HSTS:集成规划和调度，（Zweben，M.；Fox，M.，《智能调度》（1994），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），169-212 [36] M.Ai-Change、J.Bresina、L.Charest、J.Hsu、A.Jónsson、R.Kanefsy、P.Maldegue、P.Morris、K.Rajan、J.Yglesias、MAPGEN:火星探测车任务的混合主动活动规划，收录于：演示系统轨道会议录，ICAPS'03年；M.Ai Change，J.Bresina，L.Charest，J.Hsu，A.Jónsson，R.Kanefsy，P.Maldegue，P.Morris，K.Rajan，J.Yglesias，MAPGEN：火星探测车任务的混合主动活动规划，载于：演示系统轨道论文集，ICAPS'032003 [37] G.Rabideau，R.Knight，S.Chien，A.Fukunaga，A.Govindjee，ASPEN系统中航天器操作的迭代修复规划，收录于：空间人工智能机器人与自动化国际研讨会（ISAIRAS），1999年；G.Rabideau，R.Knight，S.Chien，A.Fukunaga，A.Govindjee，ASPEN系统中航天器操作的迭代修复规划，收录于：国际空间人工智能机器人与自动化研讨会（ISAIRAS），1999年 [38] Vere，S.，《及时规划：活动和目标的窗口和持续时间》，IEEE Trans。关于模式分析和MI，5246-267（1983） [39] M.Fox，D.Long，《第三届国际规划竞赛：时间和度量规划》，载于《第六届人工智能规划与调度国际会议论文集》，2002年，第115-117页；M.Fox，D.Long，《第三届国际规划竞赛：时间和度量规划》，载于《第六届人工智能规划与调度国际会议论文集》，2002年，第115-117页 [40] J.Rintanen，并发时间规划的复杂性，摘自：第17届国际自动规划与调度会议（ICAPS），2007年，第280-287页；J.Rintanen，并发时间规划的复杂性，摘自：第17届国际自动规划与调度会议（ICAPS），2007年，第280-287页 [41] M.Fox，D.Long，《关于时间规划中并发性和复杂性的说明》，载于《第26届英国规划与调度特别兴趣小组会议录》（PlanSIG），2007年；M.Fox，D.Long，关于时间规划中的并发性和复杂性的注释，载于：第26届英国规划和调度特别兴趣小组会议记录（PlanSIG），2007 [42] A.I.Coles，M.Fox，D.Long，A.J.Smith，《关于现有活动时间表的规划》，载于《第17届国际自动规划与调度会议（ICAPS）会议记录》，2007年，第81-88页；A.I.Coles，M.Fox，D.Long，A.J.Smith，《关于现有活动时间表的规划》，载于《第17届国际自动规划与调度会议（ICAPS）会议记录》，2007年，第81-88页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。