Universal Quantification
Quantification in effects: explode breaks all fragile objects
(define (operator explode)
:parameters (?b ?l)
:precondition
(and (bomb ?b)
(at ?b ?l)
(at TRUCK ?l))
:effect
(forall (?x)
(when (and (fragile ?x)
(at ?x ?l))
(broken ?x))))
Previous slide
Next slide
Back to first slide
View graphic version