The Rational Behavior Model: A Multi-Paradigm, Tri-Level Software Architecture for the Control of Autonomous Vehicles

Abstract : There is currently a very strong interest among researchers in the fields of artificial intelligence and robotics in finding more effective means of linking high level symbolic computations relating to mission planning and control for autonomous vehicles to low level vehicle control software. The diversity exhibited by the many processes involved in such control has resulted in a number of proposals for a general software architecture intended to provide an efficient yet flexible framework for the organization and interaction of relevant software components. The Rational Behavior Model (RBM) has been developed with these requirements in mind and consists of three levels, called the Strategic, the Tactical, and the Execution levels, respectively. Each level reflects computations supporting the solution to the global control problem based on different abstraction mechanisms. The unique contribution of the RBM architecture is the idea of specifying different programming paradigms to realize each software level. Specifically, RBM uses rule-based programming for the Strategic level, thereby permitting field reconfiguration of missions by a mission specialist without reprogramming at lower levels. The Tactical level realizes vehicle behaviors as the methods of software objects programmed in an object-based language such as Ada. These behaviors are initiated by rule satisfaction at the Strategic level, thereby rationalizing their interaction. The Execution level is programmed in any imperative language capable of supporting efficient execution of real-time control of the underlying vehicle hardware.

[1]  Ø.J. Rødseth.  Object-oriented software system for AUV control , 1991 .

[2]  Gordon Bell,et al.  Ethernet: Distributed Packet Switching for Local Computer Networks , 1976 .

[3]  Avinash C. Kak,et al.  Spar: A Planner that Satisfies Operational and Geometric Goals in Uncertain Environments , 1990, AI Mag..

[4]  Se-Hung Kwak.  A computer simulation study of a free gait motion coordination algorithm for rough-terrain locomotion by a hexapod walking machine , 1986 .

[5]  Robert B. McGhee,et al.  Rule-based motion coordination for a hexapod walking machine , 1989, Adv. Robotics.

[6]  Jean-Jacques E. Slotine,et al.  The influence of thruster dynamics on underwater vehicle behavior and their incorporation into control system design , 1990 .

[7]  Matthew Turk,et al.  VITS-A Vision System for Autonomous Land Vehicle Navigation , 1988, IEEE Trans. Pattern Anal. Mach. Intell..

[8]  David Spencer Day.  Achieving flexibility for autonomous agents in dynamic environments , 1991 .

[9]  David W. Payton,et al.  An architecture for reflexive autonomous vehicle control , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[10]  John P. McDermott,et al.  Easy programming: empowering people to build their own applications , 1992, IEEE Expert.

[11]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[12]  Robert G. Clark.  Comparative programming languages: a conceptual approach , 1988 .

[13]  John McCarthy,et al.  History of LISP , 1978, SIGP.

[14]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[15]  X. Zheng.  Layered control of a practical AUV , 1992, Proceedings of the 1992 Symposium on Autonomous Underwater Vehicle Technology.

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

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

[18]  David Alex Lamb,et al.  Software engineering - planning for change , 1988 .

[19]  Alan Snyder,et al.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPLSA '86.

[20]  Se-Hung Kwak,et al.  Rational behavior Model: A Tri-Level Multiple Paradigm Architecture for Robot Vehicle Control Software , 1992 .

[21]  Don Brutzman.  From virtual world to reality: designing an autonomous underwater robot , 1992 .

[22]  Kwei-Jay Lin,et al.  Guest Editors' Introduction: Coming to Grips with Real-Time Realities , 1992, IEEE Softw..

[23]  R. McGhee,et al.  The adaptive suspension vehicle , 1986, IEEE Control Systems Magazine.

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

[25]  Hongyi Zhou,et al.  Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads , 1992, IEEE Trans. Software Eng..

[26]  Gérard Berry,et al.  The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.

[27]  Wilfrid P. Wilkinson.  Mission executor for an autonomous underwater vehicle. , 1991 .

[28]  James L. Crowley,et al.  Navigation for an intelligent mobile robot , 1985, IEEE J. Robotics Autom..

