English

PDDL 2.1: Representation vs. Computation

Artificial Intelligence 2011-10-13 v1
Authors: H. A. Geffner
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

I comment on the PDDL 2.1 language and its use in the planning competition, focusing on the choices made for accommodating time and concurrency. I also discuss some methodological issues that have to do with the move toward more expressive planning languages and the balance needed in planning research between semantics and computation.

Keywords

natural language processing process calculus programming languages

Cite

@article{arxiv.1110.2731,
  title  = {PDDL 2.1: Representation vs. Computation},
  author = {H. A. Geffner},
  journal= {arXiv preprint arXiv:1110.2731},
  year   = {2011}
}

Related papers

View all related →
Artificial Intelligence · Computer Science
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
M. Fox, D. Long
2011-06-24
Artificial Intelligence · Computer Science
Imperfect Match: PDDL 2.1 and Real Applications
M. S. Boddy
2011-10-13
Artificial Intelligence · Computer Science
The Power of Modeling - a Response to PDDL2.1
F. Bacchus
2011-10-13
Artificial Intelligence · Computer Science
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long
D. McDermott
2011-09-27
Artificial Intelligence · Computer Science
The Deterministic Part of IPC-4: An Overview
S. Edelkamp, J. Hoffmann
2011-09-27
Artificial Intelligence · Computer Science
HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning
Damien Pellier, Alexandre Albore, Humbert Fiorino, Rafael Bailon-Ruiz
2023-06-14
Artificial Intelligence · Computer Science
HDDL -- A Language to Describe Hierarchical Planning Problems
D. Höller, G. Behnke, P. Bercher, S. Biundo +3
2019-11-14
Artificial Intelligence · Computer Science
HDDL 2.1: Towards Defining an HTN Formalism with Time
D. Pellier, H. Fiorino, M. Grand, A. Albore +1
2022-06-07
Computation and Language · Computer Science
Natural Language Semantics and Computability
Richard Moot, Christian Retoré
2016-05-16
Artificial Intelligence · Computer Science
Planning with Preferences using Logic Programming
Tran Cao Son, Enrico Pontelli
2009-09-29
Logic in Computer Science · Computer Science
On Propositional Dynamic Logic and Concurrency
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
2026-04-14
Logic in Computer Science · Computer Science
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramirez, Anubhav Singh, Peter Stuckey, Chris Manzie
2024-06-17
Artificial Intelligence · Computer Science
Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies
Dillon Z. Chen, Johannes Zenn, Tristan Cinquin, Sheila A. McIlraith
2025-08-27
Logic · Mathematics
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé
2023-08-17
Artificial Intelligence · Computer Science
Planning with Complex Data Types in PDDL
Mojtaba Elahi, Jussi Rintanen
2023-01-02
Logic in Computer Science · Computer Science
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik +6
2021-09-17
Computation and Language · Computer Science
Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages
Max Zuo, Francisco Piedrahita Velez, Xiaochen Li, Michael L. Littman +1
2025-11-12
Machine Learning · Computer Science
Analysis of Systems' Performance in Natural Language Processing Competitions
Sergio Nava-Muñoz, Mario Graff, Hugo Jair Escalante
2024-08-22
Computation and Language · Computer Science
On the Limit of Language Models as Planning Formalizers
Cassie Huang, Li Zhang
2025-06-03
Software Engineering · Computer Science
ACME vs PDDL: support for dynamic reconfiguration of software architectures
Jean-Eudes Méhus, Thais Batista, Jérémy Buisson
2012-06-04
Artificial Intelligence · Computer Science
Planning as Tabled Logic Programming
Neng-Fa Zhou, Roman Bartak, Agostino Dovier
2020-02-19
Computation and Language · Computer Science
Semantic Drift in Multilingual Representations
Lisa Beinborn, Rochelle Choenni
2020-11-18
Logic in Computer Science · Computer Science
Computation and Concurrency
Yong Wang
2026-04-20
Software Engineering · Computer Science
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Mohammad Reza Mousavi, Antonio Ravara
2011-08-01
Signal Processing · Electrical Eng. & Systems
The Communication and Computation Trade-off in Wireless Semantic Communications
Xuyang Chen, Chong Huang, Gaojie Chen, Daquan Feng +1
2025-05-14
R2 v1 2026-06-21T19:19:18.160Z