Planning: The problem

• States are modeled in terms of (binary)

state-variables (factored rep.)

-- Complete initial state, partial goal state

• Actions are modeled as state

transformation functions

-- Syntax: ADL language (Pednault)

• Plans are sequences of actions

Earth

Earth

At(A,E), At(B,E),At(R,E)

At(A,M),At(B,M)

¬In(A), ¬In(B)

Effects

Appolo 13

Previous slide

Next slide

Back to first slide

View graphic version