When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07351.11
URN: urn:nbn:de:0030-drops-12049
Go to the corresponding Portal

Bochman, Alexander

Enhanced Contraction and (In)dependence Preliminary report

07351.BochmanAlexander.Paper.1204.pdf (0.1 MB)


We introduce a number of contraction operations that allow us to preserve more information in the process of belief contraction and revision of our epistemic states. One of them, choice contraction, will be argued to characterise basic (in)dependence relations among propositions belonging to the epistemic state.

BibTeX - Entry

  author =	{Bochman, Alexander},
  title =	{{Enhanced Contraction and (In)dependence Preliminary report}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--4},
  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 =		{},
  URN =		{urn:nbn:de:0030-drops-12049},
  doi =		{10.4230/DagSemProc.07351.11},
  annote =	{Keywords: Contractions, dependence}

Keywords: Contractions, dependence
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