A Caltech Library Service

A Specification of the Soar Cognitive Architecture in Z

Milnes, Brian G. and Pelton, Garrett and Doorenbos, Robert and Hucka, Michael and Laird, John and Rosenbloom, Paul and Newell, Allen (1992) A Specification of the Soar Cognitive Architecture in Z. . (Unpublished)

See Usage Policy.


Use this Persistent URL to link to this item:


A formal specification of the sixth revision of the Soar architecture in the Z notation was constructed to elucidate and clarify the definition of Soar and to guide its implementation. Soar is a cognitive architecture that has been successfully applied to many domains and has been proposed as an exemplar unified theory of cognition. Z is a model theoretic specification language based in set theory that has syntax and type checking programs available. The specification has a complete coverage of the architecture, a low level of abstraction and a considerable implementation bias.

Item Type:Report or Paper (Documentation)
Related URLs:
URLURL TypeDescription
Hucka, Michael0000-0001-9105-5960
Funding AgencyGrant Number
Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air ForceF33615-90-C-1465, ARPA Order No. 7597
Other Numbering System:
Other Numbering System NameOther Numbering System ID
Record Number:CaltechAUTHORS:20130115-164654799
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:36414
Deposited By: Linda Taddeo
Deposited On:16 Jan 2013 15:58
Last Modified:03 Oct 2019 04:37

Repository Staff Only: item control page