Lack of Finite Characterizations for the Distance-based Revision

Details Lack of Finite Characterizations for the Distance-based Revision Lack of Finite Characterizations for the Distance-based Revision

2006-06-19

arxiv.org/abs/cs/0606082v1

Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06) (2006) 239-248

Computer Science

Logic in Computer Science

Scientific paper

Lehmann, Magidor, and Schlechta developed an approach to belief revision based on distances between any two valuations. Suppose we are given such a distance D. This defines an operator |D, called a distance operator, which transforms any two sets of valuations V and W into the set V |D W of all elements of W that are closest to V. This operator |D defines naturally the revision of K by A as the set of all formulas satisfied in M(K) |D M(A) (i.e. those models of A that are closest to the models of K). This constitutes a distance-based revision operator. Lehmann et al. characterized families of them using a loop condition of arbitrarily big size. An interesting question is whether this loop condition can be replaced by a finite one. Extending the results of Schlechta, we will provide elements of negative answer. In fact, we will show that for families of distance operators, there is no "normal" characterization. Approximatively, a normal characterization contains only finite and universally quantified conditions. These results have an interest of their own for they help to understand the limits of what is possible in this area. Now, we are quite confident that this work can be continued to show similar impossibility results for distance-based revision operators, which suggests that the big loop condition cannot be simplified.

Affiliated with

Also associated with

No associations

Rating

Lack of Finite Characterizations for the Distance-based Revision 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 Lack of Finite Characterizations for the Distance-based Revision, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lack of Finite Characterizations for the Distance-based Revision will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-304539