A STRIPS operator is applied as follows:

1. Show that the preconditions are satisfied (by deriving □ from the negated Precondition and the world model); this instantiates parameters.
2. Form an offspring world model by first deleting everything on the Delete List from the existing world model, then adding everything on the Add List.

This is just state space search, but it is more general because the robot can perform many possible actions, and we can ask for many different kinds of goals.

Contents    Page-10    Prev    Next    Page+10    Index