STRIPS Actions

• Action = a function from world-state to world-state

• Precondition says when function defined

• Effects say how to change set of propositions

a

a

north11

W0

W1

north11

precond: (:and (agent-at 1 1)

(agent-facing north))

effect: (:and (agent-at 1 2)

(:not (agent-at 1 1)))

Previous slide

Next slide

Back to first slide

View graphic version