Principled Planning with Simultaneous Actions, Metric Time and Continuous Effects

提出的工作是开发、实现和评估一个时间规划算法(称为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.