論文の概要: Graded Distributed Belief

• arxiv url: http://arxiv.org/abs/2511.22381v1
• Date: Thu, 27 Nov 2025 12:14:28 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-01 19:47:55.556111
• Title: Graded Distributed Belief
• Title（参考訳）: 傾斜分散信条
• Authors: Emiliano Lorini, Dmitry Rozplokhas,
• Abstract要約: 我々は、あるエージェントのグループがある事実が少なくとも強み k で成り立つと信じているという事実を表現できる、階数分布信念の新しい論理を導入する。 グループの分散信念の強さは、メンバーの個々の信念基盤を統合した後、グループの信念ベースから直接計算される。
• 参考スコア（独自算出の注目度）: 11.582752410465227
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least strength k. We interpret our logic by means of computationally grounded semantics relying on the concept of belief base. The strength of the group's distributed belief is directly computed from the group's belief base after having merged its members' individual belief bases. We illustrate our logic with an intuitive example, formalizing the notion of epistemic disagreement. We also provide a sound and complete Hilbert-style axiomatization, decidability result obtained via filtration, and a tableaux-based decision procedure that allows us to state PSPACE-completeness for our logic.
• Abstract（参考訳）: 我々は、あるエージェントの群が、ある事実が少なくとも強み k で成り立つことを分布的に信じるという事実を表現できる、階数分布信念の新しい論理を導入する。 我々は、信念ベースの概念に依拠して、計算的基盤のセマンティクスを用いて論理を解釈する。 グループの分散信念の強さは、メンバーの個々の信念基盤を統合した後、グループの信念ベースから直接計算される。 我々の論理を直感的な例で説明し、疫学的な不一致の概念を定式化する。 また,Hilbert方式の完全公理化,フィルタによる決定可能性,論理に対するPSPACE完全性を記述するための表式に基づく決定手順も提供する。

関連論文リスト

• Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version) [41.99844472131922]
  マルチエージェントエビデンスモデルにおけるグループ知識とグループ信念の概念について検討する。 我々は「ハード」および「ソフト」集団証拠の論理の決定可能性について公理化し、示す。
  論文  参考訳（メタデータ） (2025-08-29T18:33:54Z)
• Toward a Graph-Theoretic Model of Belief: Confidence, Credibility, and Structural Coherence [0.0]
  本稿では、有向重み付きグラフとして、信念システムに対する最小の定式化を導入する。 論理的および議論に基づくフレームワークとは異なり、バイナリの正当化ステータスや推論的クロージャをコミットすることなく、きめ細かい構造表現をサポートする。 その目的は、信念体系の内部組織を解析するための基盤となる基盤を提供することである。
  論文  参考訳（メタデータ） (2025-08-05T14:03:23Z)
• Counterfactual Realizability [52.85109506684737]
  本稿では, 正規化可能性の定義, 分布からサンプルを抽出する能力を導入し, 任意の反事実分布が実現可能であるかどうかを判定する完全アルゴリズムを開発する。 本稿では、因果的公正さと因果的強化学習のモチベーション例を用いて、この新たな反ファクト的データ収集フレームワークの意義を説明する。
  論文  参考訳（メタデータ） (2025-03-14T20:54:27Z)
• Uncommon Belief in Rationality [23.98373492872004]
  本稿では,エージェントが他のエージェントの合理性について持つであろう高次信念をグラフベースで表現する言語を提案する。 2つの主な貢献は、与えられた信念構造に基づく推論過程をキャプチャする解の概念と、任意の信念構造をユニークな最小の形式に圧縮する効率的なアルゴリズムである。
  論文  参考訳（メタデータ） (2024-12-12T16:12:40Z)
• Grounding Language about Belief in a Bayesian Theory-of-Mind [5.058204320571824]
  我々は、ベイズ理論における信念文の意味論を基礎づけて、答えに向かって一歩進む。 人類が共同で目標、信念、計画の集合をどう推測するかをモデル化することによって、我々の枠組みは信念に対する概念的な役割のセマンティクスを提供する。 我々は、エージェントがドア・アンド・キーズ・グリッドワールドパズルを解くのを見ながら、人間が目標や信念をどう評価するかを研究することで、この枠組みを評価する。
  論文  参考訳（メタデータ） (2024-02-16T02:47:09Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• Language Models with Rationality [57.37201135072838]
  大規模言語モデル(LLM)は質問応答(QA)に熟練している 答えが潜んでいる「信条」からどのように従うか(あるいはたとえも)は必ずしも明確ではない。
  論文  参考訳（メタデータ） (2023-05-23T17:04:25Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  より弱い仮定として, 2$-adjacency faithfulness を提案します。 より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
  論文  参考訳（メタデータ） (2020-10-27T13:04:08Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。