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
