A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
UC Merced Proceedings of the Annual Meeting of the Cognitive Science Society Title mReactr: A computational theory of deductive reasoning Publication Date mReactr: A computational theory of deductive reasoning
2012
Proceedings of the Annual Meeting of the Cognitive Science Society
unpublished
The mReactr system is a computational implementation of the mental model theory of reasoning (Johnson-Laird, 1983) that is embedded within the ACT-R cognitive architecture (Anderson, 1990). We show how the memory-handling mechanisms of the architecture can be leveraged to store and handle discrete representations of possibilities, i.e., mental models, efficiently. Namely, the iconic representation of a mental model can be distributed, in which each component of a model is represented by a
fatcat:csm327o545csfmu7ddyhfapmda