[29]  James D. Kiper.  Structural testing of rule-based expert systems , 1992, TSEM.

[30]  Hobart R. Everett,et al.  Modeling the Environment of a Mobile Security Robot , 1990 .

[31]  Don Brutzman,et al.  Integrated simulation for rapid development of autonomous underwater vehicles , 1992, Proceedings of the 1992 Symposium on Autonomous Underwater Vehicle Technology.

[32]  N. Nilsson,et al.  Readings in Artificial Intelligence , 1981 .

[33]  Randall Davis,et al.  An overview of production systems , 1975 .

[34]  Alan Burns.  Concurrent programming in Ada , 1985 .

[35]  Marvin Minsky,et al.  Logical Versus Analogical or Symbolic Versus Connectionist or Neat Versus Scruffy , 1991, AI Mag..

[36]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[37]  Lui Sha,et al.  Real-time scheduling theory and Ada , 1990, Computer.

[38]  Mordechai Ben-Ari,et al.  Principles of concurrent programming , 1982 .

[39]  Éric Rutten,et al.  A task-level robot programming language and its reactive execution , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[40]  Zohar Manna,et al.  The logical basis for computer programming , 1985 .

[41]  Maja J. Mataric,et al.  Integration of representation into goal-driven behavior-based robots , 1992, IEEE Trans. Robotics Autom..

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

[43]  Douglas B. Nordman.  A computer simulation study of mission planning and control for the NPS autonomous underwater vehicle , 1989 .

[44]  Udo W. Pooch,et al.  Ftmp: a protocol for operating system fault tolerance in a fully distributed, loosely coupled environment , 1990 .

[45]  Nils J. Nilsson,et al.  TRIANGLE TABLES: A PROPOSAL FOR A ROBOT PROGRAMMING LANGUAGE , 1985 .

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

[47]  J. K. Rosenblatt,et al.  A fine-grained alternative to the subsumption architecture for mobile robot control , 1989, International 1989 Joint Conference on Neural Networks.

[48]  James G. Bellingham,et al.  Keeping layered control simple (autonomous underwater vehicles) , 1990, Symposium on Autonomous Underwater Vehicle Technology.

[49]  E. Shortliffe.  Mycin: computer-based medical consultations , 1976 .

[50]  Richard H. Carver,et al.  Replay and testing for concurrent programs , 1991, IEEE Software.

[51]  Nils J. Nilsson,et al.  A Mobile Automaton: An Application of Artificial Intelligence Techniques , 1969, IJCAI.

[52]  Robert B. McGhee,et al.  Rule-based motion coordination for the adaptive suspension vehicle , 1988 .

[53]  Udi Manber,et al.  Introduction to algorithms , 1989 .

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

[55]  David E. Orin,et al.  Reflex control of the prototype leg during contact and slippage , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[56]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[57]  E. Douglas Jensen.  Asynchronous Decentralized Realtime Computer Systems , 1992, NATO ASI RTC.

[58]  Ravi Sethi,et al.  Programming languages - concepts and constructs , 1988 .

[59]  Bruce J. MacLennan,et al.  Principles of Programming Languages , 1983 .

[60]  G. N. Saridis,et al.  Intelligent robotic control , 1983 .

[61]  Seow Meng Ong.  A Mission Planning Expert System with Three-Dimensional Path Optimization for the NPS Model 2 Autonomous Underwater Vehicle , 1990 .

[62]  Mark R. Patterson,et al.  Controlling the adaptive suspension vehicle , 1989, Computer.

[63]  Luqi,et al.  Software engineering with abstractions , 1991 .

[64]  William B. Gevarter.  Intelligent machines: An introductory perspective of artificial intelligence and robotics , 1985 .

[65]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[66]  S. Sitharama Iyengar,et al.  Autonomous Mobile Robots , 1991 .

[67]  Michael L. Nelson,et al.  An experimental comparison of hierarchical and subsumption software architectures for control of an autonomous underwater vehicle , 1992, Proceedings of the 1992 Symposium on Autonomous Underwater Vehicle Technology.