---
title: "Exploiting Symmetries by Planning for a Descriptive Quotient"
authors:
  - "Mohammad Abdulaziz"
  - "Michael Norrish"
  - "Charles Gretton"
doi: ""
url: "https://ijcai.org/proceedings/2015/212"
pdf: "https://ijcai.org/proceedings/2015/0212.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "1479-1485"
track: "Main Track"
keywords:
---

# Exploiting Symmetries by Planning for a Descriptive Quotient

Mohammad Abdulaziz, Michael Norrish, Charles Gretton

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, 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.