Authors:
Sujata Ghosh
1
;
Neethi Konar
1
and
R. Ramanujam
2
Affiliations:
1
Indian Statistical Institute, India
;
2
Institute of Mathematical Sciences, India
Keyword(s):
Dynamic Games, Simultaneous Moves, Repeated Normal Form Games, Top-down Strategizing, Strategy Logic.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation and Reasoning
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Software Engineering
;
Symbolic Systems
Abstract:
Sometimes, in dynamic games, it is useful to reason not only about the existence of
strategies for players, but also about
what these strategies are, and how players select and construct them.
We study dynamic games with simultaneous moves, repeated normal form games and show that this reasoning can be carried
out by considering a single game, and studying
composition of ``local'' strategies.
We study a propostional modal logic in which such
reasoning is carried out, and present complete axiomatization of
the valid formulas.