The Realizability of Revision and Contraction Operators in Epistemic Spaces

要約

この論文は、認識空間における信念修正演算子と信念縮小演算子の実現可能性を研究します。
認識空間の AGM 修正演算子と AGM 縮小演算子は、正確に決定された認識空間でのみ実現可能であることがわかります。
特別な種類の最大選択演算子である線形変化演算子のクラスを定義します。
AGM の改訂、AGM の縮小がそれぞれ実現可能である場合、線形変更演算子は正規の実現になります。

要約(オリジナル)

This paper studies the realizability of belief revision and belief contraction operators in epistemic spaces. We observe that AGM revision and AGM contraction operators for epistemic spaces are only realizable in precisely determined epistemic spaces. We define the class of linear change operators, a special kind of maxichoice operator. When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.

arxiv情報

著者 Kai Sauerwald,Matthias Thimm
発行日 2024-07-30 15:55:01+00:00
arxivサイト arxiv_id(pdf)

提供元, 利用サービス

arxiv.jp, Google

カテゴリー: 03B42, cs.AI, I.2.4 パーマリンク