Towards compositional automated planning
Paper in proceeding, 2020

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.

compositional planning

artificial intelligence

abstraction refinement

automated planning

planning as satisfiability

intelligent automation

SAT solvers

online planning


Endre Erös

Chalmers, Electrical Engineering, Systems and control

Martin Dahl

Chalmers, Electrical Engineering, Systems and control

Petter Falkman

Chalmers, Electrical Engineering, Systems and control

Kristofer Bengtsson

Chalmers, Electrical Engineering, Systems and control

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

Vol. September 416-423
9781728189567 (ISBN)

Vienna, Austria,

Virtual Commissioning of Vehicle Maintenance Operations, UNIFICATION

VINNOVA (2017-02245), 2017-06-01 -- 2020-05-31.

UNICORN - Sustainable, Peaceful and Efficient Robotic Refuse Handling

VINNOVA (2017-03055), 2017-10-25 -- 2020-08-31.

Volvo Group, 2021-03-24 -- 2021-05-31.

Subject Categories

Control Engineering

Computer Science



More information

Latest update