The Block Stacking Action
Stack is the action.
- The fluent is Stacked.
- The three possible objects are blocks block-a
and block-a
and special floor.
- Precondition
Stacked ({(ON(?block-1 Floor)),
(ON (nil ?block-2)) (NEQ ?block-1 ?block-2) })
- Effect(Stacked {(ON(?block-1 ?block-2)})
If you stack block-1 on block-2, then block-1 has first to be on the
floor,
nothing can be on block-2,
and then block-1 is on block-2.
©2012
Charles Petrie - permission to reproduce widely with attribution.