Exploiting Symmetries by Planning for a Descriptive Quotient
Date
2015
Authors
Mansour (Abdulaziz), Mohammad
Norrish, Michael
Gretton, Charles
Journal Title
Journal ISSN
Volume Title
Publisher
AAAI Press
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
Description
Keywords
Citation
Collections
Source
Exploiting Symmetries by Planning for a Descriptive Quotient
Type
Conference paper
Book Title
Entity type
Access Statement
Open Access