Published August 31, 1992
| public
Report
Open
A Specification of the Soar Cognitive Architecture in Z
Chicago
An error occurred while generating the citation.
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)
| Name | Size | Download all |
|---|---|---|
|
md5:cf6d0c3e5542a37a17d5519c0a670dd4
|
6.8 MB | Preview Download |
Additional details
- Eprint ID
- 36414
- Resolver ID
- CaltechAUTHORS:20130115-164654799
- Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force
- F33615-90-C-1465, ARPA Order No. 7597
- Created
-
2013-01-16Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Other Numbering System Name
- CMU
- Other Numbering System Identifier
- CS-92-169