Dynamically Adding a Precondition

(at TRUCK A)

(fuel FULL)

(at GLASS A)

(not (broken GLASS))

(at TRUCK B)

(broken GLASS))

(travel A B FULL)

(at TRUCK A)

(fuel FULL)

(in GLASS TRUCK)

(at TRUCK B)

(broken GLASS)

Previous slide

Next slide

Back to first slide

View graphic version