論文の概要: Common Belief Revisited
- arxiv url: http://arxiv.org/abs/2602.15403v1
- Date: Tue, 17 Feb 2026 07:22:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-18 16:03:18.009099
- Title: Common Belief Revisited
- Title(参考訳): 共通信条再考
- Authors: Thomas Ågotnes,
- Abstract要約: 個別の信念が KD45 であれば、共通の信念は5つの性質を失い、D と 4 の性質を保持する。
結果が共通信念の完全な特徴化であり、オープンな問題を解決していることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Contrary to common belief, common belief is not KD4. If individual belief is KD45, common belief does indeed lose the 5 property and keep the D and 4 properties -- and it has none of the other commonly considered properties of knowledge and belief. But it has another property: $C(Cφ\rightarrow φ)$ -- corresponding to so-called shift-reflexivity (reflexivity one step ahead). This observation begs the question: is KD4 extended with this axiom a complete characterisation of common belief in the KD45 case? If not, what \emph{is} the logic of common belief? In this paper we show that the answer to the first question is ``no'': there is one additional axiom, and, furthermore, it relies on the number of agents. We show that the result is a complete characterisation of common belief, settling the open problem.
- Abstract(参考訳): 一般的な信念とは対照的に、一般的な信念はKD4ではない。
個人的信念が KD45 であるならば、一般的な信念は5 つの性質を失い、D と 4 の性質を保ち、知識と信念の他の一般的な性質は持たない。しかし、それは別の性質を持つ:$C(Cφ\rightarrow φ)$ -- いわゆるシフト反射性(回帰性は一歩前進する)に対応する。
この公理で拡張されたKD4は、KD45事件における共通の信念の完全な特徴化か?
もしそうでなければ、共通信念の論理は何でしょう?
この論文では、最初の質問に対する答えが ``no'' であることを示し、さらに1つの公理があり、さらに、エージェントの数に依存する。
結果が共通信念の完全な特徴化であり、オープンな問題を解決していることを示す。
関連論文リスト
- BEDA: Belief Estimation as Probabilistic Constraints for Performing Strategic Dialogue Acts [69.7477004390211]
我々は2つの中核的行為を形式化し、エージェントが生成する可能性のある確率的制約によってそれらを運用する。
我々は,このアイデアを,世界集合と信念推定のための信念推定器と,推論された信念と整合した発話を選択・実現する条件生成器とからなる枠組みであるBEDAでインスタンス化する。
論文 参考訳(メタデータ) (2025-12-31T14:26:55Z) - On the CQC Conjecture [4.159874391316131]
我々は、CQC予想が成立する十分条件を導出する。
我々はこの予想を、相互に偏りのない基底と素次元の数に拡張する。
この拡張された CQC 予想を任意の素次元の等方状態上で証明し、それを広範囲にシミュレートする。
論文 参考訳(メタデータ) (2025-09-10T05:03:35Z) - Convex roofs witnessing Kirkwood-Dirac nonpositivity [0.0]
一般混合状態に対するKD非正の2つの証人を構築する。
私たちの最初の目撃者は、サポートの不確実性の凸屋根です。
もう一つの目撃者は、全KD非正の凸屋根である。
論文 参考訳(メタデータ) (2024-07-05T14:47:32Z) - Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。
コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
論文 参考訳(メタデータ) (2024-06-05T16:36:21Z) - An Investigation of Darwiche and Pearl's Postulates for Iterated Belief
Update [11.363254633032023]
我々は,信念状態に基づく元のKM仮定の修正を提案する。
我々は、反復的信念修正のためのいくつかのよく知られた仮定を反復的信念更新に移行した。
論文 参考訳(メタデータ) (2023-10-28T14:21:21Z) - Belief Revision from Probability [0.0]
我々は、信念の質問相対的で確率的な説明を開発する。
検証した原理は、AGMのような信念修正の正統論の原則よりもはるかに弱いことを示す。
我々は、現在の枠組みは、ライトゲブとリンとケリーによって開発された信念のライバルの確率論的説明と好意的に比較して結論付ける。
論文 参考訳(メタデータ) (2023-07-11T07:11:30Z) - Characterizing the geometry of the Kirkwood-Dirac positive states [0.0]
カークウッド・ディラック(KD)準確率分布は、2つの観測可能な$A$と$B$の固有基底に関する任意の量子状態を記述することができる。
正のKD分布を持つ状態の全凸集合が、$A$と$B$の固有基底に依存することを示す。
また、純粋なKD陽性状態の凸結合として書けない混合KD陽性状態が存在するかどうかについても検討する。
論文 参考訳(メタデータ) (2023-05-31T18:05:02Z) - Language Models with Rationality [57.37201135072838]
大規模言語モデル(LLM)は質問応答(QA)に熟練している
答えが潜んでいる「信条」からどのように従うか(あるいはたとえも)は必ずしも明確ではない。
論文 参考訳(メタデータ) (2023-05-23T17:04:25Z) - A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。
より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文 参考訳(メタデータ) (2020-10-27T13:04:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。