DagSemProc.07351.20.pdf
- Filesize: 189 kB
- 14 pages
Document
Semantic structures for one-stage and iterated belief revision
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 7351
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-11-20
Cite AsGet BibTex
Giacomo Bonanno. Semantic structures for one-stage and iterated belief revision. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.07351.20
https://doi.org/10.4230/DagSemProc.07351.20
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.
Keywords
- Iterated belief revision
- choice functions
- Kripke semantics
- branching time
- modal logic
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads