Discovering State and Action Abstractions for Generalized Task and Motion Planning

09/23/2021
by   Aidan Curtis, et al.
0

Generalized planning accelerates classical planning by finding an algorithm-like policy that solves multiple instances of a task. A generalized plan can be learned from a few training examples and applied to an entire domain of problems. Generalized planning approaches perform well in discrete AI planning problems that involve large numbers of objects and extended action sequences to achieve the goal. In this paper, we propose an algorithm for learning features, abstractions, and generalized plans for continuous robotic task and motion planning (TAMP) and examine the unique difficulties that arise when forced to consider geometric and physical constraints as a part of the generalized plan. Additionally, we show that these simple generalized plans learned from only a handful of examples can be used to improve the search efficiency of TAMP solvers.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 8

page 9

research
06/03/2018

Admissible Abstractions for Near-optimal Task and Motion Planning

We define an admissibility condition for abstractions expressed using an...
research
11/21/2019

Generalized Planning with Positive and Negative Examples

Generalized planning aims at computing an algorithm-like structure (gene...
research
11/03/2022

Sequence-Based Plan Feasibility Prediction for Efficient Task and Motion Planning

Robots planning long-horizon behavior in complex environments must be ab...
research
05/28/2019

Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)

Generalized planning is about finding plans that solve collections of pl...
research
12/12/2012

Planning under Continuous Time and Resource Uncertainty: A Challenge for AI

We outline a class of problems, typical of Mars rover operations, that a...
research
10/11/2019

Generalized Planning With Procedural Domain Control Knowledge

Generalized planning is the task of generating a single solution that is...
research
05/24/2022

Automatic Verification of Sound Abstractions for Generalized Planning

Generalized planning studies the computation of general solutions for a ...

Please sign up or login with your details

Forgot password? Click here to reset