License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-3376
URL: http://drops.dagstuhl.de/opus/volltexte/2005/337/

van Ditmarsch, Hans

Belief change and dynamic logic

pdf-format:
Dokument 1.pdf (234 KB)


Abstract

In this paper we compare standard ways to perform belief change with attempts to model such change with dynamic modal operators. We address both belief expansion, belief contraction, belief revision, and update. Public announcement logic is an implementation of a belief expansion operator in a dynamic epistemic setting. The postulates of success and minimal change cannot be satisfied in their original AGM formulation. Dynamic doxastic logic provides various implementations of a belief revision operator in a dynamic epistemic setting. We provide an example of the application of such a dynamic doxastic semantics, which can also be seen as a realization of a proposal by Spohn. The purpose of this paper is to provide an overview of different approaches to dynamic logics for belief change, including some of our own contributions to the area, in a way that is accessible to an interdisciplinary audience. It does not contain new technical results not published elsewhere. However, the comparison of different approaches provides, we hope, new insights not seen before. A final version of this paper may include new technical results.

BibTeX - Entry

@InProceedings{vanditmarsch:DSP:2005:337,
  author =	{Hans van Ditmarsch},
  title =	{Belief change and dynamic logic},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  year =	{2005},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  number =	{05321},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/337},
  annote =	{Keywords: Belief revision, dynamic epistemic logic}
}

Keywords: Belief revision, dynamic epistemic logic
Seminar: 05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
Issue date: 2005
Date of publication: 21.11.2005


DROPS-Home | Fulltext Search | Imprint Published by LZI