Difference between revisions of "Download page pb1"

From Tamp Benchmarking
Jump to: navigation, search
(Stable object poses (SOP))
(Overview)
 
(20 intermediate revisions by the same user not shown)
Line 1: Line 1:
This page should contain all the necessary files/information to set this benchmark up.
+
This page contains all the necessary files/information to set up this benchmark, along with comprehensive explanation.
Until we agree on it, some of the input data is given as plain text.
 
  
 
== Overview ==
 
== Overview ==
 
[[File:pb1_init.jpg|thumb|Figure 1|200px]]
 
[[File:pb1_init.jpg|thumb|Figure 1|200px]]
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 exact disposition may change later):<br /><br />
+
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).
&nbsp;&nbsp;&nbsp;&nbsp;2<br />
 
3 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1
 
<br />
 
 
[[File:discs_and_rod.jpg|thumb|Figure 2|200px]]
 
[[File:discs_and_rod.jpg|thumb|Figure 2|200px]]
  
 
== Geometries ==
 
== Geometries ==
 
 
This archive file contains all the meshes in OBJ format (and .mtl files for colors):<br />
 
This archive file contains all the meshes in OBJ format (and .mtl files for colors):<br />
 +
* the rod
 +
* the six discs
 +
* the table
  
 
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_meshes.tar.gz hanoi_meshes.tar.gz]<br />
 
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_meshes.tar.gz hanoi_meshes.tar.gz]<br />
  
It includes:
+
'''Remarks :'''
* 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).
+
* 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).
  
 
[[File:dimensions.png|thumb|Figure 3|200px]]
 
[[File:dimensions.png|thumb|Figure 3|200px]]
  
== Initial poses ==
+
* For discs and pegs, 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.
Waiting for a better solution (but after all it's not too bad):
 
* the transformation matrices of all solids: [http://tampbenchmark.aass.oru.se/benchmarks/problem1/pb1_3_discs.txt pb1_3_discs.txt]
 
* the initial configuration of PR2:
 
  
{{Code|left_arm &nbsp;( 0.5, 0, 0, -0.16, 0, -0.11, 0)<br />
+
== Initial scene ==
right_arm (-0.5, 0, 0, -0.16, 0, -0.11, 0)<br />
+
* SSSP: pegs and discs (see Figure 3). The table cannot be used to place the discs.
torso &nbsp;&nbsp;&nbsp; ( 0.1 )}}
+
* SOP: For discs: upright position, any rotation about the world z-axis.
 +
* The base and the torso are not allowed to move in this problem.
 +
* Grasps: side-grasp (continuous)
  
== Movable objects ==
+
This archive file contains the 4 XML files for the 4 different problems size:
* disc1
 
* disc2
 
* disc3
 
  
== Initial object attachments ==
+
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_xml.tar.gz hanoi_xml.tar.gz] (see [[XML format description]])
(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) ==
+
== Symbolic domain ==
* the table
+
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi.pddl hanoi.pddl]
* the top part of the disc3 (see Figure 3)
 
* the top part of the disc2
 
  
== Stable object poses (SOP) ==
+
'''Remark :''' Use the operator ''move'', or the operators ''pick'' and ''place'' at your convenience.
For disc1, disc2, disc3: any rotation of the initial pose about the world z-axis.
 
  
== Other constraints ==
+
== Task-Motion interaction ==
The base is not allowed to move in this problem.
 
  
== Grasps ==
+
''move'', ''pick'' or ''place'' map to the motion of both arms (i.e., if an action is performed with a given arm, the other arm is allowed to move).
I think we should define a "side-grasp" template, which can be rotated about the z-axis in order to generate all the possible grasps allowed for solving this problem.<br />
 
See also [[Talk:Problems#Benchmarking_suggestion_2_16|Benchmarking suggestion 2]] and [[Talk:Problems#Comment_5_53|Comment 5]].
 
{{Todo|}}
 
  
== Symbolic domain ==
+
== Problems ==
{{Todo|}}
+
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_3.pddl hanoi_pb_3.pddl]<br />
 +
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_4.pddl hanoi_pb_4.pddl]<br />
 +
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_5.pddl hanoi_pb_5.pddl]<br />
 +
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_6.pddl hanoi_pb_6.pddl]<br />

Latest revision as of 14:43, 17 July 2018

This page contains all the necessary files/information to set up this benchmark, along with comprehensive explanation.

Overview[edit]

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).

Figure 2

Geometries[edit]

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

  • the rod
  • the six discs
  • the table

hanoi_meshes.tar.gz

Remarks :

  • 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
  • For discs and pegs, 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.

Initial scene[edit]

  • SSSP: pegs and discs (see Figure 3). The table cannot be used to place the discs.
  • SOP: For discs: upright position, any rotation about the world z-axis.
  • The base and the torso are not allowed to move in this problem.
  • Grasps: side-grasp (continuous)

This archive file contains the 4 XML files for the 4 different problems size:

hanoi_xml.tar.gz (see XML format description)

Symbolic domain[edit]

hanoi.pddl

Remark : Use the operator move, or the operators pick and place at your convenience.

Task-Motion interaction[edit]

move, pick or place map to the motion of both arms (i.e., if an action is performed with a given arm, the other arm is allowed to move).

Problems[edit]

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