Modeling Human Syllogistic Reasoning in Soar

Abstract

Soar is an architecture for general intelligence, which has been shown to be capable of supporting a wide variety of intelligent behavior involving problem-solving, learning, designing, planning, etc. Soar has also been put forth as a unified theory of human cognition. We provide support for this by presenting a theory of syllogistic reasoning based on Soar and some assumptions about subjects' knowledge and representation. The resulting theory (and system, Syl-Soar/S88) is plausible in its details and accounts for existing data quite well. Keywords: Thought processes; Thinking; Artificial intelligence; Syllogisms; Problem spaces; Soar; Decision cycle; Chunking; Problem solving.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1988
Accession Number
ADA219116

Entities

People

  • Allen Newell
  • Thad A. Polk

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Availability
  • Classification
  • Cognition
  • Computer Science
  • Computers
  • Language
  • Learning
  • Military Research
  • Procurement
  • Psychological Phenomena And Processes
  • Psychology
  • Reasoning
  • Recognition
  • Security
  • United States
  • United States Government

Readers

  • Artificial Intelligence

Technology Areas

  • AI & ML
  • Space