Merge and Expansion
Whereas the general purpose of the contraction operation amounts to removing information (that is no longer believed), the operation of expansion consists in adding information to epistemic states. In the AGM theory this is achieved through a straightforward addition of the new proposition to the belief set, while in the base approach the new proposition is added directly to the base.
Unable to display preview. Download preview PDF.