System of Spheres-based Two Level Credibility-limited Revisions

要約

2 レベルの信頼性を制限した改訂は、優先順位のない改訂操作です。
2 レベルの信頼性を制限した改訂によって改訂する場合、2 つのレベルの信頼性と 1 つの信じられないレベルが考慮されます。
最も高い信頼性レベルの文によって改訂する場合、オペレータは標準的な改訂として動作します。その文が 2 番目の信頼性レベルにある場合、改訂プロセスの結果は、その文の否定による標準的な短縮と一致します。
文が信頼できない場合、元の信念セットは変更されないままになります。
この論文では、Grove の球面系に基づいた 2 レベルの信頼性が制限された修正演算子の構築を提案し、これらの演算子の公理的な特徴付けを示します。

要約(オリジナル)

Two level credibility-limited revision is a non-prioritized revision operation. When revising by a two level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this paper, we propose a construction for two level credibility-limited revision operators based on Grove’s systems of spheres and present an axiomatic characterization for these operators.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google