THE MENTAL STATE FORMALISM OF GMU-BICA

GMU-BICA, the biologically-inspired self-aware cognitive architecture developed at George Mason University, continues to be a useful prototype for various intelligent artifacts, including intelligent tutoring systems, yet the underlying formalism of mental states used in its design was never described in detail. The present theoretical work aims at filling this gap, focusing on the top cognitive level (mental states) and leaving detailed description of the lower level (schemas), as well as non-declarative components, for future publications. Among the distinguishing features of the GMU-BICA mental state formalism are: (i) a subject-centered view of the world, (ii) the multiplicity of mental perspectives simultaneously represented in working memory, each playing its unique functional role, and (iii) the limited span of awareness. This model is consistent with human psychology and gives testable predictions. The work explains, through analysis of examples, how the framework can be used to build computational models of self-regulated learning, and why in this case it is expected to unleash a new for artifacts power of human-like cognition and learning.

[1]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

[2]  F. Eustache,et al.  La mémoire épisodique : de l’esprit au cerveau , 2004 .

[3]  K. A. Ericsson,et al.  Long-term working memory. , 1995, Psychological review.

[4]  Luciano Serafini,et al.  Mental States Recognition from Communication , 2002, J. Log. Comput..

[5]  John E. Laird,et al.  Extending the Soar Cognitive Architecture , 2008, AGI.

[6]  Ron Sun,et al.  Cognition and Multi-Agent Interaction: The CLARION Cognitive Architecture: Extending Cognitive Modeling to Social Simulation , 2005 .

[7]  E. Tulving Elements of episodic memory , 1983 .

[8]  G. Ascoli,et al.  A simple neural network model of the hippocampus suggesting its pathfinding role in episodic memory retrieval. , 2005, Learning & memory.

[9]  Erik T. Mueller,et al.  Event calculus and temporal action logics compared , 2006, Artif. Intell..

[10]  Ingrid R. Olson,et al.  Working Memory for Conjunctions Relies on the Medial Temporal Lobe , 2006, The Journal of Neuroscience.

[11]  Erik T. Mueller,et al.  Commonsense Reasoning , 2006, Qualitative Representations.

[12]  John R. Anderson,et al.  The SAL Integrated Cognitive Architecture , 2008, AAAI Fall Symposium: Biologically Inspired Cognitive Architectures.

[13]  E. Tulving,et al.  Toward a theory of episodic memory: the frontal lobes and autonoetic consciousness. , 1997, Psychological bulletin.

[14]  R. O’Reilly,et al.  Computational Explorations in Cognitive Neuroscience: Understanding the Mind by Simulating the Brain , 2000 .

[15]  L. Nadel,et al.  Multiple trace theory of human memory: Computational, neuroimaging, and neuropsychological results , 2000, Hippocampus.

[16]  Paul S. Rosenbloom,et al.  Universal Subgoaling and Chunking , 1986 .

[17]  Gautam Biswas,et al.  LEARNING BY TEACHING: A NEW AGENT PARADIGM FOR EDUCATIONAL SOFTWARE , 2005, Appl. Artif. Intell..

[18]  B. Zimmerman Attaining self-regulation: A social cognitive perspective. , 2000 .

[19]  Giorgio A. Ascoli,et al.  The Conscious Self: Ontology, Epistemology and the Mirror Quest , 2005, Cortex.

[20]  John R Anderson,et al.  An integrated theory of the mind. , 2004, Psychological review.

[21]  A. Goldman,et al.  Mirror neurons and the simulation theory of mind-reading , 1998, Trends in Cognitive Sciences.

[22]  Alexei V. Samsonovich,et al.  Fundamental Principles and Mechanisms of the Conscious Self , 2005, Cortex.

[23]  Alexei V. Samsonovich Biologically inspired cognitive architectures : papers from the AAAI Fall Symposium , 2008 .

[24]  N. Cowan The magical number 4 in short-term memory: A reconsideration of mental storage capacity , 2001, Behavioral and Brain Sciences.

[25]  Tom Michael Mitchell,et al.  Mind Matters : A Tribute To Allen Newell , 1996 .

[26]  D E Kieras,et al.  A computational theory of executive cognitive processes and multiple-task performance: Part 1. Basic mechanisms. , 1997, Psychological review.

[27]  E. Mueller CHAPTER 15 – Logics for Commonsense Reasoning , 2006 .

[28]  J. Gregory Trafton,et al.  Integrating cognition, perception and action through mental simulation in robots , 2004, Robotics Auton. Syst..

[29]  B. Zimmerman A social cognitive view of self-regulated academic learning. , 1989 .

[30]  Michael B. Miller,et al.  Neural Correlates of Detecting Pretense: Automatic Engagement of the Intentional Stance under Covert Conditions , 2004, Journal of Cognitive Neuroscience.

[31]  Alexei V. Samsonovich Hallucinating objects versus hallucinating subjects , 2005, Behavioral and Brain Sciences.

[32]  S. Baron-Cohen Mindblindness: An Essay on Autism and Theory of Mind , 1997 .

[33]  Nicholas R. Jennings,et al.  Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems , 2002, J. Log. Comput..