An approach to team programming with markup for operator interaction

This paper presents a team plan specification language that combines work in the creation of generic team plans and design of intelligent interfaces. Two motivations the language are (1) to combine inter-agent cooperation and operator interaction of complex behaviors into a single plan, and (2) to separate plan design and UI design such that they are created by application domain experts and human interaction experts, respectively. The result is a generic language for multi-robot plans that defines tasks to be performed, interactions for maintaining situational awareness, and mixed initiative reactions to operator workload.

[1]  Ronald C. Arkin,et al.  Usability evaluation of high-level user assistance for robot mission specification , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[2]  Michael A. Goodrich,et al.  Experiments in adjustable autonomy , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[3]  Milind Tambe,et al.  Agent Architectures for Flexible, Practical Teamwork , 1997, AAAI/IAAI.

[4]  Shafiq Abedin,et al.  Scalable target detection for large robot teams , 2011, 2011 6th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[5]  Daniele Nardi,et al.  Petri net plans: a formal model for representation and execution of multi-robot plans , 2008, AAMAS.

[6]  John Yen,et al.  Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.

[7]  David B. Kaber,et al.  The effects of level of automation and adaptive automation on human performance, situation awareness and workload in a dynamic control task , 2004 .

[8]  Raja Parasuraman,et al.  Designing for Flexible Interaction Between Humans and Automation: Delegation Interfaces for Supervisory Control , 2007, Hum. Factors.

[9]  Mary L. Cummings,et al.  Mixed-initiative strategies for real-time scheduling of multiple unmanned vehicles , 2012, 2012 American Control Conference (ACC).