TEAMLOG in Action: a Case Study in Teamwork

This article presents a case study of a theoretical multi-agent system designed to clean up ecological disasters. It focuses on the interactions within a heterogeneous team of agents, outlines their goals and plans, and establishes the necessary distribution of information and commitment throughout the team, including its sub-teams. These aspects of teamwork are presented in the TeamLog formalism [20], based on multimodal logic, in which collective informational and motivational attitudes are first-class citizens. Complex team attitudes are justified to be necessary in the course of teamwork. The article shows how to make a bridge between theoretical foundations of TeamLog and an application and illustrates how to tune TeamLog to the case study by establishing sufficient, but still minimal levels for the team attitudes