Distance Semantics for Belief Revision

Simple item page
dc.creatorLehmann, Daniel
dc.creatorMagidor, Menachem
dc.creatorSchlechta, Karl
dc.date2002-02-18
dc.date.accessioned2026-07-07T03:18:08Z
dc.date.available2026-07-07T03:18:08Z
dc.descriptionA 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.
dc.descriptionPreliminary version presented at TARK '96
dc.identifierhttps://arxiv.org/abs/cs/0202025
dc.identifierhttp://arxiv.org/abs/cs/0202025
dc.identifierJournal of Symbolic Logic, Vol. 66 No.1 (March 2001) pp. 295-317
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30995
dc.subjectArtificial Intelligence
dc.subjectI.2.3
dc.titleDistance Semantics for Belief Revision
dc.typetext

Files

Collections

arXiv