Automated Planning Domain Inference for Task and Motion Planning

Jinbang Huang,Allen Tao,Rozilyn Marco,Miroslav Bogdanovic,Jonathan Kelly,Florian Shkurti
2024-10-22
Abstract:Task and motion planning (TAMP) frameworks address long and complex planning problems by integrating high-level task planners with low-level motion planners. However, existing TAMP methods rely heavily on the manual design of planning domains that specify the preconditions and postconditions of all high-level actions. This paper proposes a method to automate planning domain inference from a handful of test-time trajectory demonstrations, reducing the reliance on human design. Our approach incorporates a deep learning-based estimator that predicts the appropriate components of a domain for a new task and a search algorithm that refines this prediction, reducing the size and ensuring the utility of the inferred domain. Our method is able to generate new domains from minimal demonstrations at test time, enabling robots to handle complex tasks more efficiently. We demonstrate that our approach outperforms behavior cloning baselines, which directly imitate planner behavior, in terms of planning performance and generalization across a variety of tasks. Additionally, our method reduces computational costs and data amount requirements at test time for inferring new planning domains.
Robotics
What problem does this paper attempt to address?
### Problems the Paper Attempts to Solve The paper aims to address the issue of manually designing planning domains in Task and Motion Planning (TAMP). Existing TAMP methods heavily rely on manually designed planning domains, which define the preconditions and postconditions of all high-level actions. This approach is not only time-consuming but also difficult to adapt to new tasks, limiting its application in complex environments. To overcome this limitation, the paper proposes a method to automatically infer planning domains from a small number of test-time trajectory demonstrations. This method combines a deep learning-based predictor, which predicts the planning domain components required for new tasks, with a search algorithm that optimizes these predictions to reduce the size of the inferred planning domain and ensure its validity. Through this method, robots can generate new planning domains with only 1 to a few human demonstrations, thereby handling complex tasks more efficiently. Specifically, the main contributions of the paper include: 1. **Graph Attention Network (GAT)**: Training a GAT model to efficiently predict the planning domain for new tasks using a small amount of demonstration data. 2. **Guided Generate-and-Test Search Algorithm**: Combining the prediction results with a search algorithm to further optimize the planning domain, ensuring the feasibility and efficiency of the planning. 3. **Practical Robot Deployment Framework**: Developing a framework that can be deployed on actual robots, integrating GAT prediction and the search algorithm, and inferring the planning domain for new tasks with only 1 human demonstration. Through these contributions, the paper significantly improves planning performance, generalization ability, and computational cost.