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.20
URN: urn:nbn:de:0030-drops-12052
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1205/
|
Go to the corresponding Portal |
Bonanno, Giacomo
Semantic structures for one-stage and iterated belief revision
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 |
|
Collection: |
|
07351 - Formal Models of Belief Change in Rational Agents |
|
Issue Date: |
|
2007 |
|
Date of publication: |
|
20.11.2007 |
