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:
In many cases, the precondition list and delete list turn out to be the same.
Contents    Page-10    Prev    Next    Page+10    Index