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 Schlechta | 1 | 281 | 32.69 |
Daniel J. Lehmann | 2 | 1270 | 330.79 |
Menachem Magidor | 3 | 1369 | 140.76 |