Distance Semantics for Belief Revision
Daniel Lehmann, Menachem Magidor, and Karl Schlechta
Source: J. Symbolic Logic Volume 66, Issue 1
(2001), 295-317.
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 $\alpha$ as the theory defined by the set of all those models of $\alpha$ 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.
Full-text: Remote
access
If you are a member of the ASL,
log in to Euclid
for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183746372
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet): MR1825186
Zentralblatt MATH identifier: 0985.03012
