Showing cs.AIShow all
2 papers · 1 filter
cs.AI2002
Preferred History Semantics for Iterated Updates
Shai Berger, Daniel Lehmann, Karl Schlechta
We give a semantics to iterated update by a preference relation on possible developments. An iterated update is a sequence of formulas, giving (incomplete) information about succes…
cs.AI2002
Distance Semantics for Belief Revision
Daniel Lehmann, Menachem Magidor, Karl Schlechta
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 t…