|
|
This page is an interface to test the generated domain by creating test problems and trying to find a solution using a planner.
|
|
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) as a guide. This will improve the readability of the generated PDDL domain. |
|
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 />
|
|
\ No newline at end of file |
|
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).
|
|
|
|
|
