]> BibSonomy publications for /bibtex/29d61affef11ea541ec81edf105a27a77/thau http://www.bibsonomy.org/burst/bibtex/29d61affef11ea541ec81edf105a27a77/thau BibSonomy BuRST Feed for /bibtex/29d61affef11ea541ec81edf105a27a77/thau 2008-10-13T16:54:26+02:00 In defense of PDDL axioms ScienceDirect - Artificial Intelligence : In defense of PDDL axiomshttp://www.bibsonomy.org/bibtex/29d61affef11ea541ec81edf105a27a77/thau thau 2008-01-04T18:29:40+01:00 Classical Expressive PDDL planning power
In defense of PDDL axioms
Sylvie Thiebaux and Jorg Hoffmann and Bernhard Nebel Artificial Intelligence 168 38--69 (2005)
to Classical Expressive PDDL planning power on 2008-01-04 18:29:40 ]]> Artificial Intelligence#oct#1-238--69In defense of PDDL axioms1682005Classical Expressive PDDL planning power 2008-01-04 18:29:40.0There is controversy as to whether explicit support for pddl-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers have deplored the lack of precise semantics for such axioms, while others have argued that it might be best to compile them away. We propose an adequate semantics for pddl axioms and show that they are an essential feature by proving that it is impossible to compile them away if we restrict the growth of plans and domain descriptions to be polynomial. These results suggest that adding a reasonable implementation to handle axioms inside the planner is beneficial for the performance. Our experiments confirm this suggestion.