English

Credibility-Limited Revision for Epistemic Spaces

Artificial Intelligence 2024-09-12 v1 Logic in Computer Science

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.

Keywords

Cite

@article{arxiv.2409.07119,
  title  = {Credibility-Limited Revision for Epistemic Spaces},
  author = {Kai Sauerwald},
  journal= {arXiv preprint arXiv:2409.07119},
  year   = {2024}
}