Title: Logics for coalitional games of imperfect information
Language: English
Authors: Seitz, Georg 
Qualification level: Diploma
Keywords: Logik; Spiel; Koalition; imperfekte Information
logic; game; coalition; imperfect information
Advisor: Fermüller, Christian Georg 
Issue Date: 2011
Number of Pages: 82
Qualification level: Diploma
Abstract: 
Coalitional games serve as a model for multi-agent systems in which the agents have the possibility to form coalitions in order to achieve certain goals. Alternating-Time Temporal Logic (ATL) is a well-established logic for the formalization of such games in the case that the players always have perfect information about the actual state of the game. Regarding games of imperfect information no such "standard" logic seems to exist, but several approaches can be found in recent literature.
In this thesis we discuss and compare some of these approaches with respect to expressivity, complexity, and problems. As it turns out, in the case of memoryless agents some very expressive logics exist which allow one to describe various notions of strategic abilities in coalitional games.
Quite on the contrary, the assumption of perfect recall soon leads to the problem that reasonably meaningful logics for such games are undecidable. As our own contribution to the topic, we present an attempt to defuse this problem by approximating such an undecidable logic by decidable ones.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43434
http://hdl.handle.net/20.500.12708/9292
Library ID: AC07811432
Organisation: E185 - Institut für Computersprachen 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Logics for coalitional games of imperfect information.pdf805.13 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

15
checked on Feb 18, 2021

Download(s)

56
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.