Title
Distance Semantics for Belief Revision
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 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.
Year
Venue
Keywords
1996
TARK
rationality postulate,iterated revision,distance semantics,belief revision,theory k,interesting family,natural semantics,agm postulate,new postulate
Field
DocType
ISBN
Discrete mathematics,Rationality,Natural semantics,Computer science,Iterated function,Belief revision,Semantics
Conference
1-55860-417-0
Citations 
PageRank 
References 
24
1.14
23
Authors
3
Name
Order
Citations
PageRank
Karl Schlechta128132.69
Daniel J. Lehmann21270330.79
Menachem Magidor31369140.76