Exploiting Symmetries by Planning for a Descriptive Quotient
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 1479-1485.
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.
Mohammad Abdulaziz, Michael Norrish, and Charles Gretton. 2015. Exploiting Symmetries by Planning for a Descriptive Quotient. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 1479–1485. https://ijcai.org/proceedings/2015/212
Abdulaziz, M., Norrish, M., & Gretton, C. (2015). Exploiting Symmetries by Planning for a Descriptive Quotient. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 (pp. 1479–1485). IJCAI. https://ijcai.org/proceedings/2015/212
@inproceedings{ijcai2015p212,
title = {Exploiting Symmetries by Planning for a Descriptive Quotient},
author = {Abdulaziz, Mohammad and Norrish, Michael and Gretton, Charles},
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 = {1479--1485},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/212},
}
TY - CPAPER TI - Exploiting Symmetries by Planning for a Descriptive Quotient AU - Abdulaziz, Mohammad AU - Norrish, Michael AU - Gretton, Charles T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 1479 EP - 1485 UR - https://ijcai.org/proceedings/2015/212 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
