論文の概要: Dynamic Logic of Trust-Based Beliefs

• arxiv url: http://arxiv.org/abs/2511.00899v1
• Date: Sun, 02 Nov 2025 11:36:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-11-05 16:37:26.983868
• Title: Dynamic Logic of Trust-Based Beliefs
• Title（参考訳）: 信頼に基づく信念の動的論理
• Authors: Junli Jiang, Pavel Naumov, Wenxuan Zhang,
• Abstract要約: 本稿では,データの公開発表を取り入れた,そのような信念の動的論理について考察する。 主な技術的貢献は、データインフォームド信念とデータ告知モダリティの間の相互作用の健全で完全な公理化である。
• 参考スコア（独自算出の注目度）: 34.426502048950304
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Traditionally, an agent's beliefs would come from what the agent can see, hear, or sense. In the modern world, beliefs are often based on the data available to the agents. In this work, we investigate a dynamic logic of such beliefs that incorporates public announcements of data. The main technical contribution is a sound and complete axiomatisation of the interplay between data-informed beliefs and data announcement modalities. We also describe a non-trivial polynomial model checking algorithm for this logical system.
• Abstract（参考訳）: 伝統的に、エージェントの信念は、エージェントが見る、聞く、または感じるものに由来する。 現代の世界では、信念はしばしばエージェントが利用できるデータに基づいています。 本研究では,データの公開発表を取り入れた,そのような信念の動的論理を考察する。 主な技術的貢献は、データインフォームド信念とデータ告知モダリティの間の相互作用の健全で完全な公理化である。 また,この論理系に対する非自明な多項式モデル検査アルゴリズムについても述べる。

関連論文リスト

• Belief Attribution as Mental Explanation: The Role of Accuracy, Informativity, and Causality [42.943294683967046]
  我々は、人々が観察する行動によい説明である信念を属性にすることを好んでいるという仮説を考察する。 本研究では,エージェントの信念に関する(自然言語)文の説明的強度を定量化する計算モデルを開発する。 このモデルを用いて,信念を他のエージェントに選択的に属性づけする方法について,各要因の役割について検討した。
  論文  参考訳（メタデータ） (2025-05-26T00:21:38Z)
• Tell Me Why: Incentivizing Explanations [3.2754470919268543]
  エージェントからの信念を説明するインセンティブを提供するメカニズムは知られていない。 標準ベイズモデルは説明の必要性を抑える仮定を作る。 この研究は、エージェントのプライベート情報リーダーによるより効率的なアグリゲーションへの合理的な説明を論じている。
  論文  参考訳（メタデータ） (2025-02-19T03:47:34Z)
• Uncommon Belief in Rationality [23.98373492872004]
  本稿では,エージェントが他のエージェントの合理性について持つであろう高次信念をグラフベースで表現する言語を提案する。 2つの主な貢献は、与えられた信念構造に基づく推論過程をキャプチャする解の概念と、任意の信念構造をユニークな最小の形式に圧縮する効率的なアルゴリズムである。
  論文  参考訳（メタデータ） (2024-12-12T16:12:40Z)
• Advancing Interactive Explainable AI via Belief Change Theory [5.842480645870251]
  この種の形式化は、対話的な説明を開発するためのフレームワークと方法論を提供する、と我々は主張する。 まず,人間と機械の間で共有される説明情報を表現するために,論理に基づく新しい形式を定義した。 次に、対話型XAIの現実シナリオについて検討し、新しい知識と既存の知識の優先順位が異なり、フォーマリズムがインスタンス化される可能性がある。
  論文  参考訳（メタデータ） (2024-08-13T13:11:56Z)
• Rate-Distortion-Perception Theory for Semantic Communication [73.04341519955223]
  シンボル歪みおよび意味知覚制約下での意味コミュニケーションの達成可能なデータレートについて検討する。 我々は、受信者が特定の歪みや知覚の制約を満たす意味情報ソースを直接推測できるケースが存在することを観察する。
  論文  参考訳（メタデータ） (2023-12-09T02:04:32Z)
• Prototype-based Aleatoric Uncertainty Quantification for Cross-modal Retrieval [139.21955930418815]
  クロスモーダル検索手法は、共通表現空間を共同学習することにより、視覚と言語モダリティの類似性関係を構築する。 しかし、この予測は、低品質なデータ、例えば、腐敗した画像、速いペースの動画、詳細でないテキストによって引き起こされるアレタリック不確実性のために、しばしば信頼性が低い。 本稿では, 原型に基づくAleatoric Uncertainity Quantification (PAU) フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-09-29T09:41:19Z)
• Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
  私たちは、常識と一時的な知識のヒントの両方を階層的にカバーする動機があります。 具体的には,文の背骨成分を抽出し,知識単位の一般的な定式化を提案する。 次に、事実単位の上にスーパーグラフを構築し、文レベル(事実群間の関係)と実体レベルの相互作用の利点を享受する。
  論文  参考訳（メタデータ） (2021-05-21T13:11:13Z)

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

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