Overview
========

This manual presents Soar at three levels: the Problem Space Computational
Model (PSCM), the semantics of Symbol-Level Computational Model (SLCM), and
the syntax of the SLCM.  Chapter See The Problem Space Level describes
the problem space level, which defines a computational model for formulating
tasks in Soar.  The components of the PSCM include goals, problem spaces,
states and operators (1) (See Overview-Footnotes).  The basic functions
of the PSCM include the generation, refinement, selection, and application of
these components.

Chapter See Semantics of the Symbol Level describes the semantics of the
SLCM, which is a computational model for implementing the PSCM.  The
components of the SLCM include memories (permanent and temporary) and the
processing of the data structures in those memories.  Chapter *Note Semantics
of the Symbol Level:: provides the semantics of Soar's operation without
delving into syntax.

Chapters See Syntax of the Symbol Level through *Note Default knowledge
in Soar:: describe the details of the SLCM, including the actual syntax of
Soar.  Chapter See Syntax of the Symbol Level describes the syntax of the
major components used in problem solving, including productions, working
memory elements, preferences, and subgoals; Chapter See Learning in Soar
describes the details of chunking, Soar's learning mechanism; Chapter 
See I/O describes how to extend Soar with new C code for I/O, new actions, and
new help functions; and Chapter See Default knowledge in Soar describes
Soar's default knowledge.

Chapter See Encoding A Task in Soar presents the complete implementation
of a simple Blocks World task, providing a tutorial on Soar.

Chapter See User Interface describes in detail Soar's user interface.  A
concise overview of the interface is given in the Function Summary and Index,
placed at the end of the manual for ready access.

Appendix See Support of Preferences is a detailed description of Soar's
persistence scheme.  It includes both formal and English descriptions of how
persistence is calculated.  Appendix See Multiple Agents describes Soar's
multi-agent capabilities: how to have multiple Soar systems running in the
same core image.  Appendix See Glossary of Terms is a glossary of Soar
terminology.  This is followed by the Function Summary, Bibliography, and
Index.