Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Socially Friendly and Group Protecting Coalition Logics
Stockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.ORCID iD: 0000-0002-0157-1644
Stockholm University, Faculty of Humanities, Department of Philosophy.
2018 (English)In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) / [ed] Mehdi Dastani, Gita Sukthankar, Elisabeth André, Sven Koenig, The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2018, p. 372-380Conference paper, Published paper (Refereed)
Abstract [en]

We consider extensions of Coalition Logic (CL) which can express statements about inter-related powers of coalitions to achieve their respective goals. In particular, we introduce and study two new extensions of CL. One of them is the “Socially Friendly Coalition Logic” SFCL, which is also a multi-agent extension of the recently introduced “Instantial Neighborhood Logic” INL. SFCL can express the claim that a coalition has a collective strategy to guarantee achieving its explicitly stated goal while acting in a ‘socially friendly way’, by enabling the remaining agents to achieve other (again, explicitly stated) goals of their choice. The other new extension is the “Group Protecting Coalition Logic” GPCL which enables reasoning about entire coalitional goal assignments, in which every group of agents has its own specified goal. GPCL can express claims to the effect that there is an action profile of the grand coalition such that, by playing it, every sub-coalition of agents can guarantee satisfaction of its own private goal (and thus, protect its own interests) while acting towards achievement of the common goal of the grand coalition. For each of these logics, we discuss its expressiveness, introduce the respective notion of bisimulation and prove bisimulation invariance and Hennessy-Milner property. We then also present sound and complete axiomatic systems and prove decidability for both logics.

Place, publisher, year, edition, pages
The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2018. p. 372-380
Series
AAMAS Electronic Proceedings, ISSN 2523-5699
Keywords [en]
coalition logics, multi-agent game models, multi-goal coalitional operators, bisimulations, axiomatic systems, decidability
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:su:diva-164750ISBN: 978-1-4503-5649-7 (print)OAI: oai:DiVA.org:su-164750DiVA, id: diva2:1280113
Conference
17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden, July 10-15, 2018
Funder
Swedish Research Council, 2015-04388Available from: 2019-01-17 Created: 2019-01-17 Last updated: 2019-03-20Bibliographically approved

Open Access in DiVA

fulltext(1559 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 1559 kBChecksum SHA-512
524346d9306593008b044673a233f015fafc3410d729d782366c106c6ed6e5b982713eb87471bb6dd408b28fd30b4389c3eb1e59fc7b62fbce8277d31cfeeeae
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Goranko, ValentinEnqvist, Sebastian
By organisation
Department of Philosophy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 71 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf