Abstract
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 α as the theory defined by the set of all those models of α 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.
| Original language | English |
|---|---|
| Pages (from-to) | 295-317 |
| Number of pages | 23 |
| Journal | Journal of Symbolic Logic |
| Volume | 66 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 2001 |