Modeling in PDDL

Repository for PDDL examples, exercises and coursework assignments.

Examples

This section is for interesting PDDL models that are not published elsewhere, or not as well organized and described for educational purposes.

Exercises

Basics of modeling in PDDL

This is from course work authored by Maria Fox and Derek Long and other coworkers in Schlumberger.

1. Generalizing Blocksworld to multiple grippers to showcase power of declarative modeling
2. Hello world in propositional, numeric, temporal and with continuous numeric effects.

This set of classroom exercises is accompanied by a series of videos explaining the challenges and live-coding the solution: Modeling in PDDL, back to the basics.

Modeling Tutorial for 8 Formalisms

A series of modeling tutorials for 8 different planning formalisms. Created by Christian Muise for the graduate course on Automated Planning at Queen's University. Formalisms covered:

1. Classical Planning
2. Classical Planning w/ ADL
3. FOND
4. RDDL (probabilistic only)
5. PPOS (contingent)
6. Temporal Planning
7. Hybrid Planning
8. Epistemic Planning

Assignments and assessments

See list of available Assignments and assessments.