Operator Execution at Time i If all propositions of: precondition appear in the state at 1, Then create state at i+l from state at i, by adding to i, all"add"propositions in effects removing from i, all"delete" propositions in ( operator dolly precondition effect(and(no Garbage)(not(quiet))) (clean Hands (cleanHands) (quiet) doy→≯ (no Garbage) Operator Execution at Time i If all propositions of precondition appear in the state at i, Then create state at i+1 from state at i by adding to i, all"add propositions in effects removing from i, all"delete" propositions in ffects C operator cook preconditionclean Hands) effect(dinner)) (clean Hands (cleanHands (quiet) cook→ (quiet) (dinner9 Operator Execution at Time i Then create state at i+1 from state at i, by • adding to i, all “add” propositions in :effects, • removing from i, all “delete” propositions in :effects. (:operator dolly :precondition :effect (and (noGarbage) (not (quiet))) (cleanHands) (quiet) (cleanHands) (noGarbage) dolly 10 Operator Execution at Time i Then create state at i+1 from state at i, by • adding to i, all “add” propositions in :effects, • removing from i, all “delete” propositions in :effects. (:operator cook :precondition (cleanHands) :effect (dinner)) (cleanHands) (quiet) (cleanHands) (quiet) (dinner) cook If all propositions of :precondition appear in the state at i, If all propositions of :precondition appear in the state at i