Distance Semantics for Belief Revision
|Authors and Corporations:||, ,|
Distance Semantics for Belief Revision |
|In:||The Journal of Symbolic Logic, 66, 2001, 1, p. 295-317|
The Association for Symbolic Logic, Inc.
|Summary:||<p>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.</p>|
|Type of Resource:||E-Article|
|Source:||JSTOR Arts & Sciences I Archive|