dc.contributor.author |
Segovia-Aguas, Javier |
dc.contributor.author |
Jiménez, Sergio |
dc.contributor.author |
Jonsson, Anders, 1973- |
dc.date.accessioned |
2021-02-19T07:24:14Z |
dc.date.available |
2021-02-19T07:24:14Z |
dc.date.issued |
2018 |
dc.identifier.citation |
Segovia-Aguas J, Jiménez S, Jonsson A. Computing hierarchical finite state controllers with classical planning. J Artif Intell Res. 2018 Aug 20;62:755-97. DOI: 10.1613/jair.1.11227 |
dc.identifier.issn |
1076-9757 |
dc.identifier.uri |
http://hdl.handle.net/10230/46534 |
dc.description.abstract |
Finite State Controllers (FSCs) are an effective way to compactly represent sequential plans. By imposing appropriate conditions on transitions, FSCs can also represent generalized plans (plans that solve a range of planning problems from a given domain). In this paper we introduce the concept of hierarchical FSCs for planning by allowing controllers to call other controllers. This call mechanism allows hierarchical FSCs to represent generalized plans more compactly than individual FSCs, to compute controllers in a modular fashion or even more, to compute recursive controllers. The paper introduces a classical planning compilation for computing hierarchical FSCs that solve challenging generalized planning tasks. The compilation takes as input a finite set of classical planning problems from a given domain. The output of the compilation is a single classical planning problem whose solution induces: (1) a hierarchical FSC and (2), the corresponding validation of that controller on the input classical planning problems. |
dc.description.sponsorship |
This work is partially supported by grant TIN2015-67959 and the Maria de Maeztu Units of Excellence Programme MDM-2015-0502, MEC, Spain. Sergio Jiménez is supported by the RYC15/18009, program funded by the Spanish government. |
dc.format.mimetype |
application/pdf |
dc.language.iso |
eng |
dc.publisher |
AI Access Foundation |
dc.relation.ispartof |
Journal of Artificial Intelligence Research. 2018 Aug 20;62:755-97 |
dc.rights |
© 2018 AI Access Foundation. All rights reserved. |
dc.title |
Computing hierarchical finite state controllers with classical planning |
dc.type |
info:eu-repo/semantics/article |
dc.identifier.doi |
http://dx.doi.org/10.1613/jair.1.11227 |
dc.relation.projectID |
info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959 |
dc.relation.projectID |
info:eu-repo/grantAgreement/ES/1PE/MDM-2015-0502 |
dc.rights.accessRights |
info:eu-repo/semantics/openAccess |
dc.type.version |
info:eu-repo/semantics/publishedVersion |