Exploiting Symmetries by Planning for a Descriptive Quotient

View/ Open
File version
Version of Record (VoR)
Author(s)
Abdulaziz, Mohammad
Norrish, Michael
Gretton, Charles
Griffith University Author(s)
Year published
2015
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Journal Title
Proceedings of the International Joint Conference on Artificial Intelligence
Volume
2015
Publisher URI
Copyright Statement
© 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.
Subject
Artificial Intelligence and Image Processing not elsewhere classified