Exploiting Symmetries by Planning for a Descriptive Quotient
Abstract
We eliminate symmetry from a problem before searching for a plan. The planning problem with symmetries is decomposed into a set of isomorphic subproblems. One plan is computed for a small planning problem posed by a descriptive quotient, a description of any such subproblem. A concrete plan is synthesized by concatenating instantiations of that one plan for each subproblem. Our approach is sound.
Cite
Text
Abdulaziz et al. "Exploiting Symmetries by Planning for a Descriptive Quotient." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Abdulaziz et al. "Exploiting Symmetries by Planning for a Descriptive Quotient." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/abdulaziz2015ijcai-exploiting/)BibTeX
@inproceedings{abdulaziz2015ijcai-exploiting,
title = {{Exploiting Symmetries by Planning for a Descriptive Quotient}},
author = {Abdulaziz, Mohammad and Norrish, Michael and Gretton, Charles},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {1479-1486},
url = {https://mlanthology.org/ijcai/2015/abdulaziz2015ijcai-exploiting/}
}