Resources

In order to stimulate the interaction between the V&V and P&S communities, we are providing some example planning domains as source material. We are intending that participants should examine these materials and treat them as a basis for pursuing the validation and verification goals of the workshop.

Many planning domains are written using the widely accepted standard language, PDDL2. This language is an extended version of the one used in the first International Planning Competition, with the extensions having been introduced for the subsequent competition series. The language is now expressive enough to capture domains with temporal and metric structure. A detailed account of the language version PDDL2.1, with semantics, can be found here (the PDDL2.1 paper is the second paper). The extensions used in the last competition, as PDDL2.2, can be found here.

We are proposing to consider the following domains, drawn from the 4th International Planning Competition (further notes on the domains used in this competition, including these two, can be found here):

• Pipesworld: Description Domain Problem example
• Airport: Description Domain Problem example
• Other examples to follow