Sökning: onr:"swepub:oai:DiVA.org:liu-79509" >
From Macro Plans to...
From Macro Plans to Automata Plans
-
- Bäckström, Christer (författare)
- Linköpings universitet,Programvara och system,Tekniska högskolan,TCSLAB
-
- Jonsson, Anders (författare)
- Universitat Pompeu Fabra, Barcelona, Spain
-
- Jonsson, Peter (författare)
- Linköpings universitet,Programvara och system,Tekniska högskolan,TCSLAB
-
(creator_code:org_t)
- 2012
- 2012
- Engelska.
-
Ingår i: ECAI 2012. 20th European Conference on Artificial Intelligence, 27-31 2012, August, Montpellier, France. - 9781614990970 - 9781614990987 ; , s. 91-96
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas