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
-