Conditional Effects, The Syntax
(define (operator travel)
:parameters (?x ?y ?l)
:precondition
(and (at TRUCK ?x)
(fuel ?l)
(neq ?l EMPTY))
:effect
(and (at TRUCK ?y)
(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