Area: Logic and Computation (LoCo)
Level: Foundational
Lecturer(s): Alexandru Baltag and Sonja Smets
Abstract:
This course is addressed to students interested in the logical analysis of complex multi-agent scenarios involving data-exchange and communication. We look at various forms of information flow that can affect both the individual knowledge and the group knowledge of interacting agents. These scenarios include acts by which individuals or groups can publicly or privately access whole databases and `grab’ (read, copy, transmit or modify) all the information stored in them (including numerical, or other non-propositional, data). We present a family of dynamic logics, based on extensions of Dynamic Epistemic Logic that can handle exchanges in which the relevant data are not necessarily in propositional form. We study the expressive power of data-exchange logics, provide complete axiomatizations, show their decidability, and apply them to a range of examples, including sharing an internet resource, learning another agent’s password, hacking a private database, detecting a cryptographic attack, etc.
Lecture 1: Slides
Lecture 2: Slides
Lecture 3: Slides (first part), Slides (second part)
Lecture 4: Slides (updated version v2)
Lecture 5: Slides (updated version v2)
References:
T. Agotnes and Y.N. Wang, Resolving Distributed Knowledge, Artificial Intelligence, 252:1-21, 2017.
W. Armstrong, Dependency Structures of Database Relationships, Proceedings IFIP Conference, 580-583, 1974.
A. Baltag. A Logic for Suspicious Players: Epistemic Actions and Belief Update in Games. Bulletin of Economic Research, 54 (1): 1–46, 2002.
A. Baltag, To Know is to Know the Value of a Variable, Advances In Modal Logic 2016, 135-155, 2016.
A. Baltag and J. van Benthem, A Simple Logic of Functional Dependence. Journal of Philosophical Logic, 50:939-1005, 2021.
A. Baltag, L.S. Moss, S. Solecki. The Logic of Public Announcements, Common Knowledge and Private Suspicions. Proceedings of TARK’98 (Seventh Conference on Theoretical Aspects of Rationality and Knowledge), 43–56. 1998. Morgan Kaufmann Publishers.
A. Baltag, L. S. Moss. Logics for Epistemic Programs. J. Symons, J. Hintikka. (eds.), W. van der Hoek (special section editor), Synthese (“An International Journal for Epistemology, Methodology and Philosophy of Science”), 139 (2): 165-224, 2004.
A. Baltag and S. Smets. A Qualitative Theory of Dynamic Interactive Belief Revision. In G. Bonanno, W. van der Hoek and M. Wolldridge (eds.), Texts in Logic and Games (3): 11–58, Amsterdam University Press, 2008.
A. Baltag and S. Smets. Talking Your Way into Agreement: Belief Merge by Persuasive Communication. CEUR Workshop Proceedings, Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7–10, 2009. pp. 129–141. 2009.
A. Baltag and S. Smets, Learning what others know, in LPAR23, proc. of the International Conference on Logic for Programming AI and Reasoning, EPiC Series in Computing, 73:90-110, 2020.
A. Baltag and S. Smets, Logics for Data Exchange and Communication, in proceedings of Advances in Modal Logic, forthcoming 2024.
J. van Benthem, One is a lonely number. In P. Koepke Z. Chatzidakis and W. Pohlers, (eds.) Logic Colloquium 2002, 96-129, ASL and A.K. Peters, Wellesley MA, 2002.
J. van Benthem. Logical Dynamics of Information Flow. Cambridge Univ Press. 2011.
J. van Benthem, J. van Eijck & B. Kooi, Logics of Communication and Change, Information and Communication, 204:11, 1620-1662, 2006.
P. Blackburn, M. de Rijke & Y. Venema, Modal Logic, Cambridge University Press, Cambridge, 2000.
H. P. van Ditmarsch, W. van der Hoek and B. P. Kooi. Dynamic Epistemic Logic, vol. 337 of Synthese Library. Springer, 2007.
H. van Ditmarsch, E. Goubault, J. Ledent and S. Rajsbaum, Knowledge and simplicial complexes. PSSP, volume 143, 2022
J. van Eijck, M. Gattinger, Y. Wang, Knowing Values and Public Inspection, in 7th Indian Conference on Logic and Its Applications, ICLA2017, 77-90, 2017.
R. Fagin, J. Halpern, Y. Moses & M. Vardi, Reasoning About Knowledge, The MIT Press, Cambridge MA, 1995.
R. Parikh & R. Ramanujam, 2003, A Knowledge-Based Semantics of Messages, Journal of Logic, Language and Information, 12, 453-467, 2003.
R. Parikh, 2003, Levels of Knowledge, Games and Group Action, Research in Economics, 57, 267-281, 2003.
J. Plaza, Logics of Public Communication, Proc. 4th International Symposium on Methodologies for Intelligent Systems, 201-216, 1989.
D. Velazquez, A. Castaneda, D. Rosenblueth, Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems. Tark proceedings, 2021.