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
Game-Theoretic Semantics for ATL+ with Applications to Model Checking
Stockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.ORCID iD: 0000-0002-0157-1644
2017 (English)In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2017) / [ed] S. Das, E. Durfee, K. Larson, M. Winikoff, The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2017, p. 1277-1285Conference paper, Published paper (Refereed)
Abstract [en]

We develop a game-theoretic semantics (GTS) for the fragment ATL+ of the Alternating-time Temporal Logic ATL∗, essentially extending a recently introduced GTS for ATL. We show that the new game-theoretic semantics is equivalent to the standard compositional semantics of ATL+ (with perfect-recall strategies). Based on the new semantics, we providean analysis of the memory and time resources needed formodel checking ATL+ and show that strategies of the verifier that use only a very limited amount of memory suffice. Furthermore, using the GTS we provide a new algorithm for model checking ATL+ and identify a natural hierarchy of tractable fragments of ATL+ that extend ATL.

Place, publisher, year, edition, pages
The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2017. p. 1277-1285
Keywords [en]
Logic and game theory, Logics for agents and multi-agent systems, Argumentation-based dialogue and protocols
National Category
Computer Sciences
Research subject
Computer Systems
Identifiers
URN: urn:nbn:se:su:diva-152852OAI: oai:DiVA.org:su-152852DiVA, id: diva2:1181536
Conference
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2017), São Paulo, Brazil, May 8-12, 2017
Funder
Swedish Research Council, 2015-04388Available from: 2018-02-08 Created: 2018-02-08 Last updated: 2018-10-15Bibliographically approved

Open Access in DiVA

Game-Theoretic Semantics for ATL+(1456 kB)4 downloads
File information
File name FULLTEXT01.pdfFile size 1456 kBChecksum SHA-512
457f80482251bb1959848b217429dae52f3613453abd4e73d5f5078d59c1b9b302a3bd36dd11106cda4dfad5563ceee32d0db560f67c82b74d2d8bcfb0599202
Type fulltextMimetype application/pdf

Other links

Free full text

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 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

urn-nbn

Altmetric score

urn-nbn
Total: 9 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