CaltechAUTHORS
Published August 31, 1992 | Version public
Report Open

A Specification of the Soar Cognitive Architecture in Z

Creators

Abstract

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.

Files

Laird_ASpecificationOfTheSoarCognitiveArchitecture_1992.pdf

Files (6.8 MB)

Additional details

Identifiers

Eprint ID
36414
Resolver ID
CaltechAUTHORS:20130115-164654799

Related works

Describes
http://www.cds.caltech.edu/~mhucka/publications/Laird:ASpecificationOfTheSoarCognitiveArchitecture:1992.pdf (URL)

Funding

Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force
F33615-90-C-1465, ARPA Order No. 7597

Dates

Created
2013-01-16
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Other Numbering System Name
CMU
Other Numbering System Identifier
CS-92-169