edoc

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning

Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 1712-1718.

[img]
Preview
PDF - Published Version
137Kb

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

Downloads: Statistics Overview

Abstract

Pruning techniques based on partial order reduction
and symmetry elimination have recently found increasing
attention for optimal planning. Although
these techniques appear to be rather different, they
base their pruning decisions on similar ideas from
a high level perspective. In this paper, we propose
safe integrations of partial order reduction and symmetry
elimination for cost-optimal classical planning.
We show that previously proposed symmetrybased
search algorithms can safely be applied with
strong stubborn sets. In addition, we derive the notion
of symmetrical strong stubborn sets as a more
tightly integrated concept. Our experiments show
the potential of our approaches.
Faculties and Departments:05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)
UniBasel Contributors:Wehrle, Martin and Helmert, Malte
Item Type:Conference or Workshop Item, refereed
Conference or workshop item Subtype:Conference Paper
Publisher:AAAI Press
ISBN:978-1-57735-738-4
Note:Publication type according to Uni Basel Research Database: Conference paper
Language:English
Related URLs:
Last Modified:27 Nov 2018 15:44
Deposited On:11 Oct 2017 09:44

Repository Staff Only: item control page