Planning with Problems Requiring Temporal Coordination
Planning with Problems Requiring Temporal Coordination
复制标题
DOI：
--
复制
发表时间：
2008-07
期刊：
影响因子：
--
通讯作者：
A. Coles;M. Fox;D. Long;A. Coles
中科院分区：
文献类型：
--
作者：
A. Coles;M. Fox;D. Long;A. Coles
我们提出了第一个计划能够推理与完整的语义PDDL2.1（3级）的时间规划和数字资源。我们的计划，CRIKEY3，采用启发式向前搜索，使用PDDL2.1的开始和结束语义来管理时间的行动。规划阶段与调度阶段交错，使用简单的时间网络，以确保满足时间约束。为了指导搜索，我们引入了一个新的时间变量的放松规划图启发式，能够推理与这类域的功能，沿着定时初始文字的PDDL 2.2。CRIKEY3扩展了处理PDDL2.1的全部时间表达能力的最新技术，包括数字时间域。
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heuristic forward search, using the start-and-end semantics of PDDL2.1 to manage temporal actions. The planning phase is interleaved with a scheduling phase, using a Simple Temporal Network, in order to ensure that temporal constraints are met. To guide search, we introduce a new temporal variant of the Relaxed Planning Graph heuristic that is capable of reasoning with the features of this class of domains, along with the Timed Initial Literals of PDDL2.2. CRIKEY3 extends the state-of-the-art in handling the full temporal expressive power of PDDL2.1, including numeric temporal domains.