Cognitive Robotics

The kimono-clad android robot that recently made its debut as the new greeter at the entrance of Tokyo's Mitsukoshi department store is just one example of the rapid advancements being made in the field of robotics.Cognitive robotics is an approach to creating artificial intelligence in robots by enabling them to learn from and respond to real-world situations, as opposed to pre-programming the robot with specific responses to every conceivable stimulus.Presenting the contributions of international experts from various disciplines within the field, Cognitive Robotics provides novel material and discusses advanced approaches in the field of intelligent robotics. It explains the various aspects of the topic to provide readers with a solid foundation on the subject.This edited collection presents theoretical research in cognitive robotics. It takes a multidisciplinary approach that considers the artificial intelligence, physical, chemical, philosophical, psychological, social, cultural, and ethical aspects of this rapidly emerging field. The editor is a prominent researcher whose Lovotics research into emotional bonds with robots is widely recognized.Supplying an accessible introduction to cognitive robotics, the book considers computational intelligence for cognitive robotics based on informationally structured space. It examines how people respond to robots and what makes robots psychologically appealing to humans.The book contextualizes concepts in the history of studies on intelligence theories and includes case studies of different types of robots in action. Although ideal for robotics researchers and professionals, this book is also suitable for use as a supporting textbook in advanced robotics courses at both the undergraduate and graduate levels.

[1]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[2]  Stefan Schaal,et al.  Is imitation learning the route to humanoid robots? , 1999, Trends in Cognitive Sciences.

[3]  Alexander M. Meystel,et al.  Intelligent Systems: Architecture, Design, and Control , 2000 .

[4]  Giulio Sandini,et al.  The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition , 2006, 50 Years of Artificial Intelligence.

[5]  V. Braitenberg,et al.  Taxis, kinesis and decussation. , 1965, Progress in brain research.

[6]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

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

[8]  Bernhard Schölkopf,et al.  Learning View Graphs for Robot Navigation , 1997, AGENTS '97.

[9]  John-Jules Ch. Meyer,et al.  On Agents That Have the Ability to Choose , 2000, Stud Logica.

[10]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[11]  Supachai Vongbunyong,et al.  Learning and revision in cognitive robotics disassembly automation , 2015 .

[12]  J. Gregory Trafton,et al.  Perspective-taking with robots: experiments and models , 2005, ROMAN 2005. IEEE International Workshop on Robot and Human Interactive Communication, 2005..

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

[14]  Roland Siegwart,et al.  Introduction to Autonomous Mobile Robots , 2004 .

[15]  Hugh F. Durrant-Whyte,et al.  Simultaneous localization and mapping: part I , 2006, IEEE Robotics & Automation Magazine.

[16]  Walter Schneider.  Models of Working Memory: Working Memory in a Multilevel Hybrid Connectionist Control Architecture (CAP2) , 1999 .

[17]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[18]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[19]  SIMON BENHAMOU,et al.  No evidence for cognitive mapping in rats , 1996, Animal Behaviour.

[20]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[21]  Hector J. Levesque,et al.  Iterated belief change in the situation calculus , 2000, Artif. Intell..

[22]  Gerhard Lakemeyer,et al.  Relevance from an Epistemic Perspective , 1997, Artif. Intell..

[23]  Luis Miguel Bergasa,et al.  Real-time hierarchical stereo Visual SLAM in large-scale environments , 2010, Robotics Auton. Syst..

[24]  J. Gibson.  The Ecological Approach to Visual Perception , 1979 .

[25]  M. Shanahan.  A cognitive architecture that combines internal simulation with a global workspace , 2006, Consciousness and Cognition.

[26]  Sebastian Sardina,et al.  Deliberation in agent programming languages , 2005 .

[27]  Giulio Sandini,et al.  Developmental robotics: a survey , 2003, Connect. Sci..

[28]  Mikhail Soutchanski,et al.  An On-line Decision-Theoretic Golog Interpreter , 2001, IJCAI.

[29]  Ronald P. A. Petrick,et al.  Modeling an Agent's Incomplete Knowledge During Planning and During Execution , 1998, KR.

[30]  Robert A. Wilson,et al.  Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.

[31]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[32]  Rolf Pfeifer,et al.  Understanding intelligence , 2020, Inequality by Design.

[33]  David Kortenkamp,et al.  Prototypes, Location, and Associative Networks (PLAN): Towards a Unified Theory of Cognitive Mapping , 1995, Cogn. Sci..

[34]  Javier Pinto,et al.  Integrating Discrete and Continuous Change in a Logical Framework , 1998, Comput. Intell..

[35]  Wai-Kiang Yeap,et al.  On the Implementation of a Theory of Perceptual Mapping , 2011, Australasian Conference on Artificial Intelligence.

[36]  J.F. Fontanari,et al.  Integrating Language and Cognition: A Cognitive Robotics Approach , 2007, IEEE Computational Intelligence Magazine.

