The Community for Technology Leaders
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (2015)
Kassel, Germany
Sept. 23, 2015 to Sept. 25, 2015
ISSN: 1530-1311
ISBN: 978-1-4673-9316-4
pp: 170-179
ABSTRACT
In game-theory, a classic qualitative question is to check whether a designed set of the players has a winning strategy. In several safety-critical applications, however, it is important to ensure that some redundant strategies also exist, to be used in case of some fault. By establishing how many different strategies a game admits, one can grade its resilience. In this paper, we introduce and study Graded Strategy Logic (GSL), an extension of Strategy Logic (SL) along with graded quantifiers. SL is a powerful formalism that allows to describe useful game concepts in multi-agent settings by explicitly quantifying over strategies treated as first-order citizens. In GSL, by means of the existential construct(x =g) f, one can state that at least g strategies satisfy f. Dually, via the universal construct [x
INDEX TERMS
Games, History, Cognition, Semantics, Model checking, Open systems, Calculus
CITATION
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino, "On the Counting of Strategies", 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), vol. 00, no. , pp. 170-179, 2015, doi:10.1109/TIME.2015.19
88 ms
(Ver 3.3 (11022016))