Evaluation of high level methods for efficient planning as satisfiability
Paper i proceeding, 2021
Fast planning algorithms play a key role in intelligent automation systems where control sequences are constantly calculated. In order to determine which algorithms increase planning performance, we evaluate and compare several high level planning methods on a set of standard benchmarks. We focus on planning as satisfiability as the leading approach for solving difficult planning problems.
automated planning
SAT solvers
intelligent automation
artificial intelligence
planning as satisfiability
Författare
Endre Erös
Chalmers, Elektroteknik, System- och reglerteknik
Martin Dahl
Chalmers, Elektroteknik, System- och reglerteknik
Petter Falkman
Chalmers, Elektroteknik, System- och reglerteknik
Kristofer Bengtsson
Chalmers, Elektroteknik, System- och reglerteknik
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
19460740 (ISSN) 19460759 (eISSN)
Vol. 269781728129891 (ISBN)
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Västerås, ,
Västerås, ,
UNICORN - Sustainable, Peaceful and Efficient Robotic Refuse Handling
Volvo Group, 2021-03-24 -- 2021-05-31.
VINNOVA (2017-03055), 2017-10-25 -- 2020-08-31.
Virtuell beredning av operationer för fordonsunderhåll, UNIFICATION
VINNOVA (2017-02245), 2017-06-01 -- 2020-05-31.
Ämneskategorier
Robotteknik och automation
Reglerteknik
Datavetenskap (datalogi)
DOI
10.1109/ETFA45728.2021.9613254
ISBN
9781728129891