Abstract
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 team of agents, outlines their goals, and establishes the necessary distribution of knowledge and commitment throughout the team. In addition, cooperation between teams is treated. These aspects of teamwork are presented in the TEAMLOG formalism. We will show how to make a bridge between theoretical foundations of a BDI system and an application. Complex team attitudes are justified to be necessary in the course of teamwork. At the same time we show how to tune TEAMLOG to the casestudy by establishing sufficient, but still minimal levels for the team attitudes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aldewereld, H., van der Hoek, W., Meyer, J.-J.C.: Rational teams: Logical aspects of multi-agent systems. Fundamenta Informaticae 63 (2004)
Doherty, P., Dunin-Kȩplicz, B., Szałas, A.: Dynamics of approximate information fusion. In: Kryszkiewicz, M., Peters, J.F., Rybiński, H., Skowron, A. (eds.) RSEISP 2007. LNCS (LNAI), vol. 4585, pp. 668–677. Springer, Heidelberg (2007)
Doherty, P., Granlund, G., Kuchcinski, K., Nordberg, K., Sandewall, E., Skarman, E., Wiklund, J.: The WITAS unmanned aerial vehicle project. In: Proc. of the 14th European Conference on Artificial Intelligence, pp. 747–755 (2000)
Doherty, P., Łukaszewicz, W., Skowron, A., Szałas, A.: Knowledge Representation Techniques. A Rough Set Approach. Studies in Fuzziness and Soft Computing, vol. 202. Springer, Heidelberg (2006)
Dunin-Kȩplicz, B., Szałas, A.: Towards approximate BGI systems. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 277–287. Springer, Heidelberg (2007)
Dunin–Kȩplicz, B., Verbrugge, R.: Collective intentions. Fundamenta Informaticae 51(3), 271–295 (2002)
Dunin–Kȩplicz, B., Verbrugge, R.: A tuning machine for cooperative problem solving. Fundamenta Informaticae 63, 283–307 (2004)
Dunin-Kȩplicz, B., Verbrugge, R.: Creating common beliefs in rescue situations. In: Dunin-Keplicz, B., Jankowski, A., Skowron, A., Szczuka, M. (eds.) Proc. of Monitoring, Security and Rescue Techniques in Multiagent Systems (MSRAS), Berlin. Advances in Soft Computing, pp. 69–84. Springer, Heidelberg (2005)
Dunin-Kȩplicz, B., Verbrugge, R.: Awareness as a vital ingredient of teamwork. In: Stone, P., Weiss, G. (eds.) Proc. of the Fifth Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 1017–1024. ACM Press, New York (2006)
Dziubiński, M.: Complexity of the logic for multiagent systems with restricted modal context. In: Dunin-Kȩplicz, B., Verbrugge, R. (eds.) Proc. of the Third Int. Workshop on Formal Approaches to Multi-Agent Systems, FAMAS 2007, pp. 1–18. Durham University (2007)
Dziubiński, M., Verbrugge, R., Dunin–Kȩplicz, B.: Complexity issues in multiagent logics. Fundamenta Informaticae 75(1-4), 239–262 (2007)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Gold, N. (ed.): Teamwork. Palgrave McMillan, Basingstoke (2005)
Grant, J., Kraus, S., Perlis, D.: Formal approaches to teamwork. In: Artemov, S., et al. (eds.) We Will Show Them: Essays in Honour of Dov Gabbay, vol. 1, pp. 39–68. College Publications, London (2005)
Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269–357 (1996)
Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37, 549–587 (1990)
Kleiner, A., Prediger, J., Nebel, B.: RFID technology-based exploration and SLAM for search and rescue. In: Proc. of the IEEE/RSJ Int. Conference on Intelligent Robots and Systems (IROS 2006), Bejing, pp. 4054–4059 (2006)
Levesque, H., Cohen, P., Nunes, J.: On acting together. In: Proc. Eighth National Conference on AI (AAAI 1990), pp. 94–99. MIT Press, Cambridge (1990)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Theoretical Computer Science. Cambridge University Press, Cambridge (1995)
Parikh, R., Krasucki, P.: Levels of knowledge in distributed computing. Sadhana: Proc. of the Indian Academy of Sciences 17, 167–191 (1992)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proc. of the Second Conference on Knowledge Representation and Reasoning, pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Sycara, K., Lewis, M.: Integrating intelligent agents into human teams. In: Salas, E., Fiore, S. (eds.) Team Cognition: Understanding the Factors that Drive Process and Performance, Washington (DC), pp. 203–232. American Psychological Association (2004)
Tambe, M.: Teamwork in real-world, dynamic environments. In: Tokoro, M. (ed.) Proc. Second Int. Conference on Multi-Agent Systems, pp. 361–368. AAAI Press, Menlo Park (1996)
Wooldridge, M., Jennings, N.: Cooperative problem solving. Journal of Logic and Computation 9, 563–592 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dunin-Kȩplicz, B., Verbrugge, R., Ślizak, M. (2009). Case-Study for TeamLog, a Theory of Teamwork. In: Papadopoulos, G.A., Badica, C. (eds) Intelligent Distributed Computing III. Studies in Computational Intelligence, vol 237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03214-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-03214-1_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03213-4
Online ISBN: 978-3-642-03214-1
eBook Packages: EngineeringEngineering (R0)