STRIPS[from STanford Research Institute Problem Solver.] is a logic-based language designed for robot problem solving. STRIPS maintains a set of world models, each of which is a set of ground predicates.

A STRIPS operator (analogous to a clause in predicate calculus) consists of:

1. precondition list: a set of predicates that must be true before the operator can be applied.
2. delete list: a set of predicates to be deleted from the world model when the operator is applied.
3. add list: a set of predicates to be added to the world model when the operator is applied.

In many cases, the precondition list and delete list turn out to be the same.

Contents    Page-10    Prev    Next    Page+10    Index