Encoding a task
===============

In this section we return to the Blocks World and show how it would be
implemented using productions.  This parallels the presentation of the
PSCM-level description of the Blocks World presented in Section 
See Encoding a task in the PSCM on page See Encoding a task in the PSCM.
Chapter See Encoding A Task in Soar on page *Note Encoding A Task in
Soar:: returns to this task using syntactically bona-fide productions.

In this example, the productions are abstractions of actual productions that
illustrate the various forms of knowledge required to perform the PSCM
functions for the Blocks World.  The productions are interspersed with
commentary and a trace of the decision to indicate how Soar uses the
knowledge.  To simplify the productions, the conditions assume that all of
the mentioned context objects, such as problem spaces, states, and operators,
are selected for the same goal.  The actual Soar productions explicitly test
the goal of each selected object.  In addition, the descriptions of the
actions of the productions gloss over the preferences for individual
augmentations except in the case of context slots.  That is, we will pretend
that actions actually modify working memory rather than generating
preferences for the changes.

Menu

Initialization

Proposal of an operator to perform the task

Proposal of an initial problem space

Proposal of an initial state

Operator proposal

Operator comparison

Operator application: External::

Operator termination

Termination of task operator

Operator application: Internal::

Subgoaling and default productions

Chunking