Groups versus coalitions: On the relative expressivity of gal and cal

Tim French, Rustam Galimullin, Hans Van Ditmarsch, Natasha Alechina

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Abstract

Group Announcement Logic (GAL) and Coalition Announcement Logic (CAL) were proposed to study effccts of public announcements by groups of agents on knowledge in multiagent systems Both logics have operators that quantify over such announcements In GAL, it is possible to express that'a group of agents G has a (truthful) announcement such that after this announcement, some property A holds'; for example, A may involve some agents in G gaining additional knowledge, while agents outside G remain ignorant In CAL, the meaning of the coalition announcement operator is subtly different: It says that'G has an announcement such that, whatever else the agents outside G announce simultaneously, some property A is guaranteed to hold after the joint announcement' It has been open for some time whether GAL and CAL are equally expressive We show that this is not the case: There is a property expressible in GAL that is not expressible in CAL It is still an open question whether CAL is subsumed by GAL, or whether the two logics have incomparable expressive power.

Original languageEnglish
Title of host publication18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Place of PublicationCanada
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages953-961
Number of pages9
ISBN (Electronic)9781510892002
Publication statusPublished - 17 May 2019
Event18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 - Montreal, Canada
Duration: 13 May 201917 May 2019
http://aamas2019.encs.concordia.ca/

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume2
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Conference

Conference18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
CountryCanada
CityMontreal
Period13/05/1917/05/19
Internet address

Fingerprint Dive into the research topics of 'Groups versus coalitions: On the relative expressivity of gal and cal'. Together they form a unique fingerprint.

  • Cite this

    French, T., Galimullin, R., Van Ditmarsch, H., & Alechina, N. (2019). Groups versus coalitions: On the relative expressivity of gal and cal. In 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (pp. 953-961). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 2). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p953.pdf