The paper starts by observing that the existing notion of credibility-limited revision for epistemic spaces does not behave well in the unrestricted case where inconsistent beliefs are permitted. Specifically, all AGM revision operators are excluded, and inconsistent belief sets cannot be handled.
To address this, the paper makes the following key contributions:
Extended Credibility-Limited Revision: The authors define extended credibility-limited revision, which builds upon the original credibility-limited revision by Booth et al. They identify one postulate that makes the original operators exclude AGM revision and be incompatible with inconsistent beliefs. The authors add two new postulates to the original set to ensure the extended operators match the intuition of credibility-limited revision.
Semantic Characterization: A semantic characterization of the extended credibility-limited revision operators is provided, using total preorders on possible worlds, similar to the Darwiche-Pearl representation theorem for revision.
Genuineness: The authors show that the extended credibility-limited revisions are a genuine extension of the original credibility-limited revisions by Booth et al., and that they include all AGM revision operators.
The paper also includes examples demonstrating the properties of the extended credibility-limited revision operators and how they handle inconsistent beliefs, in contrast to the original credibility-limited revision.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Kai Sauerwal... lúc arxiv.org 09-12-2024
https://arxiv.org/pdf/2409.07119.pdfYêu cầu sâu hơn