A negotiation-style framework for non-prioritised revision

Abstract

We present a framework for non-prioritised belief revision --- i.e., belief revision in which newly acquired information is not always fully accepted --- in which the result of revision is arrived at via a kind of negotiation between old information and new. We show how both ordinary partial meet revision and Ferme and Hansson's selective revision can be captured in this framework, and also how it supports the definition of contraction operators which do not necessarily satisfy the basic AGM contraction postulate of (Success).