Multiagent Mission Speciication and Execution

Specifying a reactive behavioral con guration 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 di cult task is simpli ed 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 speci c 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 con gurations (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 Con guration Description Language (CDL) is developed to capture the recursive composition of con gurations in an architectureand robot-independent fashion. The MissionLab system, an implementation based on CDL, supports the graphical construction of con gurations using a visual editor. Various multiagent missions are demonstrated in simulation and on our Denning robots using these tools.

[1]  William Rowan,et al.  The Study of Instinct , 1953 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[22]  D.J. Miller,et al.  An object-oriented environment for robot system architectures , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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