[37]  W. Burgard,et al.  Markov Localization for Mobile Robots in Dynamic Environments , 1999, J. Artif. Intell. Res..

[38]  Eyal Amir,et al.  Logical Filtering , 2003, IJCAI.

[39]  Kurt Konolige,et al.  Navigation in hybrid metric-topological maps , 2011, 2011 IEEE International Conference on Robotics and Automation.

[40]  Andreas Birk,et al.  Fast Registration Based on Noisy Planes With Unknown Correspondences for 3-D Mapping , 2010, IEEE Transactions on Robotics.

[41]  Alexander Ferrein,et al.  On-Line Decision-Theoretic Golog for Unpredictable Domains , 2004, KI.

[42]  Murray Shanahan,et al.  A Logical Account of Perception Incorporating Feedback and Expectation , 2002, KR.

[43]  Jeffrey L. Krichmar,et al.  Brain-based devices: intelligent systems based on principles of the nervous system , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[44]  Henrik I. Christensen,et al.  Graphical SLAM for Outdoor Applications , 2007, J. Field Robotics.

[45]  Wai-Kiang Yeap.  Towards a Computational Theory of Cognitive Maps , 1988, Artif. Intell..

[46]  K. Kawamura,et al.  From Intelligent Control to Cognitive Control , 2006, 2006 World Automation Congress.

[47]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[48]  Chitta Baral,et al.  Reasoning about actions: Non-deterministic effects, Constraints, and Qualification , 1995, IJCAI.

[49]  E. Tolman.  Cognitive maps in rats and men. , 1948, Psychological review.

[50]  Giulio Sandini,et al.  A Survey of Artificial Cognitive Systems: Implications for the Autonomous Development of Mental Capabilities in Computational Agents , 2007, IEEE Transactions on Evolutionary Computation.

[51]  G. Rizzolatti,et al.  The mirror-neuron system. , 2004, Annual review of neuroscience.

[52]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[53]  Sebastian Sardiña,et al.  IndiGolog: Execution of guarded action theories , 2000 .

[54]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[55]  Frank Dignum,et al.  Programming the Deliberation Cycle of Cognitive Robots , 2002 .

[56]  Fumiya Iida,et al.  50 Years of Artificial Intelligence, Essays Dedicated to the 50th Anniversary of Artificial Intelligence , 2007, 50 Years of Artificial Intelligence.

[57]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[58]  Krzysztof Kuchcinski,et al.  The WITAS Unmanned Aerial Vehicle Project , 2000, ECAI.

[59]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[60]  Michail G. Lagoudakis,et al.  The Standard Platform League , 2014, RoboCup.

[61]  John-Jules Ch. Meyer,et al.  Formalising Motivational Attitudes of Agents , 1995, ATAL.

[62]  G. Gallup.  Chimpanzees: Self-Recognition , 1970, Science.

[63]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[64]  Alexei Lapouchnian,et al.  Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications , 2002, Appl. Artif. Intell..

[65]  Koen V. Hindriks,et al.  Failure, Monitoring and Recovery in the Agent Language 3APL , 1998 .

[66]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[67]  C. Hofsten.  An action perspective on motor development , 2004, Trends in Cognitive Sciences.

[68]  Tran Cao Son,et al.  Relating Theories of Actions and Reactive Control , 1998, Electron. Trans. Artif. Intell..

[69]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[70]  Gerhard Lakemeyer,et al.  On sensing and off-line interpreting in GOLOG , 1999 .

[71]  Ronald C. Arkin,et al.  The impact of cybernetics on the design of a mobile robot system: a case study , 1990, IEEE Trans. Syst. Man Cybern..

[72]  Masaki Ogino,et al.  Cognitive Developmental Robotics: A Survey , 2009, IEEE Transactions on Autonomous Mental Development.

[73]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[74]  Fangzhen Lin,et al.  How to Progress a Database II: The STRIPS Connection , 1995, IJCAI.

[75]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[76]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[77]  Giuseppe De Giacomo,et al.  Planning with Sensing for a Mobile Robot , 1997, ECP.

[78]  Norbert Wiener,et al.  Cybernetics: Control and Communication in the Animal and the Machine. , 1949 .

[79]  Koen V. Hindriks,et al.  Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.

[80]  Angelo Cangelosi,et al.  An Embodied Model for Sensorimotor Grounding and Grounding Transfer: Experiments With Epigenetic Robots , 2006, Cogn. Sci..

[81]  I. Aleksander.  The World in My Mind, My Mind in the World: Key Mechanisms of Consciousness in People, Animals and Machines , 2005 .

[82]  Michael J. Mayo,et al.  Symbol Grounding and its Implications for Artificial Intelligence , 2003, ACSC.

