Multiagent Mission Specification and Execution

Specifying a reactive behavioral configuration for use by a multiagent team requires both a careful choice of the behavior set and the creation of a temporal chain of behaviors which executes the mission. This difficult task is simplified by applying an object-oriented approach to the design of the mission using a construction called an assemblage and a methodology called temporal sequencing. The assemblage construct allows building high level primitives which provide abstractions for the designer. Assemblages consist of groups of basic behaviors and coordination mechanisms that allow the group to be treated as a new coherent behavior. Upon instantiation, the assemblage is parameterized based on the specific mission requirements. Assemblages can be re-parameterized and used in other states within a mission or archived as high level primitives for use in subsequent projects. Temporal sequencing partitions the mission into discrete operating states with perceptual triggers causing transitions between those states. Several smaller independent configurations (assemblages) can then be created which each implement one state. The Societal Agent theory is presented as a basis for constructions of this form. The Configuration Description Language (CDL) is developed to capture the recursive composition of configurations in an architecture- and robot-independent fashion. The MissionLab system, an implementation based on CDL, supports the graphical construction of configurations using a visual editor. Various multiagent missions are demonstrated in simulation and on our Denning robots using these tools.

[1]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[2]  Willie Y. Lim,et al.  SAL: a language for developing an agent-based architecture for mobile robots , 1993, Other Conferences.

[3]  Rodney A. Brooks,et al.  A robot that walks; emergent behaviors from a carefully evolved network , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[4]  N. Tinbergen,et al.  The Study of Instinct , 1953 .

[5]  Rodney A. Brooks,et al.  The Behavior Language: User''s Guide , 1990 .

[6]  Leslie Pack Kaelbling,et al.  Rex Programmer's Manual , 1988 .

[7]  Tom Henderson,et al.  Logical sensor systems , 1984, J. Field Robotics.

[8]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[9]  Daniel G. Bobrow,et al.  Common lisp object system specification , 1988, SIGP.

[10]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[11]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[12]  Ronald C. Arkin Towards Cosmopolitan Robot: Intelligent Navigation in Extended , 1987 .

[13]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[14]  Damian M. Lyons,et al.  Representing and analyzing action plans as networks of concurrent processes , 1993, IEEE Trans. Robotics Autom..

[15]  Leslie Pack Kaelbling,et al.  Action and planning in embedded agents , 1990, Robotics Auton. Syst..

[16]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[17]  Thomas C. Henderson,et al.  Logical behaviors , 1990, J. Field Robotics.

[18]  Michael A. Arbib,et al.  A Basis for Theoretical Computer Science , 1981, Texts and Monographs in Computer Science.

[19]  Stanley A. Schneider,et al.  The ControlShell component-based real-time programming system , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[20]  Tucker R. Balch,et al.  Motor Schema-Based Formation Control for Multiagent Robot Teams , 1995, ICMAS.

[21]  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.

[22]  Ali R. Hurson,et al.  Dataflow architectures and multithreading , 1994, Computer.

[23]  Jay Gowdy SAUSAGES: Between Planning and Action , 1997 .

[24]  Ronald C. Arkin,et al.  Temporal coordination of perceptual algorithms for mobile robot navigation , 1994, IEEE Trans. Robotics Autom..

[25]  Lee Spector Supervenience in dynamic-world planning , 1992 .

[26]  M. Minsky The Society of Mind , 1986 .

[27]  Maja J. Mataric,et al.  Minimizing complexity in controlling a mobile robot population , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[28]  Pradeep K. Khosla,et al.  Rapid development of robotic applications using component-based real-time software , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

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

[30]  Lynne E. Parker,et al.  Adaptive action selection for cooperative agent teams , 1993 .

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

[32]  Edmund H. Durfee,et al.  UM-PRS: An implementation of the procedural reasoning system for multirobot applications , 1994 .

[33]  Alessandro Saffiotti,et al.  A Multivalued Logic Approach to Integrating Planning and Control , 1995, Artif. Intell..

[34]  Pradeep K. Khosla,et al.  Visual Programming and Hypermedia Implementation within a Distributed Laboratory Environment , 1995, Intell. Autom. Soft Comput..

[35]  Pattie Maes,et al.  The Dynamics of Action Selection , 1989, IJCAI.

[36]  Tucker R. Balch,et al.  Io, Ganymede, and Callisto A Multiagent Robot Trash-Collecting Team , 1995, AI Mag..

[37]  Leslie Pack Kaelbling,et al.  Goals as Parallel Program Specifications , 1988, AAAI.

[38]  Edmund H. Durfee,et al.  UM-PRS V3.0 Programmer and User Guide , 1994 .

[39]  Lynne E. Parker,et al.  Heterogeneous multi-robot cooperation , 1994 .

[40]  David J. Miller,et al.  An object-oriented environment for robot system architectures , 1991, IEEE Control Systems.

[41]  Edward M. Riseman,et al.  Towards cosmopolitan robots: intelligent navigation in extended man-made environments , 1987 .

[42]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[43]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[44]  Jonathan H. Connell,et al.  A colony architecture for an artificial creature , 1989 .

[45]  Lynne E. Parker Local Versus Global Control Laws for Cooperative Agent Teams , 1992 .

[46]  Ronald C. Arkin,et al.  Motor Schema — Based Mobile Robot Navigation , 1989, Int. J. Robotics Res..

[47]  Stanley A. Schneider,et al.  ControlShell: component-based real-time programming , 1995, Proceedings Real-Time Technology and Applications Symposium.

[48]  Maja J. Matarić,et al.  Designing emergent behaviors: from local interactions to collective intelligence , 1993 .

[49]  Pattie Maes,et al.  Situated agents can have goals , 1990, Robotics Auton. Syst..