Principled Planning with Simultaneous Actions, Metric Time and Continuous Effects

拟议的工作是开发，实施和评估一个时间规划算法（称为ZENO），该算法处理具有条件效应和通用量化，真实的持续时间，连续变化，协同效应，域公理， 外部事件。 此外，ZENO将同时推理 具有潜在协同作用的行动 或者说是一种 形式和经验的目标是证明算法是健全和完整的，但找到方法， 足够实用。 为了实现这些目标， UCPOP计划器中的技术将扩展到以下方面的思想： 定性物理、运筹学和约束逻辑 编程. 特别地，度量和时间约束 满意度引擎是基于增量单纯形算法设想的。

The proposed work is to develop, implement and evaluate a temporal planning algorithm (called ZENO) which handles actions with conditional effects and universal quantification, real duration, continuous change, synergistic effects, domain axioms, and external events. In addition ZENO will reason about simultaneous actions which are potentially synergistic or interferent. The formal and empirical objectives are proving the algorithm is both sound and complete, yet finding methods that are efficient enough for practical use. To achieve these aims the techniques in the UCPOP planner will be extended with ideas from qualitative physics, operations research and constraint logic programming. In particular, a metric and temporal constraint satisfaction engine is envisioned based on the incremental Simplex algorithm.