Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Sievers, Silvan and Röger, Gabriele and Wehrle, Martin and Katz, Michael. (2019) Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 446-454.

[img] PDF - Accepted Version

Official URL: https://edoc.unibas.ch/71595/

Downloads: Statistics Overview


We transfer the notion of structural symmetries to lifted planning task representations, based on abstract structures which we define to model planning tasks. We show that symmetries are preserved by common grounding methods and we shed some light on the relation to previous symmetry concepts used in planning. Using a suitable graph representation of lifted tasks, our experimental analysis of common planning benchmarks reveals that symmetries occur in the lifted representation of many domains. Our work establishes the theoretical ground for exploiting symmetries beyond their previous scope, such as for faster grounding and mutex generation, as well as for state space transformations and reductions
Faculties and Departments:05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)
UniBasel Contributors:Sievers, Silvan and Röger, Gabriele and Wehrle, Martin
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
Related URLs:
edoc DOI:
Last Modified:21 Aug 2019 14:50
Deposited On:20 Aug 2019 07:59

Repository Staff Only: item control page