PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

DMCA

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Maria Fox , Derek Long

Citations:

609 - 41 self

BibTeX

@MISC{Fox03pddl2.1:an,
    author = {Maria Fox and Derek Long},
    title = {PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains },
    year = {2003}
}

OpenURL

Abstract

In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, planetary rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet the challenges of application. The international planning competitions have acted as an important motivating force behind the progress that has been made in planning since 1998. The third competition (held in 2002) set the planning community the challenge of handling time and numeric resources. This necessitated the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power — exceeding the capabilities of current planning technology — and presents a number of important challenges to the research community.

Keyphrases

expressing temporal planning domain long pddl2 planning community planetary rover exploration resource-intensive domain modelling language important challenge numeric resource plant control third competition planning domain spacecraft control domain recent year research many type space research community formal semantics towards appli-cation current planning technology observation scheduling international planning competition logistics planning research community concurrent plan important motivating force nu-meric property

DMCA