区間順序・バイ順序と信頼度制限付き信念更新
arXiv cs.AI / 2026/5/1
📰 ニュースIdeas & Deep AnalysisModels & Research
要点
- 本論文は、可能世界の間の通常の全順序（全プリオリティ）という前提を超え、信念更新のための代替となる順序構造として区間順序とバイ順序を扱います。
- 区間順序は各可能世界に非負の「尤度（ plausibility ）」の区間を対応づけ、バイ順序は区間の長さを負にもできるよう拡張して、不協和や不安定さを表現できるようにします。
- 著者らは、これらの順序に基づく信念更新オペレータについて、さらに区間順序とバイ順序の間に位置する2つの追加的な族も含めて、公理的な特徴づけを提示します。
- バイ順序に基づく更新はSuccess公理を満たす一方で、得られる信念集合が一貫しない場合があることを示し、その対処として“不可能（incredible）”な入力として捨てるように定義を修正します。
- これにより、Consistency公理は満たすがSuccessは満たさない「非優先付け（non-prioritised）」の更新族が導かれ、信頼度制限付き更新（credibility-limited revision）とも関連づけられます。
