A Specification of the Soar Cognitive Architecture in Z

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 31, 1992
Accession Number
ADA256198

Entities

People

  • Garrett Pelton
  • John E. Laird
  • Mike Hucka
  • Paul Rosenbloom
  • Robert Doorenbos

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Ground and Sea Platforms
  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Artificial Intelligence
  • C Programming Language
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Diagrams
  • Information Science
  • Language
  • Machine Learning
  • Phase Transformations
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence