Credibility-Limited Revision for Epistemic Spaces
This work addresses a foundational issue in belief change theory for AI and logic, offering an incremental extension to existing frameworks.
The paper tackles the problem of extending credibility-limited revision operators in epistemic spaces to include all AGM revision operators while preserving their original principles, and presents an axiomatic definition and semantic characterization for these extended operators.
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.