The Logic of Communication Graphs

  • Eric Pacuit
  • Rohit Parikh
Conference paper

DOI: 10.1007/11493402_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3476)
Cite this paper as:
Pacuit E., Parikh R. (2005) The Logic of Communication Graphs. In: Leite J., Omicini A., Torroni P., Yolum . (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science, vol 3476. Springer, Berlin, Heidelberg

Abstract

In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed to have some private information at the outset, but may refine their information by acquiring information possessed by other agents, possibly via yet other agents.

Let us assume that the agents are connected by a communication graph. In the communication graph, an edge from agent i to agent j means that agent i can directly receive information from agent j. Agent i can then refine its own information by learning information that j has, including information acquired by j from another agent, k. We introduce a multi-agent modal logic with knowledge modalities and a modality representing communication among agents. We show that the validities of Topologic remain valid and that the communication graph is completely determined by the validities of the resulting logic. Applications of our logic to current political dilemmas are obvious.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Eric Pacuit
    • 1
  • Rohit Parikh
    • 2
  1. 1.Computer Science DepartmentThe Graduate Center of CUNYNew York City
  2. 2.CS, Math and PhilosophyBrooklyn College and The Graduate Center of CUNYNew York City

Personalised recommendations