[83]  Sebastian Thrun,et al.  The Graph SLAM Algorithm with Applications to Large-Scale Mapping of Urban Structures , 2006, Int. J. Robotics Res..

[84]  Joachim Hertzberg,et al.  6D SLAM—3D mapping outdoor environments , 2007, J. Field Robotics.

[85]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[86]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[87]  O. Holland.  Exploration and high adventure: the legacy of Grey Walter , 2003, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[88]  John R. Anderson.  The Architecture of Cognition , 1983 .

[89]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[90]  Wai-Kiang Yeap,et al.  How Albot0 Finds Its Way Home: A Novel Approach to Cognitive Mapping Using Robots , 2011, Top. Cogn. Sci..

[91]  A. Miyake,et al.  Models of Working Memory: Mechanisms of Active Maintenance and Executive Control , 1999 .

[92]  Tran Cao Son,et al.  From theory to practice: the UTEP robot in the AAAI 96 and AAAI 97 robot contests , 1998, AGENTS '98.

[93]  P. Haikonen.  The Cognitive Approach to Conscious Machines , 2003 .

[94]  James L. McClelland,et al.  Autonomous Mental Development by Robots and Animals , 2001, Science.

[95]  Klaus H. Ecker,et al.  Handbook on Parallel and Distributed Processing , 2000, International Handbooks on Information Systems.

[96]  Robert A. Meyers,et al.  Encyclopedia of physical science and technology , 1987 .

[97]  E. Spelke,et al.  Human Spatial Representation: Insights from Animals , 2002 .

[98]  Alberto Finzi,et al.  Combining Probabilities, Failures and Safety in Robot Control , 2001, IJCAI.

[99]  Paul Newman,et al.  Detecting Loop Closure with Scene Sequences , 2007, International Journal of Computer Vision.

[100]  Michael Thielscher,et al.  Intelligent Execution Monitoring in Dynamic Environments , 2003, Fundam. Informaticae.

[101]  Rolf Pfeifer,et al.  How the body shapes the way we think - a new view on intelligence , 2006 .

[102]  B. Baars.  In the theater of consciousness : the workspace of the mind , 1997 .

[103]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[104]  Frank Dellaert,et al.  Online probabilistic topological mapping , 2011, Int. J. Robotics Res..

[105]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

[106]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[107]  R. Mansfield,et al.  Analysis of visual behavior , 1982 .

[108]  Drew McDermott,et al.  Robot Planning , 1991, AI Mag..

[109]  Ron Chrisley,et al.  Embodied artificial intelligence , 2003, Artif. Intell..

[110]  Wai-Kiang Yeap,et al.  On Egocentric and Allocentric Maps , 2014, Spatial Cognition.

[111]  Sebastian Thrun,et al.  Robotic mapping: a survey , 2003 .

[112]  Zenon W. Pylyshyn,et al.  Computation and Cognition: Toward a Foundation for Cognitive Science , 1984 .

[113]  Alberto Finzi,et al.  Augmenting situation awareness via model-based control in rescue robots , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[114]  Michael A. Arbib,et al.  Neurorobotics: From Vision to Action , 2008, Springer Handbook of Robotics.

[115]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[116]  Olaf Sporns,et al.  Modeling in the neurosciences : from biological systems to neuromimetic robotics , 2005 .

[117]  Andy Clark,et al.  Towards a Cognitive Robotics , 1999, Adapt. Behav..

[118]  Mark Witkowski,et al.  High-Level Robot Control through Logic , 2000, ATAL.

[119]  Catalin Buiu.  Hybrid Educational Strategy for a Laboratory Course on Cognitive Robotics , 2008, IEEE Transactions on Education.

[120]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

[121]  Steve M. Potter,et al.  Distributed Processing in Cultured Neuronal Networks Chapter 4 , 2001 .

[122]  Alberto Finzi,et al.  Autonomous mobile manipulators managing perception and failures , 2001, AGENTS '01.

[123]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[124]  Maurice Pagnucco,et al.  Iterated Belief Change and Exogeneous Actions in the Situation Calculus , 2004, ECAI.

[125]  Michael Thielscher,et al.  Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study , 2000, AAAI/IAAI.

[126]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

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

[128]  Francis Heylighen,et al.  Cybernetics and Second-Order Cybernetics , 2001 .

[129]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[130]  Giuseppe De Giacomo,et al.  Moving a Robot: The KR&R Approach at Work , 1996, KR.

[131]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[132]  Murray Shanahan,et al.  Noise and the Common Sense Informatic Situation for a Mobile Robot , 1996, AAAI/IAAI, Vol. 2.

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

[134]  Hector J. Levesque,et al.  Goal Change , 2005, IJCAI.

[135]  Linda B. Smith,et al.  A Dynamic Systems Approach to the Development of Cognition and Action , 2007, Journal of Cognitive Neuroscience.

