The Logic of Communication Graphs
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.
Unable to display preview. Download preview PDF.
- 2.Chopra, S., Pacuit, E., Parikh, R.: Knowledge-theoretic Properties of Strategic Voting. In: Alferes, J.J., Leite, J. (eds.) Proceedings of 9th European Conference on Logics in Artifical Intelligence. LNCS (LNAI), pp. 18–30. Springer, Heidelberg (2004)Google Scholar
- 4.Georgatos, K.: Modal Logics for Topological Spaces. PhD Dissertation. Graduate School and University Center. City University of New York (1993)Google Scholar
- 5.Georgatos, K.: Knowledge Theoretic Properties of Topological Spaces. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147–159. Springer, Heidelberg (1994)Google Scholar
- 7.Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. dissertation, University of Amsterdam (1999)Google Scholar
- 9.Heinemann, B.: Extending Topological Nexttime Logic. In: Goodwin, S.D., Trudel, A. (eds.) Temporal Representation and Reasoning, TIME-00, Cape Breton, Nova Scotia, Canada, pp. 87–94. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
- 11.Kooi, B.: Knowledge, Chance, and Change, Ph.D. dissertation, University of Groningen (2003)Google Scholar
- 13.Moss, L., Parikh, R.: Topological Reasoning and the Logic of Knowledge. In: Moses, Y. (ed.) TARK IV. Morgan Kaufmann, San Francisco (1992)Google Scholar
- 15.Parikh, R., Pacuit, E., Cogan, E.: The logic of knowledge based obligation. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476. Springer, Heidelberg (2005); Forthcoming in Knowledge Rationality and Action: Special Issue on the Knowledge and Games Workshop (2005)Google Scholar
- 16.Parikh, R., Ramanujam, R.: Distributed Processing and the Logic of Knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 256–268. Springer, Heidelberg (1985)Google Scholar
- 18.Plaza, J.: Logics of public communications. In: Proceedings, 4th International Symposium on Methodologies for Intelligent Systems (1989)Google Scholar
- 19.van Ditmarsch, H.: Knowledge Games, Ph.D. dissertation, University of Groningen (2000)Google Scholar