Implementing task-level mission management for intelligent autonomous vehicles

Mission Management forms an integral part of the command and control system for truly intelligent autonomous vehicles. It is responsible for overall coordination of robot subsystem activities, directing them to achieve some optimal set of goals. The Mission Management system for an autonomous land vehicle is implemented in C++ using clausal form logic and temporal reasoning. The representations used and the structure are described, emphasising the separation in software of the planning representations from their implementation in C++ classes.

[1]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[2]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[3]  R.J.C. Fraser,et al.  Infrastructure for real-time robotic control: aspects of robot command language , 1991 .

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

[5]  R.J.C. Fraser,et al.  Architecture for real-time intelligent control of autonomous vehicles , 1991 .

[6]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[7]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[8]  Marcel Schoppers,et al.  In Defense of Reaction Plans as Caches , 1989, AI Mag..

[9]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

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

[11]  P. Hayes The frame problem and related problems in artificial intelligence , 1971 .

[12]  M. P. Georgeff,et al.  Reasoning about plans and actions , 1988 .

[13]  James S. Albus,et al.  Concept for a Reference Model Architecture for Real-Time Intelligent Control Systems (ARTICS) , 1990 .

[14]  Henry Kautz,et al.  A model of naive temporal reasoning , 1985 .

[15]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[16]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[17]  Edward P. K. Tsang,et al.  The Consistent Labeling Problem in Temporal Reasoning , 1987, AAAI.

[18]  David Chapman,et al.  Penguins Can Make Cake , 1989, AI Mag..

[19]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

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