Immobile Robots AI in the New Millennium

A new generation of sensor-rich, massively distributed, autonomous systems are being developed that have the potential for profound social, environmental, and economic change. These systems include networked building energy systems, autonomous space probes, chemical plant control systems, satellite constellations for remote ecosystem monitoring, power grids, biospherelike life-support systems, and reconfigurable traffic systems, to highlight but a few. To achieve high performance, these immobile robots (or immobots) will need to develop sophisticated regulatory and immune systems that accurately and robustly control their complex internal functions. Thus, immobots will exploit a vast nervous system of sensors to model themselves and their environment on a grand scale. They will use these models to dramatically reconfigure themselves to survive decades of autonomous operation. Achieving these large-scale modeling and configuration tasks will require a tight coupling between the higher-level coordination function provided by symbolic reasoning and the lower-level autonomic processes of adaptive estimation and control. To be economically viable, they will need to be programmable purely through high-level compositional models. Self-modeling and self-configuration, autonomic functions coordinated through symbolic reasoning, and compositional, model-based programming are the three key elements of a model-based autonomous system architecture that is taking us into the new millennium.

[1]  Richard B. Segal Softbots as Testbeds for Machine Learning , 1992 .

[2]  Brian C. Williams,et al.  Decompositional Modeling through Caricatural Reasoning , 1994, AAAI.

[3]  Andreas Malik,et al.  Peter Struss : Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation , 1996 .

[4]  Erann Gat,et al.  Remote agent prototype for spacecraft autonomy , 1996, Optics & Photonics.

[5]  Joann J. Ordille,et al.  Query-Answering Algorithms for Information Agents , 1996, AAAI/IAAI, Vol. 1.

[6]  Tom M. Mitchell,et al.  A Personal Learning Apprentice , 1992, AAAI.

[7]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[8]  B. Williams,et al.  A Model-based Approach to Reactive Self-Con guring Systems , 1996 .

[9]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

[10]  Bart Selman,et al.  An Experiment in the Design of Software Agents , 1994, AAAI.

[11]  Brian C. Williams,et al.  Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.

[12]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[13]  Elisha Sacks,et al.  PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS , 1992, Comput. Intell..

[14]  Pattie Maes,et al.  Learning Interface Agents , 1993, AAAI.

[15]  R. James Firby,et al.  The RAP language manual , 1995 .

[16]  Walter Hamscher,et al.  Modeling Digital Circuits for Troubleshooting , 1991, Artif. Intell..

[17]  Brian C. Williams Model-Based Autonomous Systems in the New Millenium , 1996, AIPS.

[18]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[19]  Bill Millar,et al.  Automated Decomposition of Model-based Learning Problems , 1996 .

[20]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[21]  B. Habibi,et al.  Pengi : An Implementation of A Theory of Activity , 1998 .

[22]  Oren Etzioni,et al.  A softbot-based interface to the Internet , 1994, CACM.