License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07351.4
URN: urn:nbn:de:0030-drops-12082
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1208/
Go to the corresponding Portal

Kern-Isberner, Gabriele

A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning

pdf-format:
07351.KernIsbernerGabriele.Paper.1208.pdf (0.2 MB)

Abstract

This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and belief update are investigated within an abstract framework of epistemic states and (qualitative or quantitative) conditionals. Moreover, we distinguish between background knowledge and contextual information in order to analyse belief change more appropriately. The rich epistemic representation framework allows us to make a clear conceptual distinction between revision and update on the one side, while revealing structural similarities on the other side. We propose generic postulates for revision and update that also apply to iterated change. Furthermore, we complete the unifying picture by introducing universal inference operations as a proper counterpart in nonmonotonic reasoning to iterated belief change.


BibTeX - Entry

@InProceedings{kernisberner:DagSemProc.07351.4,
  author =	{Kern-Isberner, Gabriele},
  title =	{{A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  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/1208},
  URN =		{urn:nbn:de:0030-drops-12082},
  doi =		{10.4230/DagSemProc.07351.4},
  annote =	{Keywords: Belief revision, belief update, nonmonotonic inference, epistemic states, conditionals}
}

Keywords: Belief revision, belief update, nonmonotonic inference, epistemic states, conditionals
Collection: 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