Exploiting Symmetries by Planning for a Descriptive Quotient
MetadataShow full item record
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.
Proceedings of the International Joint Conference on Artificial Intelligence
Copyright 2015 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Artificial Intelligence and Image Processing not elsewhere classified