[136]  Hector J. Levesque,et al.  Projection Using Regression and Sensors , 1999, IJCAI.

[137]  David E. Kieras,et al.  An Overview of the EPIC Architecture for Cognition and Performance With Application to Human-Computer Interaction , 1997, Hum. Comput. Interact..

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

[139]  Hugh Durrant-Whyte,et al.  Simultaneous localization and mapping (SLAM): part II , 2006 .

[140]  George A. Bekey,et al.  AUTONOMOUS ROBOTS, From Biological Inspiration to Implementation and Control, by G.A. Bekey, MIT Press, 2005, xv + 577 pp., index, ISBN 0-262-02578-7, 25 pages of references (Hb. £35.95) , 2005, Robotica.

[141]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[142]  Hector J. Levesque,et al.  Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions , 2005, IJCAI.

[143]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[144]  Michael Beetz,et al.  Cognitive Technical Systems - What Is the Role of Artificial Intelligence? , 2007, KI.

[145]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[146]  G. Edelman.  Neural Darwinism: The Theory Of Neuronal Group Selection , 1989 .

[147]  Alberto Finzi,et al.  An Approach to Perception in Theory of Actions: Part I , 1999, Electron. Trans. Artif. Intell..

[148]  Walter Schneider,et al.  Controlled and Automatic Human Information Processing: 1. Detection, Search, and Attention. , 1977 .

[149]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[150]  Vincent C. Müller,et al.  Autonomous Cognitive Systems in Real-World Environments: Less Control, More Flexibility and Better Interaction , 2012, Cognitive Computation.

[151]  J. Hintikka.  Knowledge and belief , 1962 .

[152]  Benjamin Kuipers,et al.  Factoring the Mapping Problem: Mobile Robot Map-building in the Hybrid Spatial Semantic Hierarchy , 2010, Int. J. Robotics Res..

[153]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[154]  M. F. Brown,et al.  Does a cognitive map guide choices in the radial-arm maze? , 1992, Journal of experimental psychology. Animal behavior processes.

[155]  Jun'ichi Takeno,et al.  Experiments and examination of mirror image cognition using a small robot , 2005, 2005 International Symposium on Computational Intelligence in Robotics and Automation.

[156]  Rodney A. Brooks,et al.  Cambrian Intelligence: The Early History of the New AI , 1999 .

[157]  Fiora Pirri,et al.  A Situation-Bayes View of Object Recognition Based on SymGeons , 2002 .

[158]  Murray Shanahan,et al.  Reinventing Shakey , 2001 .

[159]  Rosalind W. Picard.  Affective Computing , 1997 .

[160]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[161]  Johanna Drucker.  Humanistic Theory and Digital Scholarship , 2012 .

[162]  Kazuhiko Kawamura,et al.  Development of a robot with a sense of self , 2005, 2005 International Symposium on Computational Intelligence in Robotics and Automation.

[163]  Kazuhiko Kawamura,et al.  Uncanny valley revisited , 2005, ROMAN 2005. IEEE International Workshop on Robot and Human Interactive Communication, 2005..

[164]  Piergiorgio Bertoli,et al.  Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.

[165]  Alberto Finzi,et al.  Representing Flexible Temporal Behaviors in the Situation Calculus , 2005, IJCAI.

[166]  Don Mitchell Wilkes,et al.  A software architecture for integrated service robot development , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[167]  Gerhard Lakemeyer,et al.  Turning High-Level Plans into Robot Programs in Uncertain Domains , 2000, ECAI.

[168]  Richard L. Lewis,et al.  Models of Working Memory: The Soar Cognitive Architecture and Human Working Memory , 1999 .

[169]  Sebastian Thrun,et al.  Simultaneous Localization and Mapping , 2008, Robotics and Cognitive Approaches to Spatial Mapping.

[170]  D. Meyer,et al.  Executive control of cognitive processes in task switching. , 2001, Journal of experimental psychology. Human perception and performance.

[171]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[172]  Stefano Nolfi,et al.  Evolutionary Robotics: The Biology, Intelligence, and Technology of Self-Organizing Machines , 2000 .

[173]  Will N. Browne,et al.  Developing an emotion-based architecture for autonomous agents , 2006 .

[174]  Sonja Stork,et al.  Artificial Cognition in Production Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[175]  M. Gabriel,et al.  Learning and Computational Neuroscience: Foundations of Adaptive Networks , 1990 .

[176]  David C. Noelle,et al.  A biologically inspired working memory framework for robots , 2005, ROMAN 2005. IEEE International Workshop on Robot and Human Interactive Communication, 2005..

[177]  George Reeke,et al.  The Darwin Brain-Based Automata: Synthetic Neural Models and Real- World Devices , 2005 .

[178]  Supachai Vongbunyong,et al.  A Framework for Using Cognitive Robotics in Disassembly Automation , 2012 .