26 June 2009
Groningen, The Netherlands
FIRST WORKSHOP ON LOGICS AND STRATEGIES
Friday, June 26, 2009
10.45 a.m. - 6.00 p.m.
University of Groningen, The Netherlands
Room: 5161.0267
Bernoulliborg Building
Nijenborgh 9
Groningen
http://www.ai.rug.nl/~sujata/strat1.html
CALL FOR PARTICIPATION
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.
http://www.ai.rug.nl/~sujata/stratmas.html
The workshop consists of talks by some experts in this area as well as
some young researchers. It 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 research community on some topics of
mutual interest.
Registration
------------
The workshop is free for participants, but please pre-register before June
20, 2009, by sending mail to Sujata Ghosh (sujata@ai.rug.nl) so that we
can organize an appropriate lecture room and catering.
List of speakers
----------------
Johan van Benthem, ILLC, Amsterdam and Stanford University
Cedric Degremont, ILLC, Amsterdam
Pietro Galliani, ILLC, Amsterdam
Sujata Ghosh, University of Groningen
Wiebe van der Hoek, University of Liverpool
Olivier Roy, University of Groningen
Yde Venema, ILLC, Amsterdam
Workshop coordinators
--------------------
Sujata Ghosh & Rineke Verbrugge (University of Groningen)
Sponsors
--------
Institute of Artificial Intelligence and Cognitive Engineering (ALICE),
University of Groningen
Institute for Logic, Language and Computation (ILLC), University of Amsterdam
More information
----------------
http://www.ai.rug.nl/~sujata/strat1.html