skip to main content
10.5555/1402298.1402318acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

Coalitions and announcements

Published: 12 May 2008 Publication History

Abstract

Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitional ability, focusing on what coalitions of agents can achieve by cooperating strategically. In this paper we make a first attempt to bridge these topics by considering the question: "what can a coalition achieve by public announcements?". We propose, first, an extension of public announcement logic with constructs of the form <G>ϕ, where G is a set of agents, with the intuitive meaning that G can jointly make an announcement such that ϕ will be true afterwards. Second, we consider a setting where all agents can make (truthful) announcements at the same time, and propose a logic with a construct <[G]>ϕ, meaning that G can jointly make an announcement such that no matter what the other agents announce, ϕ will be true. The latter logic is closely related to Marc Pauly's Coalition Logic.

References

[1]
T. Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese (KRA), 149(2):377--409, 2006.
[2]
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. JACM, 49:672--713, 2002.
[3]
P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. D. Lima. What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability. In the Proceedings of TARK XI, pages 42--51, 2007.
[4]
B. Brogaard and J. Salerno. Fitch's paradox of knowability. In E. Zalta, editor, The Stanford Encycl. of Philosophy. 2004.
[5]
R. Goldblatt. Axiomatising the Logic of Computer Programming. Springer-Verlag, 1982.
[6]
W. Jamroga. Some remarks on alternating temporal epistemic logic. In Proc. FAMAS'03, pages 133--140, 2003.
[7]
W. Jamroga and T. Ågotnes. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics, 17(4):423--475, 2007.
[8]
W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63:185--219, 2004.
[9]
M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149--166, 2002.
[10]
J. Plaza. Logics of public communications. In Proc. of the 4th Intern. Symp. on Methodologies for Intel. Systems, pp. 201--216. Oak Ridge National Laboratory, 1989.
[11]
J. van Benthem. What one may come to know. Analysis, 64(2):95--105, 2004.
[12]
H. van Ditmarsch. The russian cards problem. Studia Logica, 75:31--62, 2003.
[13]
H. van Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. Springer, 2007.

Cited By

View all
  • (2019)Groups Versus CoalitionsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331790(953-961)Online publication date: 8-May-2019
  • (2016)Strengthening agents strategic ability with communicationProceedings of the Thirtieth AAAI Conference on Artificial Intelligence10.5555/3016100.3016251(2509-2515)Online publication date: 12-Feb-2016
  • (2014)The undecidability of group announcementsProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615874(893-900)Online publication date: 5-May-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
May 2008
673 pages
ISBN:9780981738116

Sponsors

In-Cooperation

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 12 May 2008

Check for updates

Author Tags

  1. coalition logic
  2. dynamic epistemic logic
  3. public announcements

Qualifiers

  • Research-article

Conference

AAMAS08
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Groups Versus CoalitionsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331790(953-961)Online publication date: 8-May-2019
  • (2016)Strengthening agents strategic ability with communicationProceedings of the Thirtieth AAAI Conference on Artificial Intelligence10.5555/3016100.3016251(2509-2515)Online publication date: 12-Feb-2016
  • (2014)The undecidability of group announcementsProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615874(893-900)Online publication date: 5-May-2014
  • (2013)Accumulative Knowledge under Bounded ResourcesProceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 814310.1007/978-3-642-40624-9_13(206-222)Online publication date: 16-Sep-2013
  • (2011)Alternating-time temporal announcement logicProceedings of the 12th international conference on Computational logic in multi-agent systems10.5555/2044543.2044555(105-121)Online publication date: 17-Jul-2011
  • (2011)Tractable model checking for fragments of higher-order coalition logicThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 210.5555/2031678.2031723(743-750)Online publication date: 2-May-2011
  • (2010)Group announcementsProceedings of the 11th international conference on Computational logic in multi-agent systems10.5555/1893859.1893863(9-13)Online publication date: 16-Aug-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media