Credibility-Limited Revision for Epistemic Spaces

TL;DR

This paper introduces an extended framework for credibility-limited belief revision in epistemic spaces, accommodating inconsistencies and unifying with AGM revision operators through axiomatic and semantic characterizations.

Contribution

It extends credibility-limited revision operators to include all AGM revision operators while maintaining the original concept, with axiomatic and semantic characterizations.

Findings

Extended credibility-limited revision operators include all AGM revision operators.

Semantic characterization uses total preorders on possible worlds.

Framework allows inconsistent belief sets and beliefs.

Abstract

We consider credibility-limited revision in the framework of belief change for epistemic spaces, permitting inconsistent belief sets and inconsistent beliefs. In this unrestricted setting, the class of credibility-limited revision operators does not include any AGM revision operators. We extend the class of credibility-limited revision operators in a way that all AGM revision operators are included while keeping the original spirit of credibility-limited revision. Extended credibility-limited revision operators are defined axiomatically. A semantic characterization of extended credibility-limited revision operators that employ total preorders on possible worlds is presented.