Preferred History Semantics for Iterated Updates

Details Preferred History Semantics for Iterated Updates Preferred History Semantics for Iterated Updates

2002-02-18

arxiv.org/abs/cs/0202026v1

Journal of Logic and Computation, Vol. 9 no. 6 (1999) pp. 817-833

Computer Science

Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Preferred History Semantics for Iterated Updates does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Preferred History Semantics for Iterated Updates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Preferred History Semantics for Iterated Updates will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-161708