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

Wehrle, Martin; Helmert, Malte; Shleyfman, Alexander; Katz, Michael

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

Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 1712-1717.

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 symmetry-based 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.

Martin Wehrle, Malte Helmert, Alexander Shleyfman, and Michael Katz. 2015. Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 1712–1717. https://ijcai.org/proceedings/2015/244

@inproceedings{ijcai2015p244,
  title     = {Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning},
  author    = {Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {1712--1717},
  year      = {2015},
  month     = {7},
  note      = {Main Track},
  url       = {https://ijcai.org/proceedings/2015/244},
}

TY  - CPAPER
TI  - Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
AU  - Wehrle, Martin
AU  - Helmert, Malte
AU  - Shleyfman, Alexander
AU  - Katz, Michael
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 1712
EP  - 1717
UR  - https://ijcai.org/proceedings/2015/244
ER  -