Modeling Human Syllogistic Reasoning in Soar.

摘要

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. (kt)