Author:
Ågotnes Thomas,Alechina Natasha,Galimullin Rustam
Abstract
AbstractPublic announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that, in fact, there are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge. We also consider several natural variants of GAL with distributed knowledge, as well as some other related logic, and compare their expressive power.
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference32 articles.
1. Ågotnes, T., & Alechina, N. (2019). Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, 29(7), 1041–1069. https://doi.org/10.1093/logcom/exv085
2. Ågotnes, T., Balbiani, P., van Ditmarsch, H., & Seban, P. (2010). Group announcement logic. Journal of Applied Logic, 8(1), 62–81. https://doi.org/10.1016/j.jal.2008.12.002
3. Ågotnes, T., & van Ditmarsch, H. (2008). Coalitions and announcements. In L. Padgham, D. C. Parkes, J. P. Müller, S. Parsons (Eds.), Proceedings of the 7th AAMAS (pp. 673–680). IFAAMAS.
4. Ågotnes, T., & Wáng, Y. N. (2017). Resolving distributed knowledge. Artificial Intelligence, 252, 1–21. https://doi.org/10.1016/j.artint.2017.07.002
5. Alechina, N., van Ditmarsch, H., Galimullin, R., & Wang, T. (2021). Verification and strategy synthesis for coalition announcement logic. Journal of Logic, Language and Information.https://doi.org/10.1007/s10849-021-09339-6
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. To be announced;Information and Computation;2023-06
2. Quantifying over information change with common knowledge;Autonomous Agents and Multi-Agent Systems;2023-03-08
3. The Expressivity of Quantified Group Announcements;Journal of Logic and Computation;2022-11-24