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 As Get 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
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.
Subject Classification
Keywords
- Iterated belief revision
- choice functions
- Kripke semantics
- branching time
- modal logic
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads