Trustworthy Systems

Exploiting symmetries by planning for a descriptive quotient

Authors

Mohammad Abdulaziz, Charles Gretton and Michael Norrish

NICTA

Australian National University

Griffith University

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.

BibTeX Entry

  @inproceedings{Abdulaziz_GN_15,
    address          = {Buenos Aires},
    author           = {Abdulaziz, Mohammad and Gretton, Charles and Norrish, Michael},
    booktitle        = {International Joint Conference on Artificial Intelligence},
    keywords         = {planning symmetry},
    month            = jul,
    pages            = {1479--1486},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8561.pdf},
    title            = {Exploiting Symmetries by Planning for a Descriptive Quotient},
    year             = {2015}
  }

Download