On the use of evidence theory in belief base revision

TL;DR

This paper introduces new belief revision operators based on evidence theory, enhancing reliability and rationality in belief updates by considering credibility and consistency, with practical illustrations and comparisons.

Contribution

It proposes three novel belief base revision operators using evidence theory, focusing on credibility and consistency, advancing the methodology of belief revision.

Findings

New credible belief revision operators introduced

Operators based on maximal credible and consistent subbases

Comparison with existing belief revision methods

Abstract

This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability and rationality for real applications while performing revision, we propose the idea of credible belief base revision yielding to define two new formula-based revision operators using the suitable tools offered by evidence theory. These operators, uniformly presented in the same spirit of others in [9], stem from consistent subbases maximal with respect to credibility instead of set inclusion and cardinality. Moreover, in between these two extremes operators, evidence theory let us shed some light on a compromise operator avoiding losing initial beliefs to the maximum extent possible. Its idea captures maximal consistent sets stemming from all possible intersections of maximal consistent subbases. An illustration of all these operators and a comparison with others are inverstigated by examples.