Means-ends analysis involves proposing operators that can achieve part of the goal. Thus, some operators will be proposed even if they do not apply to the current state. If an operator is selected that can not apply, an operator no-change impasse arises. In that substate, the goal is to achieve a state in which the impassed operator can apply. This leads to a recursive subgoal stack. Involves removing the original operator evaluation rules, changing the operator proposal rules, and modifying the application rules so they apply only when they should. Also includes the addition of the operator no-change subset under move-block and the inclusion of the desired state.
- Subgoaling with means-ends analysis
- The Soar Cognitive Architecture: Chapter 4
- John Laird
- Soar 8,9