Accepted Beliefs, Revision and Bipolarity in the Possibilistic Framework

Artificial Intelligence has emerged and been considerably developed in the last fifty years together with the advent of the computer age, as a new scientific area aiming at processing information in agreement with the way humans do. Inevitably, such a range of efforts, both theoretical and application-oriented, and motivated by new concerns, has led to modify and enlarge the way basic notions such as uncertainty, belief, knowledge, or evidence could be thought, represented and handled in practice. In particular, there has been a major trend in uncertainty (more specifically, partial belief) modelling, emphasizing the idea that the degree of confidence in an event is not totally determined by the confidence in the opposite event, as assumed in probability theory. Possibility theory (Dubois and Prade, 1988) belongs to this trend that describes partial belief in terms of certainty and plausibility, viewed as distinct concepts. Belief and plausibility functions (Shafer, 1976), or lower and upper probabilities (Walley, 1991) are other important representatives of this trend. The distinctive features of possibility theory are its computational simplicity, and its position as a bridge between numerical and symbolic theories of partial belief for practical reasoning. Possibility theory, based on a non-additive setting that contrasts with probability theory, provides a potentially more qualitative treatment of partial belief, since the operations “max” and “min” play a role somewhat analogous to the sum and the product in probability calculus. There are two different kinds of possibility theory: one is qualitative and the other is quantitative. They share the same kind of set-functions, but they differ when it comes to conditioning and combination