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)
https://resolver.caltech.edu/CaltechAUTHORS:20130115-164654799
![[img]](https://authors.library.caltech.edu/36414/1.hassmallThumbnailVersion/Laird_ASpecificationOfTheSoarCognitiveArchitecture_1992.pdf)  Preview |
|
PDF
See Usage Policy.
6MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130115-164654799
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.
Item Type: | Report or Paper (Documentation) |
---|
Related URLs: | |
---|
ORCID: | |
---|
Funders: | Funding Agency | Grant Number |
---|
Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force | F33615-90-C-1465, ARPA Order No. 7597 |
|
---|
Other Numbering System: | Other Numbering System Name | Other Numbering System ID |
---|
CMU | CS-92-169 |
|
---|
Record Number: | CaltechAUTHORS:20130115-164654799 |
---|
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130115-164654799 |
---|
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. |
---|
ID Code: | 36414 |
---|
Collection: | CaltechAUTHORS |
---|
Deposited By: |
Linda Taddeo
|
---|
Deposited On: | 16 Jan 2013 15:58 |
---|
Last Modified: | 03 Oct 2019 04:37 |
---|
Repository Staff Only: item control page