Distance Semantics for Belief Revision
<|reference_start|>Distance Semantics for Belief Revision: A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.<|reference_end|>
@article{lehmann2002distance,
    title={Distance Semantics for Belief Revision},
    author={Daniel Lehmann, Menachem Magidor and Karl Schlechta},
    journal={Journal of Symbolic Logic, Vol. 66 No.1 (March 2001) pp. 295-317},
    year={2002},
    number={Leibniz Center for Research in Computer Science TR-98-10},
    archivePrefix={arXiv},
    eprint={cs/0202025},
    primaryClass={cs.AI}
}