TY - JOUR
T1 - Preferred history semantics for iterated updates
AU - Berger, Shai
AU - Lehmann, Daniel
AU - Schlechta, Karl
PY - 1999/12
Y1 - 1999/12
N2 - 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 successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and avoid unnecessary changes. The logical properties of the updates defined in this way are considered, and a representation result is proved.
AB - 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 successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and avoid unnecessary changes. The logical properties of the updates defined in this way are considered, and a representation result is proved.
UR - http://www.scopus.com/inward/record.url?scp=0033344350&partnerID=8YFLogxK
U2 - 10.1093/logcom/9.6.817
DO - 10.1093/logcom/9.6.817
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0033344350
SN - 0955-792X
VL - 9
SP - 817
EP - 833
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 6
ER -