Skip navigation
Skip navigation

In defense of PDDL axioms

Thiebaux, Sylvie; Hoffmann, Joerg; Nebel, Bernhard Georg

Description

There 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...[Show more]

CollectionsANU Research Publications
Date published: 2005
Type: Journal article
URI: http://hdl.handle.net/1885/83362
Source: Artificial Intelligence
DOI: 10.1016/j.artint.2005.05.004

Download

File Description SizeFormat Image
01_Thiebaux_In_defense_of_PDDL_axiom_2005.pdf295.47 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator