DROPS

Document

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

Authors: Jürgen Dix, Wojtek Jamroga, and Dov Samet

Published in: Dagstuhl Reports, Volume 1, Issue 3 (2011)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 11101 ``Reasoning about Interaction: From Game Theory to Logic and Back''. The notion of interaction is crucial in several disciplines, including social science, operational research, and economics. Two frameworks are most prominent in the formal treatment of interaction: game theory and mathematical logic. Quantitative analysis is usually conducted using models and tools of game theory. At the same time, logic provides vocabulary and methods to study interaction in a qualitative way. The aim of the seminar was to bring together researchers who approach interaction-related phenomena from different perspectives (and with different conceptual tools). We hoped that, by synergy and exchange of expertise, a more integrative view of interaction could be obtained. In particular, we focussed on how interaction between individual entities (be it humans, robots and/or virtual creatures) can lead to emergence of social structures, collective behavior, and teamwork - and, ultimately, help all involved parties benefit from cooperation.

Cite as

Jürgen Dix, Wojtek Jamroga, and Dov Samet. Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). In Dagstuhl Reports, Volume 1, Issue 3, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.1.3.1,
  author =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  title =	{{Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{3},
  editor =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.3.1},
  URN =		{urn:nbn:de:0030-drops-31915},
  doi =		{10.4230/DagRep.1.3.1},
  annote =	{Keywords: Game Theory, Logic, Mechanism Design, Security, Cooperation, Model Checking, Rationality, Knowledge}
}

Search Results

Documents authored by Jamroga, Wojtek

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

Abstract

Cite as

Thanks for your feedback!

Could not send message