The domestic robot—a friendly cognitive system takes care of your home

The system we describe in this paper is an indoor intelligent system, that is still under development. Our goal is to evolve the system with abilities suitable for a domestic robot, that has to cope with a continuously evolving ambient, the house. The interest of the system relies in its architecture that has been studied and designed for the purpose of integrating some specific cognitive behavior like perception, symbolic map construction and making decisions in a whole hierarchy of intercommunicating levels.

[1]  Michael J. Swain,et al.  The animate agent architecture , 1998 .

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

[3]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[4]  John McCarthy,et al.  Programs with common sense , 1960 .

[5]  Jianwei Zhang,et al.  Integrating Deliberative and Reactive Strategies via Fuzzy Modular Control , 2001 .

[6]  Martin Levine,et al.  3D object representation using parametric geons , 1993 .

[7]  Martin Haegele,et al.  From Robots to Robot Assistants , 2001 .

[8]  Kurt Konolige,et al.  Blending reactivity and goal-directedness in a fuzzy controller , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

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

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

[11]  Alex Pentland,et al.  Perceptual Organization and the Representation of Natural Form , 1986, Artif. Intell..

[12]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[13]  Peter C. Cheeseman,et al.  Estimating uncertain spatial relationships in robotics , 1986, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[14]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Hum. Comput. Stud..

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

[16]  Peter Corke,et al.  Experimental Robotics VI, The Sixth International Symposium, Sydney, Australia, March 26-28, 1999 , 2000, ISER.

[17]  Benjamin Kuipers,et al.  The Spatial Semantic Hierarchy , 2000, Artif. Intell..

[18]  L. J. Savage,et al.  The Foundation of Statistics , 1956 .

[19]  R. Reiter,et al.  Planning with natural actions in the situation calculus , 2000 .

[20]  John K. Tsotsos.  Analyzing vision at the complexity level , 1990, Behavioral and Brain Sciences.

[21]  Sebastian Thrun,et al.  Probabilistic Algorithms in Robotics , 2000, AI Mag..

[22]  Sven J. Dickinson,et al.  Integrating qualitative and quantitative shape recovery , 1994, International Journal of Computer Vision.

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

[24]  Brian C. Williams,et al.  Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior , 2001, IJCAI.

[25]  Anthony R. Cassandra,et al.  Optimal Policies for Partially Observable Markov Decision Processes , 1994 .

[26]  Félix Ingrand,et al.  Online Execution Control Checking for Autonomous Systems , 2002 .

[27]  Hugh F. Durrant-Whyte,et al.  A solution to the simultaneous localization and map building (SLAM) problem , 2001, IEEE Trans. Robotics Autom..

[28]  Richard S. Sutton,et al.  Introduction to Reinforcement Learning , 1998 .

[29]  Wolfram Burgard,et al.  Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva , 2000, Int. J. Robotics Res..

[30]  Hans P. Moravec.  The CMU Rover , 1982, AAAI.

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

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

[33]  Richard S. Sutton,et al.  Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.

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

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

[36]  Sven J. Dickinson,et al.  PLAYBOT A visually-guided robot for physically disabled children , 1998, Image Vis. Comput..

[37]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[38]  Raymond Reiter,et al.  Open World Planning in the Situation Calculus , 2000, AAAI/IAAI.

[39]  Dirk John,et al.  A mobile robot platform for assistance and entertainment , 2001 .

[40]  Hugh F. Durrant-Whyte,et al.  An Experimental and Theoretical Investigation into Simultaneous Localisation and Map Building , 1999, ISER.

[41]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[42]  Wolfram Burgard,et al.  The Interactive Museum Tour-Guide Robot , 1998, AAAI/IAAI.

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

[44]  David Marr,et al.  VISION A Computational Investigation into the Human Representation and Processing of Visual Information , 2009 .

[45]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

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

[47]  A. Safiotti,et al.  Fuzzy logic in autonomous robotics: behavior coordination , 1997, Proceedings of 6th International Fuzzy Systems Conference.

[48]  Michael Jenkin,et al.  Reactivity in a Logic-Based Robot Programming Framework (Extended Version) , 1999 .

[49]  Danwei Wang,et al.  Trajectory planning for a four-wheel-steering vehicle , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[50]  Richard Ernest Bellman,et al.  An Introduction to Artificial Intelligence: Can Computers Think? , 1978 .

[51]  Chuen-Chien Lee.  FUZZY LOGIC CONTROL SYSTEMS: FUZZY LOGIC CONTROLLER - PART I , 1990 .

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

[53]  Alessandro Saffiotti,et al.  The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..

[54]  Peter A. Flach,et al.  Abduction and Induction , 2000 .

[55]  Karen Zita Haigh,et al.  Xavier: experience with a layered robot architecture , 1997, SGAR.

[56]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[57]  I. Biederman.  Recognition-by-components: a theory of human image understanding. , 1987, Psychological review.

[58]  Maja J. Mataric,et al.  Behaviour-based control: examples from navigation, learning, and group behaviour , 1997, J. Exp. Theor. Artif. Intell..