Difference between revisions of "Download page pb1"

Revision as of 10:43, 19 February 2018

This page should contain all the necessary files/information to set this benchmark up. Until we agree on it, some of the input data is given as plain text.

Overview

Figure 1

The main difference with the classic Tower of Hanoi problem is the disposition of the rods, which are not aligned, but set in a triangular fashion (the actual disposition may not be reflected by the picture). The position of the robot with respect to the rods imposes geometric constraints (thus infeasible task operators):

    2
3      1

Figure 2

Geometries

This archive file contains all the meshes in OBJ format (and .mtl files for colors):

hanoi_meshes.tar.gz

It includes:

• the rod
• the five discs
• the table

The "discs" are designed so that they can be stacked on each other without collision. The handle of the discs is 30mm in diameter. It is therefore easy to stack them since the hole under the discs is 50mm in diameter. The rod has the same dimensions than the handle (see Figures 2 and 3).

Figure 3

The origin of the reference frame attached to the object is located at the bottom, centre of the object. By bottom, we mean given that the object is standing in its "natural" upward orientation, if applicable. In this way, placing the object on a SSSP is achieved by placing the origin of its reference frame on the SSSP.

Initial poses

Waiting for a better solution (but after all it's not too bad):

• the transformation matrices of all solids: pb1_3_discs.txt
• the initial configuration of PR2:

left_arm  ( 0.5, 0, 0, -0.16, 0, -0.11, 0)
right_arm (-0.5, 0, 0, -0.16, 0, -0.11, 0)
torso     ( 0.1 )

Movable objects

• disc1
• disc2
• disc3

Initial object attachments

(Although this is not relevant in this problem since one can only manipulate one disc at a time.)

• (table, disc3)
• (disc3, disc2)
• (disc2, disc1)

Surfaces supporting stable placements (SSSP)

• the pegs
• the top part of all the discs (see Figure 3) except disc1

The table cannot be used to place the discs.

Stable object poses (SOP)

For disc1, disc2, disc3: any rotation of the initial pose about the world z-axis.

Other constraints

The base is not allowed to move in this problem.

Grasps

I think we should define a "side-grasp" template, which can be rotated about the world z-axis in order to generate all the possible grasps allowed for solving this problem.
See also Benchmarking suggestion 2 and Comment 5.

  TODO : 

Symbolic domain

hanoi.pddl

Problems

hanoi_pb_3.pddl
hanoi_pb_4.pddl
hanoi_pb_5.pddl
hanoi_pb_6.pddl

Wrapping everything in a single file

[XML format description] problem.xml