Abstract
The 3rd International Planning Competition [1] was a great success and a cornerstone to this success was the initial definition of a semantics for the language used in the competition, PDDL2.1. This created a general understanding of the semantics of the domains defined using this language and therefore a general understanding of what constitutes a valid plan. With this consensus on what a valid plan is it was possible to implement an automatic plan validator, VAL. This tool conveys what is a valid plan in PDDL2.1 to anyone developing a planner using this language, as well as providing extra information in a LATEX report featuring graphs of changing numerical values and a Gantt chart (see figure 2).
Original language | English |
---|---|
Pages | 37-38 |
Number of pages | 2 |
Publication status | Published - 23 Apr 2003 |
Event | 10th Workshop on Automated Reasoning - Liverpool, United Kingdom Duration: 15 Apr 2003 → 16 Apr 2003 |
Conference
Conference | 10th Workshop on Automated Reasoning |
---|---|
Abbreviated title | ARW'03 |
Country/Territory | United Kingdom |
City | Liverpool |
Period | 15/04/03 → 16/04/03 |
Keywords
- planning
- PDDL2.1
- automatic plan validator