Go backward to Monitoring the problem solving.
Go up to Encoding A Task in Soar.

Using lookahead search
======================

If the knowledge encoded in the operator selection productions is not
available during problem solving, a tie impasse will arise and a subgoal will
be created to make the selection.  The default response to a tie impasse is
to perform a lookahead search that tries out the tied operators on a copy of
the original state so that the results of the operators can be compared (see
Section See The selection space for multi-choice impasses on page 
See The selection space for multi-choice impasses for more details).

Menu

State copying
Operator application
Evaluating states
Search control