Toward credible belief base revision

Abstract

This paper deals with belief base revision, a form of belief change which consists in restoring consistency with the intention of incorporating a new piece of information from the environment, while minimally modifying the agent's belief state represented by a finite set of propositional formulas. In an effort to guarantee more reliability and rationality for real applications while performing revision, we come up with the idea of credible belief base revision. We define two new formula-based revision operators using tools offered by evidence theory. These operators, uniformly presented in the same spirit as [92,13], stem from consistent sub-bases maximal with respect to credibility instead of set inclusion or cardinality. Logical properties and productivity of inference from these operators are established, along with complexity results.