Multi-agency Is Coordination and (Limited) Communication

  • Piotr Kaźmierczak
  • Thomas Ågotnes
  • Wojciech Jamroga
Conference paper

DOI: 10.1007/978-3-319-13191-7_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8861)
Cite this paper as:
Kaźmierczak P., Ågotnes T., Jamroga W. (2014) Multi-agency Is Coordination and (Limited) Communication. In: Dam H.K., Pitt J., Xu Y., Governatori G., Ito T. (eds) PRIMA 2014: Principles and Practice of Multi-Agent Systems. PRIMA 2014. Lecture Notes in Computer Science, vol 8861. Springer, Cham

Abstract

Systems within the agent-oriented paradigm range from ones where a single agent is coupled with an environment to ones inhabited by a large number of autonomous entities. In this paper, we look at what distinguishes single-agent systems from multi-agent systems. We claim that multi-agency implies limited coordination, in terms of action and/or information. If a team is characterized by full coordination both on the level of action choice and the available information, then we may as well see the team as a single agent in disguise. To back the claim formally, we consider a variant of Alternating-time Temporal Logic atl where each coalition operates with a single indistinguishability relation. For this variant, we propose a truth-preserving translation of formulas and models in the syntactic fragment of atl where only singleton coalitions are allowed. In consequence, we show that assuming unified view of the world on part of each coalition reduces the full language of atl to its single-agent fragment when a model is given.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Piotr Kaźmierczak
    • 1
    • 2
  • Thomas Ågotnes
    • 2
  • Wojciech Jamroga
    • 3
    • 4
  1. 1.Department of Computing, Mathematics and PhysicsBergen University CollegeBergenNorway
  2. 2.Department of Information Science and Media StudiesUniversity of BergenBergenNorway
  3. 3.Computer Science and Communication, and Interdisciplinary Centre for Security, Reliability and TrustUniversity of LuxembourgLuxembourg
  4. 4.Institute of Computer Science, Polish Academy of SciencesWarsawPoland

Personalised recommendations