|
|
|
This page is an interface to test the generated domain by creating test problems and trying to find a solution using a planner.
|
|
|
|
|
|
|
|
1. Before creating the problem, rename the generated predicates using the information provided during [sequence creation](Create sequences) and the current name as a guide. This will improve the readability of the generated PDDL domain.  <br /><br />
|
|
|
|
1. Before creating the problem, rename the generated predicates using the information provided during step 4 of [sequence creation](Create sequences) and the current name as a guide. This will improve the readability of the generated PDDL domain. <br /><br />
|
|
|
|
 <br /><br />
|
|
|
|
For example in the image above, the generated predicate has a name:
|
|
|
|
zero_fsm0_e(unstack.0)|e(pickup.0)|s(putdown.0)|s(stack.0) ?v0 - a <br />
|
|
|
|
which tells us it is a type zero (zero-object is an object that existed in the model but not specified explicitly in the training sequence), and objects of this type exist in this state at the end of unstack (e(unstack.0)) and pickup (e(pickup.0)) actiions and at the start of putdown (s(putdown.0)) and stack (s(stack.0)) actions and a parameter v0 of type a (Block).
|
|
|
|
We can select a new name from the popup menu which contains the state of objects at the start of putdown and stack actions. <br /><br />
|
|
|
|
2. Click on DONE button when you finish renaming to apply the changes to the PDDL model.
|
|
|
|
|
|
|
|
3. Create a valid problem by specifying an initial state and goal state or load an existing problem.
|
|
|
|
|
|
|
|
4. Click PLAN to launch a planner to solve the problem.
|
|
|
|
|
|
|
|
|
