Semantic structures for one-stage and iterated belief revision

Semantic structures for 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 revision structures are defined and a syntactic axiomatization is provided.

• Type: Conference
• Year: 2007
• Where: DAGSTUHL
• Authors: Giacomo Bonanno
• Keywords: Belief Revision, DAGSTUHL 2007, One-stage Revision Structures, Revision Structures, Software Engineering