On Augmenting Reactivity with Deliberation in a Controlled Manner

We argue that a reactive agent obeying the requirement of predictability imposed by a hard-real-time application domain cannot be equipped with an arbitrarily powerful deliberation capability as this would jeopardize the predictability of the agent's behaviour. Therefore such augmentation should be performed in a principled, controlled manner. We illustrate our line of thought with the example of Generic Layered Architecture used for creating reactive agents acting in dynamic environments requiring real-time responsiveness.

[1]  John A. Stankovic,et al.  Real-time computing systems: the next generation , 1988 .

[2]  Jacek Malec,et al.  Timing Analysis of RL Programs 1 , 1997 .

[3]  Cristiano Castelfranchi,et al.  Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages , 2000 .

[4]  James S. Albus,et al.  NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) , 1989 .

[5]  Man Lin.  Synthesis of Control Software in a Layered Architecture from Hybrid Automata ? , .

[6]  Jacek Malec,et al.  Driver support in intelligent autonomous cruise control , 1994, Proceedings of the Intelligent Vehicles '94 Symposium.

[7]  Man Lin.  Formal Analysis of Reactive Rule-based Programs , 1997 .

[8]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[9]  A. Roadmapof.  A Roadmap of Agent Research and Development , 1995 .

[10]  Koen V. Hindriks,et al.  Control Structures of Rule-Based Agent Languages , 1998, ATAL.

[11]  J. Crowley,et al.  On Implementing Behaviours Using a Three-layered Architecture , 1994 .

[12]  Wayne Wobcke,et al.  On the Correctness of PRS Agent Programs , 1999, ATAL.

[13]  Innes A. Ferguson.  TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

[14]  Jörg P. Müller,et al.  The Right Agent (Architecture) to do the Right Thing , 1998, ATAL.

[15]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

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

[17]  R. Peter Bonasso,et al.  Integrating Reaction Plans and Layered Competences Through Synchronous Control , 1991, IJCAI.

[18]  Vicent J. Botti,et al.  Modelling Agents in Hard Real-Time Environments , 1999, MAAMAW.

[19]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[20]  Jörg P. Müller,et al.  On The Evaluation of Agent Architectures , 1999, ATAL.

[21]  David J. Musliner,et al.  CIRCA: a cooperative intelligent real-time control architecture , 1993, IEEE Trans. Syst. Man Cybern..

[22]  Anand S. Rao,et al.  A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.

[23]  Devika Subramanian,et al.  Provably Bounded Optimal Agents , 1993, IJCAI.

[24]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[25]  Jaeho Lee.  Reactive-System Approaches to Agent Architectures , 1999, ATAL.

[26]  Erann Gat,et al.  Reliable goal-directed reactive control of autonomous mobile robots , 1991 .

[27]  Barbara Hayes Roth.  Architectural foundations for real-time performance in intelligent agents , 1990 .

[28]  Jacek Malec.  A Unified Approach to Intelligent Agency , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[29]  Jonathan H. Connell,et al.  SSS: a hybrid architecture applied to robot navigation , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[30]  E. Gat.  Integrating Planning and Reacting Architecture for Controlling , 1999 .

[31]  Man Lin.  Timing Analysis of PL Programs , 1999 .

[32]  Jacek Malec,et al.  Control of a manufacturing cell using a generic layered architecture , 1999, Proceedings of the First Workshop on Robot Motion and Control. RoMoCo'99 (Cat. No.99EX353).

[33]  Patrik Haslum,et al.  Extending TALplanner with Concurrency and Resources , 2000, ECAI.

[34]  Shlomo Zilberstein,et al.  Anytime Sensing Planning and Action: A Practical Model for Robot Control , 1993, IJCAI.

[35]  Simin Nadjm-Tehrani,et al.  Real-time hierarchical control , 1992, IEEE Software.

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

[37]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[38]  Dov M. Gabbay,et al.  Labelled Deductive Systems: Volume 1 , 1996 .

[39]  Man Lin.  Analysis and synthesis of reactive systems : a generic layered architecture perspective , 1999 .