Difference between revisions of "Download page pb1"

From Tamp Benchmarking
Jump to: navigation, search
m
(Overview)
 
(10 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 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):<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]]
  
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.
+
* 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 poses ==
+
== Initial scene ==
Waiting for a better solution (but after all it's not too bad):
+
* SSSP: pegs and discs (see Figure 3). The table cannot be used to place the discs.
* the transformation matrices of all solids: [http://tampbenchmark.aass.oru.se/benchmarks/problem1/pb1_3_discs.txt pb1_3_discs.txt]
+
* SOP: For discs: upright position, any rotation about the world z-axis.
* the initial configuration of PR2:
+
* The base and the torso are not allowed to move in this problem.
 +
* Grasps: side-grasp (continuous)
  
{{Code|left_arm &nbsp;( 0.5, 0, 0, -0.16, 0, -0.11, 0)<br />
+
This archive file contains the 4 XML files for the 4 different problems size:
right_arm (-0.5, 0, 0, -0.16, 0, -0.11, 0)<br />
 
torso &nbsp;&nbsp;&nbsp; ( 0.1 )}}
 
  
== Movable objects ==
+
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_xml.tar.gz hanoi_xml.tar.gz] (see [[XML format description]])
* disc1
 
* disc2
 
* disc3
 
  
== Initial object attachments ==
+
== Symbolic domain ==
(Although this is not relevant in this problem since one can only manipulate one disc at a time.)
+
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi.pddl hanoi.pddl]
* (table, disc3)
 
* (disc3, disc2)
 
* (disc2, disc1)
 
  
== Surfaces supporting stable placements (SSSP) ==
+
'''Remark :''' Use the operator ''move'', or the operators ''pick'' and ''place'' at your convenience.
  
* the pegs
+
== Task-Motion interaction ==
* the top part of all the discs (see Figure 3) except disc1
 
  
The table cannot be used to place the discs.
+
''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).
  
== 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.<br />
 
See also [[Talk:Problems#Benchmarking_suggestion_2_16|Benchmarking suggestion 2]] and [[Talk:Problems#Comment_5_53|Comment 5]].
 
{{Todo|}}
 
 
== Symbolic domain ==
 
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi.pddl hanoi.pddl]
 
 
== Problems ==
 
== Problems ==
 
[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_3.pddl hanoi_pb_3.pddl]<br />
Line 72: Line 46:
 
[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_5.pddl hanoi_pb_5.pddl]<br />
 
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_6.pddl hanoi_pb_6.pddl]<br />
 
[http://tampbenchmark.aass.oru.se/benchmarks/problem1/hanoi_pb_6.pddl hanoi_pb_6.pddl]<br />
 
== Wrapping everything in a single file ==
 
[[XML format description]]<br />
 
[[problem_xml | problem.xml]]
 

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