- Requirements
- Type
- Type Hierarchy
(:types physobj - object vehicle - physobj truck airplane - vehicle location city - object airport - location)
- Type Hierarchy
- Predicates
- Action
- Precondition
- Effect
and
is not supposed to be used in initial states- use
not
for DELETE notation- seems legal to have
not
in initial states, though doing so is not STRIP at all
- seems legal to have
- define your domain carefully!
- in blocksworld domain,
armFree
should be exclusive withholding(x)
, but seems PDDL itself provides no syntax to guarantee this- but not-having-exclusion is good for DELETE RELAXATION
- in blocksworld domain,