Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Socially Friendly and Group Protecting Coalition Logics
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen. University of Johannesburg, South Africa.ORCID-id: 0000-0002-0157-1644
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen.
2018 (engelsk)Inngår i: 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, s. 372-380Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2018. s. 372-380
Serie
AAMAS Electronic Proceedings, ISSN 2523-5699
Emneord [en]
coalition logics, multi-agent game models, multi-goal coalitional operators, bisimulations, axiomatic systems, decidability
HSV kategori
Identifikatorer
URN: urn:nbn:se:su:diva-164750ISBN: 978-1-4503-5649-7 (tryckt)OAI: oai:DiVA.org:su-164750DiVA, id: diva2:1280113
Konferanse
17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden, July 10-15, 2018
Forskningsfinansiär
Swedish Research Council, 2015-04388Tilgjengelig fra: 2019-01-17 Laget: 2019-01-17 Sist oppdatert: 2019-03-20bibliografisk kontrollert

Open Access i DiVA

fulltext(1559 kB)11 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1559 kBChecksum SHA-512
524346d9306593008b044673a233f015fafc3410d729d782366c106c6ed6e5b982713eb87471bb6dd408b28fd30b4389c3eb1e59fc7b62fbce8277d31cfeeeae
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Goranko, ValentinEnqvist, Sebastian
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 11 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 71 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf