Conditional Effects, The Syntax
travel(?x ?y ?l)
Precond: (and (at TRUCK ?x)
(fuel ?l)
(!= ?l EMPTY))
Effect: (and (at TRUCK ?x)
(not (at TRUCK ?x))
(when (fuel FULL)
(fuel HALF))
(when (fuel HALF)
(fuel EMPTY))
(when (in GLASS TRUCK)
(broken GLASS))))
Previous slide
Next slide
Back to first slide
View graphic version