First Workshop on Logics and Strategies
Friday, June 26, 2009, University of Groningen
Modelling intelligent and rational interaction in multi-agent systems has been one of the main issues in Artificial Intelligence that gained momentum in the last decade of the past century. This is now merging into broader studies of formal models of society, where computer science meets decision theory, game theory and social choice theory, for instance in the study of rational deliberation and decision making.
The study of strategic reasoning forms a crucial ingredient of the research area of intelligent interactive systems. Agents devise their respective strategies on how to interact so as to force maximal gain in the interaction process. This depends in turn on their 'mental states': their knowledge, beliefs, preferences, goals and intentions. Natural questions like 'By following which strategy can the players achieve their goal?', and 'On what basis will they strategize in such a way?' arise.
In addition, modelling social procedures and interaction has brought to the fore various logical systems like epistemic logics, doxastic logics, game logics, coalition logic, alternating-time temporal logic, dynamic logic of preferences, logics for information updates and others. This first workshop on logics and strategies of the project STRATMAS focuses on ideas and concepts for bringing in the notion of strategies explicitly in the logical frameworks dealing with intelligent and rational interaction in multi-agent systems, which is one of the main goals of the project. It consists of talks by some experts in this area as well as some young researchers. The workshop can also be regarded as the first event in the revival of "Dag der GrAmschap" which used to be a regular event, not so many years ago, to mark a day of talks and discussions between the Amsterdam and the Groningen logic community on some topics of mutual interest.
Chair for the day: Rineke Verbrugge (Groningen)
|10:45||Registration and Coffee|
|11:00|| Wiebe van der Hoek (Liverpool)
Logics with Explicit or Specific Strategies
|12:00|| Johan van Benthem (Amsterdam and Stanford)
In praise of strategies, but how?
|12:30|| Jonathan Zvesper (Amsterdam)
Transfinite belief in rationality
|14:15|| Olivier Roy (Groningen)
Intention and coordination in Hi-Lo Games
|14:45|| Cédric Dégremont (Amsterdam)
Temporal doxastic logics: facts and applications to strategic reasoning
|15:30|| Yde Venema (Amsterdam)
Strategies as models in infinite satisfiability games
|16:45||Pietro Galliani (Amsterdam)
Equilibria in Semantic Games
|17:15|| Sujata Ghosh (Groningen)
Strategies in multi-agent systems
The workshop is free for participants, but please pre-register before June 20, 2009, by sending mail to firstname.lastname@example.org so that we can organize an appropriate lecture room and catering.
Some reference materials
In Praise of Strategies
Johan van Benthem. 2008. ILLC report. To apear in J. van Eijck & R. Verbrugge, eds, follow-up book to NIAS project Games Action and Social Software.
Logical Dynamics of Information and Interaction
Johan van Benthem. 2009. Book manuscript, ILLC, UvA, to appear with Cambridge University Press.
Cooperative Boolean Games
Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge. 2008. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008), Estoril, Portugal.
Institute of Artificial Intelligence and Cognitive Engineering (ALICE), University of Groningen
Institute for Logic, Language and Computation (ILLC), University of Amsterdam