Principled Planning with Simultaneous Actions, Metric Time and Continuous Effects

同步行动、公制时间和连续效应的原则性规划

• 批准号: 9303461
• 负责人: Daniel Weld
• 金额: $ 40万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-03-15 至 2000-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9303461&HistoricalAwards=false
• 关键词: Principled; Planning; Simultaneous; Actions; Metric

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.

拟议的工作是开发、实现和评估一种时间规划算法（称为 ZENO），该算法处理具有条件效应和通用量化、真实持续时间、连续变化、协同效应、领域公理和外部事件的动作。 此外，ZENO 还会推理出可能具有协同作用或干扰作用的同时动作。 形式和经验的目标是证明该算法既合理又完整，同时找到足够有效以供实际使用的方法。 为了实现这些目标，UCPOP 规划器中的技术将通过定性物理学、运筹学和约束逻辑编程的思想进行扩展。 特别是，基于增量单纯形算法设想了度量和时间约束满足引擎。