From Macro Plans to Automata Plans
2012 (English)In: ECAI 2012. 20th European Conference on Artificial Intelligence, 27-31 2012, August, Montpellier, France, 2012, 91-96 p.Conference paper (Refereed)
Macros have a long-standing role in planning as a tool for representing repeating subsequences of operators. Macros are useful both for guiding search towards a solution and for representing plans compactly. In this paper we introduce automata plans which consist of hierarchies of finite state automata. Automata plans can be viewed as an extension of macros that enables parametrization and branching. We provide several examples of the utility of automata plans, and prove that automata plans are strictly more expressive than macro plans. We also prove that automata plans admit polynomialtime sequential access of the operators in the underlying “flat” plan, and identify a subset of automata plans that admit polynomial-time random access. Finally, we compare automata plans with other representations allowing polynomial-time sequential access.
Place, publisher, year, edition, pages
2012. 91-96 p.
, Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 242
IdentifiersURN: urn:nbn:se:liu:diva-79509DOI: 10.3233/978-1-61499-098-7-91ISBN: 978-1-61499-097-0ISBN: 978-1-61499-098-7OAI: oai:DiVA.org:liu-79509DiVA: diva2:543164
20th European Conference on Artificial Intelligence (ECAI-2012), 27-31 August, Montpellier, France