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 41 articles , 1 standard article )

Showing results 1 to 20 of 41.
Sorted by year (citations)

1 2 3 next

  1. Kaldeli, Eirini; Lazovik, Alexander; Aiello, Marco: Domain-independent planning for services in uncertain and dynamic environments (2016)
  2. Linares López, Carlos; Jiménez Celorrio, Sergio; García Olaya, Ángel: The deterministic part of the seventh international planning competition (2015)
  3. Nyolt, Martin; Krüger, Frank; Yordanova, Kristina; Hein, Albert; Kirste, Thomas: Marginal filtering in large state spaces (2015)
  4. Piacentini, Chiara; Alimisis, Varvara; Fox, Maria; Long, Derek: An extension of metric temporal planning with application to AC voltage control (2015)
  5. Ghallab, Malik; Nau, Dana; Traverso, Paolo: The actor’s view of automated planning and acting: a position paper (2014)
  6. Kelareva, Elena; Tierney, Kevin; Kilby, Philip: CP methods for scheduling and routing with time-dependent task costs (2014)
  7. Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun: Model checking approach to automated planning (2014)
  8. Hoffmann, J.; Weber, I.; Kraft, F.M.: SAP speaks PDDL: exploiting a software-engineering model for planning in business process management (2012)
  9. Nguyen, Tuan Anh; Do, Minh; Gerevini, Alfonso Emilio; Serina, Ivan; Srivastava, Biplav; Kambhampati, Subbarao: Generating diverse plans to handle unknown and partially known user preferences (2012)
  10. Tichy, Matthias; Klöpper, Benjamin: Planning self-adaption with graph transformations (2012)
  11. Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten: plasp: a prototype for PDDL-based planning in ASP (2011)
  12. Gerevini, Alfonso E.; Saetti, Alessandro; Serina, Ivan: Planning in domains with derived predicates through rule-action graphs and local search (2011)
  13. Thielscher, Michael: A unifying action calculus (2011)
  14. Castillo, Luis; Morales, Lluvia; González-Ferrer, Arturo; Fdez-Olivares, Juan; Borrajo, Daniel; Onaindía, Eva: Automatic generation of temporal planning domains for e-learning problems (2010)
  15. Zhuo, Hankz Hankui; Yang, Qiang; Hu, Derek Hao; Li, Lei: Learning complex action models with quantifiers and logical implications (2010)
  16. Baier, Jorge A.; Bacchus, Fahiem; McIlraith, Sheila A.: A heuristic search approach to planning with temporally extended preferences (2009)
  17. Bryl, Volha; Giorgini, Paolo; Mylopoulos, John: Designing socio-technical systems: From stakeholder goals to social networks (2009)
  18. Buffet, Olivier; Aberdeen, Douglas: The factored policy-gradient planner (2009)
  19. Chen, Yixin; Huang, Ruoyun; Xing, Zhao; Zhang, Weixiong: Long-distance mutual exclusion for planning (2009)
  20. Coles, Andrew; Fox, Maria; Halsey, Keith; Long, Derek; Smith, Amanda: Managing concurrency in temporal planning using planner-scheduler interaction (2009)

1 2 3 next