Abstract
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
@InProceedings{bochman:DagSemProc.07351.11,
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 = {https://drops.dagstuhl.de/opus/volltexte/2007/1204},
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 |