PDDL2.1：用于表达时序规划域的 PDDL 扩展
人工智能
2011-06-24 v1
摘要
近年来，规划领域的研究日益转向将规划器应用于涉及时间和多种资源的现实问题。例如，空间研究界对规划的兴趣激发了观测调度、行星巡视器探测和航天器控制等领域的工作。其他涉及时序和资源的领域，包括物流规划、工厂控制和制造业，也促使该领域关注建模和推理问题，这些问题必须得到解决，才能使规划技术满足应用挑战。国际规划竞赛自 1998 年以来一直是推动规划领域进步的重要动力。第三届竞赛（2002 年举行）向规划界提出了处理时间和数值资源的挑战。这需要开发一种能够表达规划域时序和数值特性的建模语言。在本文中，我们描述了竞赛中使用的语言 PDDL2.1。我们描述了该语言的语法、形式语义以及并发计划的验证。我们注意到，PDDL2.1 具有相当强的建模能力——超出了当前规划技术的能力——并向研究界提出了一系列重要挑战。
引用
@article{arxiv.1106.4561,
title = {PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains},
author = {M. Fox and D. Long},
journal= {arXiv preprint arXiv:1106.4561},
year = {2011}
}