Integrating perception, language and problem solving in a cognitive agent for a mobile robot

We are implementing a unified cognitive architecture for a mobile robot. Our goal is to endow a robot agent with the full range of cognitive abilities, including perception, use of natural language, learning and the ability to solve complex problems. The perspective of this work is that an architecture based on a unified theory of robot cognition has the best chance of attaining human-level performance. This agent architecture is an integration of three theories: a theory of cognition embodied in the Soar system, the RS formal model of sensorimotor activity and an algebraic theory of decomposition and reformulation. These three theories share a hierarchical structure that is the basis of their integration. These three component theories have been implemented and tested separately and their integration is currently underway. This paper describes these components and the overall architecture.

[1]  P. Steinhardt.  New perspectives on forbidden symmetries, quasicrystals, and Penrose tilings. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[3]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[4]  D. Paul Benjamin,et al.  On the Emergence of Intelligent Global Behaviors from Simple Local Actions , 1999, Int. J. Artif. Intell. Tools.

[5]  D. Paul Benjamin,et al.  On the emergence of intelligent global behaviours from simple local actions , 2000, Int. J. Syst. Sci..

[6]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

[7]  Damian M. Lyons,et al.  Planning as incremental adaptation of a reactive system , 1995, Robotics Auton. Syst..

[8]  Stacy Marsella,et al.  Expressive Behaviors for Virtual Worlds , 2004, Life-like characters.

[9]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[10]  G. Lallement.  Semigroups and combinatorial applications , 1979 .

[11]  Nate Blaylock,et al.  Synchronization in an Asynchronous Agent-based architecture for Dialogue Systems , 2002, SIGDIAL Workshop.

[12]  D. Paul Benjamin.  Formulating patterns in problem solving , 2005, Annals of Mathematics and Artificial Intelligence.

[13]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[14]  Maja J. Matarić,et al.  Extending Behavior-Based Systems Capabilities Using An Abstract Behavior Representation , 2000, AAAI 2000.

[15]  Steve A. Schneider,et al.  Concurrent and Real-time Systems: The CSP Approach , 1999 .

[16]  A. Newell.  Unified Theories of Cognition , 1990 .

[17]  M. Senechal.  Quasicrystals and geometry , 1995 .

[18]  N. Charness,et al.  The perceptual aspect of skilled performance in chess: Evidence from eye movements , 2001, Memory & cognition.

[19]  Craig S. Miller.  Modeling concept acquisition in the context of a unified theory of cognition , 1993 .

[20]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[21]  Richard L. Lewis,et al.  An Architecturally-based Theory of Human Sentence Comprehension , 2001 .

[22]  Maria Fox,et al.  Reformulation in Planning , 2002, SARA.

[23]  Ramón García-Martínez,et al.  An Integrated Approach of Learning, Planning, and Execution , 2000, J. Intell. Robotic Syst..

[24]  Nancy Green,et al.  An Integrated Discourse Recipe-Based Model for Task-Oriented Dialogue , 2002 .

[25]  Deryle Lonsdale.  Modeling cognition in SI: Methodological issues , 1997 .

[26]  Damian M. Lyons,et al.  Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[27]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[28]  D. Paul Benjamin.  Reformulating path-planning problems by task-preserving abstraction , 1992, Robotics Auton. Syst..

[29]  Tom Henderson,et al.  Logical sensor systems , 1984, J. Field Robotics.

[30]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[31]  Lyman P. Hurd,et al.  Fractal image compression , 1993 .