扩展可信度受限信念修正，让经典AGM算子兼容新框架
Credibility-Limited Revision for Epistemic Spaces
- 通过公理化定义扩展的可信度受限修正算子
- 新算子类包含所有AGM修正算子且保持原精神
- 基于可能世界全序关系给出语义表征
在认知空间的信念变迁框架中，研究可信度受限的信念修正，允许信念集和信念本身不一致。在此无限制设定下，可信度受限修正算子类不包含任何AGM修正算子。本文以保持原可信度受限修正精神为前提，扩展该算子类，使其包含所有AGM修正算子。扩展后的可信度受限修正算子通过公理化方式定义，并给出了基于可能世界全序关系的语义刻画。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。