論文の概要: From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
- arxiv url: http://arxiv.org/abs/2508.07304v1
- Date: Sun, 10 Aug 2025 11:37:49 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-12 21:23:28.800047
- Title: From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
- Title（参考訳）: 知識から導出へ:仮説の推論のためのモーダル・フレームワーク
- Authors: Fabio Vitali,
- Abstract要約: 本稿では,主観的推論の形式化を目的とした認知モーダル論理の新たなファミリを紹介する。
導出論理は Axiom C と呼ばれる原理に依存しており、すべての確立された事実が仮説的な層にまたがって保存されることを保証する。
また、予想から受理事実への遷移を形式化する動的演算 $mathsfsettle(varphi)$ も導入する。
- 参考スコア（独自算出の注目度）: 2.06682776181122
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper introduces a new family of cognitive modal logics designed to formalize conjectural reasoning: a modal system in which cognitive contexts extend known facts with hypothetical assumptions to explore their consequences. Unlike traditional doxastic and epistemic systems, conjectural logics rely on a principle, called Axiom C ($\varphi \rightarrow \Box\varphi$), that ensures that all established facts are preserved across hypothetical layers. While Axiom C was dismissed in the past due to its association with modal collapse, we show that the collapse only arises under classical and bivalent assumptions, and specifically in the presence of Axiom T. Hence we avoid Axiom T and adopt a paracomplete semantic framework, grounded in Weak Kleene logic or Description Logic, where undefined propositions coexist with modal assertions. This prevents the modal collapse and guarantees a layering to distinguish between factual and conjectural statements. Under this framework we define new modal systems, e.g., KC and KDC, and show that they are complete, decidable, and robust under partial knowledge. Finally, we introduce a dynamic operation, $\mathsf{settle}(\varphi)$, which formalizes the transition from conjecture to accepted fact, capturing the event of the update of a world's cognitive state through the resolution of uncertainty.
- Abstract（参考訳）: 本稿では,認知コンテキストが既知の事実を仮説的仮定で拡張し,その結果を探索するモーダルシステムについて述べる。
従来のドクサスティック系やエピステミック系とは異なり、導出論理はAxiom C(\varphi \rightarrow \Box\varphi$)と呼ばれる原理に依存しており、すべての確立された事実が仮説的な層にわたって保存されることを保証する。
Axiom C は、モーダル崩壊と結びついているため、過去に外されたことがあるが、この崩壊は古典的および二価の仮定の下でのみ発生し、特に Axiom T の存在下で発生する。
これにより、モーダル崩壊が防止され、事実と形容詞を区別する階層化が保証される。
このフレームワークでは、例えば、KC、KDCといった新しいモーダルシステムを定義し、それらが完全で決定可能で、部分的知識の下で堅牢であることを示す。
最後に、予測から受理事実への遷移を形式化し、不確実性の解決を通じて世界の認知状態の更新のイベントをキャプチャする動的演算、$\mathsf{settle}(\varphi)$を導入する。
関連論文リスト
- Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。
伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。
本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
論文 参考訳（メタデータ） (2025-06-12T18:35:01Z) - Rational Inference in Formal Concept Analysis [0.4499833362998487]
定義可能な条件は非単調推論の形式である。
KLMフレームワークは、defeasible conditionalsという命題のセマンティクスを定義する。
論文 参考訳（メタデータ） (2025-04-07T20:15:20Z) - Answering Causal Queries at Layer 3 with DiscoSCMs-Embracing
Heterogeneity [0.0]
本稿では, 分散一貫性構造因果モデル (DiscoSCM) フレームワークを, 反事実推論の先駆的アプローチとして提唱する。
論文 参考訳（メタデータ） (2023-09-17T17:01:05Z) - 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) - Belief, knowledge and evidence [0.0]
我々は、よく知られた信念と知識の古典的概念とエビデンスの概念を組み合わせた論理体系を提案する。
ここでは,観念と知識がアクセシビリティ・リレーションを通じてモデル化されるのではなく,命題の集合として直接モデル化されるような,関係性のあるフレームベースのセマンティクスを提案する。
論文 参考訳（メタデータ） (2023-04-03T18:20:02Z) - A Robustness Analysis of Blind Source Separation [91.3755431537592]
ブラインドソース分離(BSS)は、変換$f$が可逆であるが未知であるという条件の下で、その混合である$X=f(S)$から観測されていない信号を復元することを目的としている。
このような違反を分析し、その影響を$X$から$S$のブラインドリカバリに与える影響を定量化するための一般的なフレームワークを提案する。
定義された構造的仮定からの偏差に対する一般的なBSS溶出は、明示的な連続性保証という形で、利益的に分析可能であることを示す。
論文 参考訳（メタデータ） (2023-03-17T16:30:51Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳（メタデータ） (2022-05-25T03:40:59Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。