TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 07351

Formal Models of Belief Change in Rational Agents

( Aug 26 – Aug 30, 2007 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/07351

Organizers





Press Room

Press Review

Flexible Intelligenz statt starrer Logik. Bericht von Peter Zschunke, Associated Press, 04.09.2007 (German only)

Press Release

Können Computer ihre Meinung ändern?
28.08.07 (German only)


Summary

The theory of belief revision studies how a rational agent should change its beliefs when receiving or perceiving new information about the environment. This new information could include objective properties of the actual world, occurrences of events, and, in the case of multiple agents, public or private communications among agents (possibly concerning their beliefs and preferences) as well as actions taken by other agents. Not surprisingly, this area has been of interest to researchers in different communities.

The initial research in belief change came from the philosophical community, wherein belief change was studied generally from a normative point of view (that is, providing axiomatic foundations about how rational agents should behave with respect to the information flux). Subsequently, computer scientists, especially in the artificial intelligence (AI) and the database (DB) communities, have been building on these results. Belief change, as studied by computer scientists, not only pays attention to behavioral properties characterizing evolving databases or knowledge bases, but must also address computational issues such as how to represent beliefs states in a concise way and how to efficiently compute the revision of a belief state.

The most important question in Game Theory is how to rationally form a belief about other players’ behavior and how to rationally revise those beliefs in light of observed actions. Traditionally Game Theory has relied mostly on probabilistic models of beliefs, although recent research has focused on qualitative aspects of belief change. A new branch of logic, called Dynamic Epistemic Logic, has emerged that investigates the epistemic foundations of game theory from the point of view of formal logic. Another, related, new field of research, called Social Software, maintains that mathematical models developed to reason about the knowledge and beliefs of a group of agents can be used to deepen our understanding of social interaction and aid in the design of successful social institutions. Social Software is the formal study of social procedures focusing on three aspects: (1) the logical and algorithmic structure of social procedures (the main contributors to this area are computer scientists), (2) knowledge and information (the main contributors to this area are logicians and philosophers), and (3) incentives (the main contributors are game theorists and economists).

There are various newly emerging links between the research areas mentioned above. The purpose of the Workshop was to bring together researches from all these different areas; these researchers normally do not meet together. Workshops such as this one promote an exchange of ideas and cross-fertilization across different fields.

We found the Workshop successful, especially on the following two achievements: first, the seminar made participants aware of a commonality of interests across different disciplines; second, it suggested new directions for research that will probably be taken up by researchers in the next couple of years.

Where is the field going? We can mention at least two emerging issues:

  • the field is broadening with respect to theoretical underpinnings and is beginning to incorporate notions from game theory and social choice theory. It is also broadening with respect to application areas, moving beyond traditional areas in AI and database systems, to include areas in description logics, the semantic web and economics.
  • there is an emerging focus on epistemic notions having to do with communicating, negotiating, competing, and collaborating agents. Dynamic epistemic logic seems to have an important role to play here.

Moreover, it looks like belief merging and iterated belief revision are still hot topics and will remain so for the next few years.

For the future, we plan further workshops to encourage continued interdisciplinary interactions.


Participants
  • Guillaume Aucher (Paul Sabatier University - Toulouse, FR) [dblp]
  • Alexandru Baltag (University of Oxford, GB) [dblp]
  • Alexander Bochman (Holon Institute of Technology, IL) [dblp]
  • Giacomo Bonanno (University of California - Davis, US)
  • Richard Booth (Mahasarakham University - Thailand, TH) [dblp]
  • John Cantwell (KTH Royal Institute of Technology, SE)
  • James P. Delgrande (Simon Fraser University - Burnaby, CA) [dblp]
  • Daniel Eckert (Universität Graz, AT)
  • Patricia Everaere (University of Lille I, FR)
  • Eduardo Fermé (University of Madeira - Funchal, PT) [dblp]
  • Dov M. Gabbay (King's College London, GB) [dblp]
  • Randy Goebel (University of Alberta - Edmonton, CA) [dblp]
  • Andreas Herzig (Paul Sabatier University - Toulouse, FR) [dblp]
  • Julien Hue (University of Toulon, FR)
  • Gabriele Kern-Isberner (TU Dortmund, DE) [dblp]
  • Sebastien Konieczny (CNRS - Lens, FR) [dblp]
  • Jérôme Lang (Paul Sabatier University - Toulouse, FR) [dblp]
  • Isaac Levi (Columbia University - New York, US)
  • David Makinson (London School of Economics, GB) [dblp]
  • Abhaya Nayak (Macquarie University - Sydney, AU) [dblp]
  • Alexander Nittka (Universität Leipzig, DE)
  • Pavlos Peppas (University of Patras, GR) [dblp]
  • Laurent Perrussel (Paul Sabatier University - Toulouse, FR)
  • Gabriella Pigozzi (University of Luxembourg, LU) [dblp]
  • Mauricio Reis (University of Madeira - Funchal, PT) [dblp]
  • Odinaldo Rodrigues (King's College London, GB) [dblp]
  • Hans Rott (Universität Regensburg, DE) [dblp]
  • Krister Segerberg (Uppsala University, SE)
  • Steven Shapiro (University of Toronto, CA)
  • Wolfgang Spohn (Universität Konstanz, DE) [dblp]
  • Leon van der Torre (University of Luxembourg, LU) [dblp]
  • Emil Weydert (University of Luxembourg, LU) [dblp]
  • Dongmo Zhang (University of Western Sydney - Penrith South, AU)

Related Seminars
  • Dagstuhl Seminar 05321: Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005-08-07 - 2005-08-12) (Details)
  • Dagstuhl Seminar 09351: Information processing, rational belief change and social interaction (2009-08-23 - 2009-08-27) (Details)

Classification
  • artificial intelligence / robotics
  • interdisciplinary with non-informatics-topic: Economics
  • Decision Theory
  • Philosophy

Keywords
  • belief change
  • rational agents
  • information economy
  • information processing