Distance semantics for belief revision

Daniel Lehmann*, Menachem Magidor, Karl Schlechta

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

78 Scopus citations

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 languageEnglish
Pages (from-to)295-317
Number of pages23
JournalJournal of Symbolic Logic
Volume66
Issue number1
DOIs
StatePublished - Mar 2001

Fingerprint

Dive into the research topics of 'Distance semantics for belief revision'. Together they form a unique fingerprint.

Cite this