Dagstuhl Seminar Proceedings. 07351 - Formal Models of Belief Change in Rational Agents
Doi
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