Cognitive Robotics

Publisher Summary Cognitive robotics is the study of the knowledge representation and reasoning problems faced by an autonomous robot (or an agent) in a dynamic and incompletely known world. This chapter presents the idea of knowledge representation and reasoning for the purpose of high-level robotic control to be central to cognitive robotics. This connects cognitive robotics not only to (traditional and less cognitive) robotics but also to other areas of artificial intelligence (AI) such as planning and agent-oriented programming. To illustrate the knowledge representation and reasoning issues relevant to high-level robotic control, the chapter discusses a Reiter's variant of the situation calculus. The situation calculus also deals with actions whose effects are deterministic—that is, where there is no doubt as to which fluents change and which do not. The chapter discusses some of the knowledge representation issues that arise in the context of cognitive robotics and describes problems in automated reasoning in the same setting.

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

[2]  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.

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

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

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

[6]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

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

[8]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

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

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

[11]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

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

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

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

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

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

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

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

[19]  Gerhard Lakemeyer,et al.  Exploring artificial intelligence in the new millennium , 2003 .

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

[21]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[44]  M. Shanahan.  Solving the frame problem , 1997 .

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

[46]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

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

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

[49]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

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

[51]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[52]  Hector J. Levesque,et al.  On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.

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

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

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

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

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

[58]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[59]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1995, Artif. Intell..

[60]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

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

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

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

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

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

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

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

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

[69]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

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

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

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

[73]  Kenneth Owen.  The Art and Science of Programming , 1983 .

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

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

[76]  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.

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

[78]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

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

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

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

[82]  Yves Lesprance,et al.  Integrating Planning into Reactive High-Level Robot Programs , 2000 .

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

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

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

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

[87]  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.

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

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

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

[91]  Ronald P. A. Petrick,et al.  Modeling an Agent ’ s Incomplete Knowledge during Planning and Execution , 1998 .

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