Action definitions and goal descriptions have the same syntax as in PDDL2.1.
![]() ![]() |
::= | ( :action ![]() ![]() |
||
[:parameters ( ![]() ![]() |
||||
![]() ![]() |
||||
![]() ![]() |
::= | ![]() ![]() |
||
![]() ![]() |
::= | [:precondition ![]() ![]() |
||
[:effect ![]() ![]() |
||||
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
| |
:equality
( = ![]() ![]() ![]() ![]() |
|||
| |
:equality
( not ( = ![]() ![]() ![]() ![]() |
|||
| |
:negative-preconditions
( not ![]() ![]() |
|||
| |
:disjunctive-preconditions
( not ![]() ![]() |
|||
| |
:disjunctive-preconditions
( or ![]() ![]() |
|||
| |
:disjunctive-preconditions
( imply ![]() ![]() ![]() ![]() |
|||
| |
:existential-preconditions
( exists ( ![]() ![]() |
|||
![]() ![]() |
||||
| |
:universal-preconditions
( forall ( ![]() ![]() |
|||
![]() ![]() |
||||
| |
:fluents
![]() ![]() |
|||
![]() ![]() |
::= | ( ![]() ![]() ![]() ![]() ![]() ![]() |
||
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
![]() ![]() |
::= | ( ![]() ![]() ![]() ![]() ![]() ![]() |
||
![]() ![]() |
::= | < | <= | = | >= | > | ||
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
| | ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
|||
![]() ![]() |
::= | ( ![]() ![]() ![]() ![]() ![]() ![]() |
||
![]() ![]() |
::= | + | - | * | / |
A
number
is a sequence of numeric characters,
possibly with a single decimal point (“.”) at any position in
the sequence. Negative numbers are written as (-
number
).
The syntax for effects has been extended to allow for probabilistic effects, which can be arbitrarily interleaved with conditional effects and universal quantification.
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
| |
:conditional-effects
( forall ( ![]() ![]() ![]() ![]() |
|||
| |
:conditional-effects
( when ![]() ![]() ![]() ![]() |
|||
| |
:probabilistic-effects
( probabilistic ![]() ![]() |
|||
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
| |
:fluents
( ![]() ![]() ![]() ![]() ![]() ![]() |
|||
| |
:rewards
( ![]() ![]() ![]() ![]() ![]() ![]() |
|||
![]() ![]() |
::= | ![]() ![]() ![]() ![]() |
||
![]() ![]() |
::= | assign |
scale-up |
scale-down |
![]() ![]() |
||
![]() ![]() |
::= | increase | decrease | ||
![]() ![]() |
::= | ( reward ) | reward |
A
probability
is a
number
with a value
in the interval [0, 1].
Håkan L. S. Younes