Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

TL;DR

This paper introduces a flexible ASP-based framework for manipulating articulated objects with dual-arm robots, validated on a Baxter robot, demonstrating improved accuracy and action planning efficiency in complex scenarios.

Contribution

The paper presents a novel ASP-based approach for articulated object manipulation, incorporating macro actions to enhance planning in realistic robotic scenarios.

Findings

ASP effectively models articulated object configurations.

Macro actions improve planning efficiency and feasibility.

Framework validated on Baxter robot in extended scenarios.

Abstract

The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has been tackled by developing ad-hoc approaches, which lack flexibility and portability. In this paper we present a framework based on Answer Set Programming (ASP) for the automated manipulation of articulated objects in a robot control architecture. In particular, ASP is employed for representing the configuration of the articulated object, for checking the consistency of such representation in the knowledge base, and for generating the sequence of manipulation actions. The framework is exemplified and validated on the Baxter dual-arm manipulator in a first, simple scenario. Then, we extend such scenario to improve the overall setup accuracy, and to introduce a few constraints in robot actions execution to enforce their feasibility. The extended scenario entails a high number of possible actions that can be fruitfully combined together. Therefore, we exploit macro actions from automated planning in order to provide more effective plans. We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot-based manipulation of articulated objects. Under consideration in Theory and Practice of Logic Programming (TPLP).