Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Bonanno, Giacomo License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-12052
URL:

Semantic structures for one-stage and iterated belief revision

pdf-format:


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:DagSemProc.07351.20,
  author =	{Bonanno, Giacomo},
  title =	{{Semantic structures for one-stage and iterated belief revision}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1205},
  URN =		{urn:nbn:de:0030-drops-12052},
  doi =		{10.4230/DagSemProc.07351.20},
  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 | Privacy Published by LZI