CaltechAUTHORS
  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) https://resolver.caltech.edu/CaltechAUTHORS:20130115-164654799

[img]
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:
URLURL TypeDescription
http://www.cds.caltech.edu/~mhucka/publications/Laird:ASpecificationOfTheSoarCognitiveArchitecture:1992.pdfAuthorUNSPECIFIED
ORCID:
AuthorORCID
Hucka, Michael0000-0001-9105-5960
Funders:
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
CMUCS-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