In Defense of PDDL Axioms
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 961-967.
Abstract
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 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.
@inproceedings{ijcai2003p138,
title = {In Defense of PDDL Axioms},
author = {Thiébaux, Sylvie and Hoffmann, Jörg and Nebel, Bernhard},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {961--967},
year = {2003},
url = {https://ijcai.org/proceedings/2003/138},
}
TY - CPAPER TI - In Defense of PDDL Axioms AU - Thiébaux, Sylvie AU - Hoffmann, Jörg AU - Nebel, Bernhard T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 961 EP - 967 UR - https://ijcai.org/proceedings/2003/138 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
