論文の概要: Belief Contraction in Dynamic Epistemic Logic
- arxiv url: http://arxiv.org/abs/2606.31861v1
- Date: Tue, 30 Jun 2026 15:53:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-01 18:27:19.293958
- Title: Belief Contraction in Dynamic Epistemic Logic
- Title（参考訳）: 動的てんかん論理における信念の収縮
- Abstract要約: 標準クリプキモデル上で直接定義された信念の縮約機構を導入する。
信念の収縮の標準的な性質のいくつかを満たすが、他の性質は満たさないことを示す。
また、標準DELの拡張であるより一般的な動的論理を定義する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural account of belief expansion through the elimination of possibilities, but it cannot model belief contraction about factual propositions. A classic response enriches Kripke models with plausibility orderings, representing contraction as an update that promotes certain possibilities over others. We show that this approach has expressive limitations. In particular, the approach cannot model belief that violates positive introspection and contraction dynamics in response to a hedged public announcement that phi might be false. Motivated by these considerations, we introduce a mechanism for belief contraction defined directly on standard Kripke models, without any constraints on the doxastic accessibility relation. We show that it satisfies some of the standard properties of belief contraction but not others, study the conditions under which contraction may be unsuccessful, and provide a sound and complete axiomatization of the logic via reduction axioms. We also define a more general dynamic logic that is an extension of standard DEL and accommodates belief contractions due to events such as private or semi-private announcements, and provide a complete and sound axiomatization of the general logic.
- Abstract（参考訳）: ダイナミック・エピステマティック・ロジックは、エピステマティック・イベントによって誘発されるモデル変換による信念の変化を表す。
その標準定式化(Baltag, Moss, Solecki, 1998)は、可能性の排除による信念の拡大の自然な説明を提供するが、事実命題に関する信念の収縮をモデル化することはできない。
古典的な応答は、Kripkeモデルを可視性順序付けで豊かにし、収縮を他の人に対する特定の可能性を促進するアップデートとして表現する。
このアプローチには表現力の限界があることが示される。
特に、アプローチは、phiが偽であるかもしれないという誇張された公告に反応して、正の内省と収縮ダイナミクスに反する信念をモデル化することはできない。
これらの考察により、ドクサスティックアクセシビリティ関係に制約を加えることなく、標準クリプキモデル上で直接定義された信念収縮のメカニズムを導入する。
我々は、信念の収縮の標準的な性質を満足するが、それ以外は満たさないことを示し、収縮が失敗する可能性のある条件を研究し、還元公理を通じて論理の健全かつ完全な公理化を提供する。
また、標準DELの拡張であるより一般的な動的論理を定義し、私的または半私的な発表などのイベントによる信念の収縮を許容し、一般論理の完全かつ健全な公理化を提供する。
関連論文リスト
- Modeling the Disjunction Effect within Classical Probability: A New Decision Process Model and Comparison with Quantum-like Models [0.0]
我々は、囚人のジレンマ判決効果の主張を再検討する。
量子的イベントセマンティクスでは、あいまいな純粋な状態はジェネリックである。
我々は、同じ実験の標準的な量子的モデルによって生成されるようなトリプルに対して、それを正確に再現する古典的なインスタンスが存在することを証明している。
論文 参考訳（メタデータ） (2026-03-24T14:05:25Z) - OMNIFLOW: A Physics-Grounded Multimodal Agent for Generalized Scientific Reasoning [51.33849811496781]
大規模言語モデル (LLM) は例外的な論理的推論能力を示しているが、部分微分方程式 (PDE) による連続力学としばしば競合する。
OMNIFLOWは, 領域固有のパラメータ更新を必要とせず, 基本物理法則で凍結LDMを基底として設計したマルチモーダルシンボリックアーキテクチャである。
我々は, 微視的乱流, 理論的ナビエ・ストークス, マクロ的世界天気予報のベンチマークでこれを評価した。
論文 参考訳（メタデータ） (2026-03-16T18:29:01Z) - Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox [0.0]
本稿では、その一元的進化の間に論理的一貫性を本質的に強制する量子回路アーキテクチャを提案する。
回路は干渉効果を用いて一貫性のない結果の抑制とコヒーレントな結果の保存を行う。
この研究は形式論理と量子認知モデリングを橋渡しし、一貫性を推論システムの構造的性質として組み込むことができることを示唆している。
論文 参考訳（メタデータ） (2025-12-26T07:59:28Z) - Toward a Graph-Theoretic Model of Belief: Confidence, Credibility, and Structural Coherence [0.0]
本稿では、有向重み付きグラフとして、信念システムに対する最小の定式化を導入する。
論理的および議論に基づくフレームワークとは異なり、バイナリの正当化ステータスや推論的クロージャをコミットすることなく、きめ細かい構造表現をサポートする。
その目的は、信念体系の内部組織を解析するための基盤となる基盤を提供することである。
論文 参考訳（メタデータ） (2025-08-05T14:03:23Z) - Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning [0.7106986689736826]
「偽りの理性は、アリスがアスピリンを飲んだら回復しただろうか?」
本稿では,ある因果グラフモデルに適合する反ファクトを表現するために,構造因果モデルに対する代替手法を提案する。
本稿では,(通常テスト可能な)介入制約から(任意かつ不可能な)カウンターファクト選択を解き放つ正規化手順を提案する。
論文 参考訳（メタデータ） (2025-07-22T09:13:02Z) - Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。
伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。
本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
論文 参考訳（メタデータ） (2025-06-12T18:35:01Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳（メタデータ） (2023-05-19T13:15:48Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳（メタデータ） (2022-05-25T03:40:59Z) - Probabilistic modelling of rational communication with conditionals [0.0]
条件に関する実用的推論には確率論的アプローチを採用する。
本モデルは,文献で検証された推論を一様に説明できることを示す。
論文 参考訳（メタデータ） (2021-05-12T08:21:25Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。