Semantic structures for one-stage and iterated belief revision

Bonanno, Giacomo

doi:10.4230/DagSemProc.07351.20

Document

Semantic structures for one-stage and iterated belief revision

Author Giacomo Bonanno

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7351
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-11-20

PDF

File

PDF

DagSemProc.07351.20.pdf

Filesize: 189 kB
14 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07351.20
URN: urn:nbn:de:0030-drops-12052

Subject Classification

Keywords

Iterated belief revision
choice functions
Kripke semantics
branching time
modal logic

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Giacomo Bonanno

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail