Saturday, November 27, 2010

Planning Systems

Classical Planners use the STRIPS (Stanford Research Institute Problem Solver)

language to describe states and operators. It is an efficient way to represent planning

algorithms.
Representation of States and Goals


States are represented by conjunctions of function-free ground literals, that is, predicates

applied to constant symbols, possibly negated.

An example of an initial state is:

At(Home)

/\ -

Have(Milk)

/\ -

Have(Bananas)

/\ -

Have(Drill)

/\ ...

A state description does not have to be complete. We just want to obtain a successful plan

to a set of possible complete states. But if it does not mention a given positive literal, then

the literal can be assumed to be false.

Goals are a conjunction of literals. Therefore the goal is

No comments:

Post a Comment