The Realizability of Revision and Contraction Operators in Epistemic Spaces
This addresses theoretical limitations in belief change for formal epistemology, but it is incremental as it builds on existing AGM frameworks.
The paper investigates the realizability of AGM belief revision and contraction operators in epistemic spaces, finding they are only realizable in precisely determined spaces, and defines linear change operators as a canonical realization when realizable.
This paper studies the realizability of belief revision and belief contraction operators in epistemic spaces. We observe that AGM revision and AGM contraction operators for epistemic spaces are only realizable in precisely determined epistemic spaces. We define the class of linear change operators, a special kind of maxichoice operator. When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.