Sökning: onr:"swepub:oai:research.chalmers.se:90accd9b-a4e4-40be-a85a-670b86f7873e" >
Towards composition...
Towards compositional automated planning
-
- Erös, Endre, 1990 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Dahl, Martin, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Falkman, Petter, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Bengtsson, Kristofer, 1979 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2020
- 2020
- Engelska.
-
Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. - 1946-0759 .- 1946-0740. ; 2020-September, s. 416-423
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
https://research.cha...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- The development of efficient propositional satisfiability problem solving algorithms (SAT solvers) in the past two decades has made automated planning using SAT-solvers an established AI planning approach. Modern SAT solvers can accommodate a wide variety of planning problems with a large number of variables. However, fast computing of reasonably long plans proves challenging for planning as satisfiability. In order to address this challenge, we present a compositional approach based on abstraction refinement that iteratively generates, solves and composes partial solutions from a parameterized planning problem. We show that this approach decomposes the monolithic planning problem into smaller problems and thus significantly speeds up plan calculation, at least for a class of tested planning problems.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- compositional planning
- artificial intelligence
- abstraction refinement
- automated planning
- planning as satisfiability
- intelligent automation
- SAT solvers
- online planning
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas