NICTA
Australian National University
Griffith University
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.
@inproceedings{Abdulaziz_GN_15, month = jul, keywords = {planning symmetry}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8561.pdf}, booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence}, author = {Abdulaziz, Mohammad and Gretton, Charles and Norrish, Michael}, year = {2015}, pages = {1479--1486}, title = {Exploiting Symmetries by Planning for a Descriptive Quotient}, address = {Buenos Aires} }