Sciweavers

Share
ATAL
2008
Springer

Coalitions and announcements

8 years 5 months ago
Coalitions and announcements
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. Categories and Su...
Thomas Ågotnes, Hans P. van Ditmarsch
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATAL
Authors Thomas Ågotnes, Hans P. van Ditmarsch
Comments (0)
books