Conflict-Directed Diverse Planning for Logic-Geometric Programming

Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint and Michael Katz.

International Conference on Automated Planning and Scheduling (ICAPS) 2022

Back to personal webpage: here

Paper: here

Brief:

We propose a systematic interface between state-of-the-art symbolic planners and nonlinear constrained optimization methods to solve Logic-Geometric Programs. The key idea of our approach is to efficiently identify geometric conflicts in the form of minimal infeasible action prefixes, and incorporate this information back into the symbolic planner through a multi-prefix forbidding compilation.

Abstract:

Robots operating in the real world must combine task planning for reasoning about what to do with motion planning for reasoning about how to do it – this is known as task and motion planning. One promising approach for task and motion planning is Logic Geometric Programming (LGP) which integrates a logical layer and a geometric layer in an optimization formulation. The logical layer describes feasible high-level actions at an abstract symbolic level, while the geometric layer uses continuous optimization methods to reason about motion trajectories with geometric constraints. In this paper we propose a new approach for solving task and motion planning problems in the LGP formulation, that leverages state-of-the-art diverse planning at the logical layer to explore the space of feasible logical plans, and minimizes the number of optimization problems to be solved on the continuous geometric layer. To this end, geometric infeasibility is fed back into planning by identifying prefix conflicts and incorporating this back into the planner through a novel multi-prefix forbidding compilation. We further leverage diverse planning with a new novelty criteria for selecting candidate plans based on the prefix novelty, and a metareasoning approach which attempts to extract only useful conflicts by leveraging the information that is gathered in the course of solving the given problem.

Supplementary video: here

Slides: here

Poster: here

Funding

This research was supported by the German-Israeli Foundation for Scientific Research (GIF) grant I-1491-407.6/2019, the German Research Foundation (DFG) under Germany’s Excellence Strategy EXC 2002/1–390523135 “Science of Intelligence”, and the International Max-Planck Research School for Intelligent Systems (IMPRS-IS).