License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-12052
URL: http://drops.dagstuhl.de/opus/volltexte/2007/1205/
Bonanno, Giacomo

Semantic structures for one-stage and iterated belief revision

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

Abstract

Semantic structures for belief revision and iterated belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A correspondence between these one-stage structures and AGM belief revision functions is established. We then add branching time and consider more general structures that accommodate iterated revision. AGM temporal belief revision structures are defined and a syntactic axiomatization is provided.

BibTeX - Entry

@InProceedings{bonanno:DSP:2007:1205,
  author =	{Giacomo Bonanno},
  title =	{Semantic structures for one-stage and iterated belief revision},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  year =	{2007},
  editor =	{Giacomo Bonanno and James Delgrande and J{\'e}r{\^o}me Lang and Hans Rott},
  number =	{07351},
  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/2007/1205},
  annote =	{Keywords: Iterated belief revision, choice functions, Kripke semantics, branching time, modal logic}
}

Keywords: Iterated belief revision, choice functions, Kripke semantics, branching time, modal logic
Seminar: 07351 - Formal Models of Belief Change in Rational Agents
Issue date: 2007
Date of publication: 20.11.2007

DROPS-Home | Fulltext Search | Imprint Published by LZI