A Normal Form for Classical Planning Tasks

Pommerening, Florian and Helmert, Malte. (2015) A Normal Form for Classical Planning Tasks. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 188-192.

[img] PDF - Published Version

Official URL: http://edoc.unibas.ch/41161/

Downloads: Statistics Overview


We describe transition normal form (TNF) for classical plan- ning tasks, where there is a unique goal state and variables occur in an operator precondition iff they appear in the effect. Tasks can be efficiently converted to TNF, all common plan- ning heuristics are invariant under the transformation, and tasks in normal form are easier to study theoretically.
Faculties and Departments:05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)
UniBasel Contributors:Pommerening, Florian and Helmert, Malte
Item Type:Conference or Workshop Item, refereed
Conference or workshop item Subtype:Conference Paper
Publisher:AAAI Press
Note:Publication type according to Uni Basel Research Database: Conference paper
edoc DOI:
Last Modified:16 Oct 2018 14:30
Deposited On:11 Oct 2017 08:01

Repository Staff Only: item control page