Distance Semantics for Belief Revision

Details Distance Semantics for Belief Revision Distance Semantics for Belief Revision

2002-02-18

arxiv.org/abs/cs/0202025v1

Journal of Symbolic Logic, Vol. 66 No.1 (March 2001) pp. 295-317

Computer Science

Artificial Intelligence

Preliminary version presented at TARK '96

Scientific paper

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 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.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-161700