Dagstuhl Seminar 07351
Formal Models of Belief Change in Rational Agents
( Aug 26 – Aug 30, 2007 )
- Giacomo Bonanno (University of California - Davis, US)
- James P. Delgrande (Simon Fraser University - Burnaby, CA)
- Jérôme Lang (Paul Sabatier University - Toulouse, FR)
- Hans Rott (Universität Regensburg, DE)
- Confluence Operators : article in LNAI 5293 - Konieczny, Sebastien; Pino Perez, Ramon - Berlin : Springer, 2008. - pp. 272-284 - (Lecture notes in artificial intelligence : 5293). ISBN: 978-3-540-87802-5.
- Confluence operators and their relationships : article : pp 73-101 - Konieczny, Sebastien; Pino Perez, Ramon - Berlin : Springer, 2013 - (Annals of Mathematics and Artificial Intelligence : 69. 2013, 1).
- Formal Models of Belief Change in Rational Agents : special issue : pp. 363-466 - Bonanno, Giacomo; Delgrande, James; Lang, Jerome; Rott, Hans - Amsterdam : Elsevier, 2009 - (Journal of Applied Logic : 7. 2009, 4 : pp. 363-466).
Flexible Intelligenz statt starrer Logik. Bericht von Peter Zschunke, Associated Press, 04.09.2007 (German only)
Können Computer ihre Meinung ändern?
28.08.07 (German only)
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.
- 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)
- artificial intelligence / robotics
- interdisciplinary with non-informatics-topic: Economics
- Decision Theory
- belief change
- rational agents
- information economy
- information processing