Skip navigation
Skip navigation

Exploiting Symmetries by Planning for a Descriptive Quotient

Mansour (Abdulaziz), Mohammad; Norrish, Michael; Gretton, Charles

Description

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

dc.contributor.authorMansour (Abdulaziz), Mohammad
dc.contributor.authorNorrish, Michael
dc.contributor.authorGretton, Charles
dc.coverage.spatialBuenos Aires, Argentina
dc.date.accessioned2016-06-14T23:21:13Z
dc.date.createdJuly 25-31, 2015
dc.identifier.isbn9781577357384
dc.identifier.urihttp://hdl.handle.net/1885/103774
dc.description.abstractWe 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
dc.publisherAAAI Press
dc.relation.ispartofseries24th International Joint Conference on Artificial Intelligence IJCAI 2015
dc.rightsAuthor/s retain copyright
dc.sourceExploiting Symmetries by Planning for a Descriptive Quotient
dc.titleExploiting Symmetries by Planning for a Descriptive Quotient
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2015
local.identifier.absfor080110 - Simulation and Modelling
local.identifier.ariespublicationu4334215xPUB1496
local.type.statusPublished Version
local.contributor.affiliationMansour (Abdulaziz), Mohammad, College of Engineering and Computer Science, ANU
local.contributor.affiliationNorrish, Michael, College of Engineering and Computer Science, ANU
local.contributor.affiliationGretton, Charles, College of Engineering and Computer Science, ANU
local.bibliographicCitation.startpage1479
local.bibliographicCitation.lastpage1486
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2016-06-14T09:02:55Z
local.identifier.scopusID2-s2.0-84949764726
dcterms.accessRightsOpen Access
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Mansour+%28Abdulaziz%29_Exploiting_Symmetries_by_2015.pdf554.05 kBAdobe PDF


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator