Searching in a space of partial plans
Suppose we concentrate on “what we do” rather than on “where we are”
- there is no explicit state, only some actions
- the actions might be unordered with respect to each other, and might have unbound variables
The planning process
- the initial plan (search node) is one in which the agent does nothing
- every iteration of the search adds more structure to the plan: actions, orderings, variable bindings
- planning stops when the agent does enough to prove it achieves the goal
- every action’s precondition is true (established and not clobbered)
- every goal proposition is achieved