PDDL

Planning Domain Definition Language (PDDL). PDDL2.1: An extension to PDDL for expressing temporal planning domains. In recent years research in the planning community has moved increasingly toward s application of planners to realistic problems involving both time and many typ es of resources. For example, interest in planning demonstrated by the space res earch 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 com petition (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.


References in zbMATH (referenced in 94 articles , 1 standard article )

Showing results 61 to 80 of 94.
Sorted by year (citations)
  1. Buffet, Olivier; Aberdeen, Douglas: The factored policy-gradient planner (2009)
  2. Chen, Yixin; Huang, Ruoyun; Xing, Zhao; Zhang, Weixiong: Long-distance mutual exclusion for planning (2009)
  3. Coles, Andrew; Fox, Maria; Halsey, Keith; Long, Derek; Smith, Amanda: Managing concurrency in temporal planning using planner-scheduler interaction (2009)
  4. De Jonge, Femke; Roos, Nico; Witteveen, Cees: Primary and secondary diagnosis of multi-agent plan execution (2009) ioport
  5. Garrido, Antonio; Arangu, Marlene; Onaindia, Eva: A constraint programming formulation for planning: From plan scheduling to plan generation (2009)
  6. Gerevini, Alfonso E.; Haslum, Patrik; Long, Derek; Saetti, Alessandro; Dimopoulos, Yannis: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (2009)
  7. Helmert, Malte: Concise finite-domain representations for PDDL planning tasks (2009)
  8. Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent: Reasoning from last conflict(s) in constraint programming (2009)
  9. Li, Haitao; Womer, Keith: Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm (2009)
  10. Policella, Nicola; Cesta, Amedeo; Oddi, Angelo; Smith, Stephen F.: Solve-and-robustify (2009)
  11. Roberts, Mark; Howe, Adele: Learning from planner performance (2009)
  12. Armando, Alessandro; Compagna, Luca: SAT-based model-checking for security protocols analysis (2008) ioport
  13. Gerevini, Alfonso E.; Saetti, Alessandro; Serina, Ivan: An approach to efficient planning with numerical fluents and multi-criteria plan quality (2008)
  14. Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.: State-set branching: leveraging BDDs for heuristic search (2008)
  15. Sapena, O.; Onaindía, E.: Planning in highly dynamic environments: an anytime approach for planning under time constraints (2008) ioport
  16. Schockaert, Steven; de Cock, Martine: Temporal reasoning about fuzzy intervals (2008)
  17. Cialdea Mayer, Marta; Limongelli, Carla; Orlandini, Andrea; Poggioni, Valentina: Linear temporal logic as an executable semantics for planning languages (2007)
  18. de la Asunción, Marc; Castillo, Luis; Fernández-Olivares, Juan; García-Pérez, Oscar; González, Antonio; Palao, Francisco: Handling fuzzy temporal constraints in a planning environment (2007)
  19. Yang, Qiang; Wu, Kangheng; Jiang, Yunfei: Learning action models from plan examples using weighted MAX-SAT (2007)
  20. Lu, Shiyong; Bernstein, Arthur; Lewis, Philip: Automatic workflow verification and generation (2006)