AAAI Publications, Eighth Annual Symposium on Combinatorial Search

Font Size: 
Computing Plans with Control Flow and Procedures Using a Classical Planner
Sergio Jimenez Celorrio, Anders Jonsson

Last modified: 2015-05-13

Abstract


We propose a compilation that enhances a given classical planning task to compute plans that contain control flow and procedure calls. Control flow instructions and procedures allow us to generate compact and general solutions able to solve planning tasks for which multiple unit tests are defined. The paper analyzes the relation between classical planning and structured programming with unit tests and shows how to exploit this relation in a classical planning compilation. In experiments, we evaluate the empirical performance of the compilation using an off-the-shelf classical planner and show that we can compress classical planning solutions and that these compressed solutions can solve planning tasks with multiple tests.

Keywords


Classical Planning with loops, Generalized planning

Full Text: PDF