論文の概要: Axiomatizing Rumsfeld Ignorance

• arxiv url: http://arxiv.org/abs/2507.17776v1
• Date: Tue, 22 Jul 2025 14:25:53 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-25 15:10:42.218719
• Title: Axiomatizing Rumsfeld Ignorance
• Title（参考訳）: Axiomatizing Rumsfeld Ignorance
• Authors: Jie Fan,
• Abstract要約: ラムスフェルト無知は無知という観点で定義可能であり、既存の結果と公理化問題は自明である。 2つのアクセシビリティ関係は、一方が他方の任意の部分集合であるように異なるものと仮定する。 主な結果は、様々な適切な二フレームクラスに対する公理化である。
• 参考スコア（独自算出の注目度）: 2.50194939587674
• License: http://creativecommons.org/publicdomain/zero/1.0/
• Abstract: In a recent paper, Kit Fine presents some striking results concerning the logical properties of (first-order) ignorance, second-order ignorance and Rumsfeld ignorance. However, Rumsfeld ignorance is definable in terms of ignorance, which makes some existing results and the axiomatization problem trivial. A main reason is that the accessibility relations for the implicit knowledge operator contained in the packaged operators of ignorance and Rumsfeld ignorance are the same. In this work, we assume the two accessibility relations to be different so that one of them is an arbitrary subset of the other. This will avoid the definability issue and retain most of the previous validities. The main results are axiomatizations over various proper bi-frame classes. Finally we apply our framework to analyze Fine's results.
• Abstract（参考訳）: 最近の論文では、(一階の)無知、二階の無知、Rumsfeld無知の論理的性質に関する顕著な結果が提示されている。 しかし、ラムスフェルト無知は無知という観点で定義可能であり、既存の結果と公理化問題は自明である。 主な理由は、無知のパッケージ化された作用素に含まれる暗黙の知識演算子のアクセシビリティ関係が同じであるからである。 この研究において、2つのアクセシビリティ関係は、一方が他方の任意の部分集合であるように異なるものと仮定する。 これにより、定義可能性の問題が回避され、以前のバリデーションの大部分が保持される。 主な結果は、様々な適切な二フレームクラスに対する公理化である。 最後に、Fineの結果を分析するためにフレームワークを適用します。

関連論文リスト

• Polynomial-Time Relational Probabilistic Inference in Open Universes [14.312814866832804]
  本稿では,使用する言語の表現力と推論による計算問題のトラクタビリティを両立させる一階確率推定手法を提案する。 具体的には、期待の2乗論理をリレーショナルセッティングに拡張する。 与えられた次数と大きさの証明によって証明可能な最も厳密な境界を導出し、固定度に対する2乗の総和の完全性を確立することができる。
  論文  参考訳（メタデータ） (2025-05-07T04:14:03Z)
• Regret Bounds for Robust Online Decision Making [49.1574468325115]
  構造化された観察による意思決定」を一般化する枠組みを提案する。 この枠組みでは、各モデルは各決定を結果に対する確率分布の凸集合と関連付ける。 次に、この枠組みに対する後悔の束縛の理論を導出します。
  論文  参考訳（メタデータ） (2025-04-09T12:25:00Z)
• What Really is Commonsense Knowledge? [58.5342212738895]
  我々は、既存のコモンセンス知識の定義を調査し、概念を定義するための3つのフレームワークに基礎を置き、それらをコモンセンス知識の統一的な定義に統合する。 次に、アノテーションと実験のための統合された定義をCommonsenseQAとCommonsenseQA 2.0データセットで使用します。 本研究は,2つのデータセットには非常識知識のインスタンスが多数存在し,これら2つのサブセットに対して大きな性能差があることを示す。
  論文  参考訳（メタデータ） (2024-11-06T14:54:19Z)
• Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
  人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。 このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。 興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
  論文  参考訳（メタデータ） (2024-03-07T15:12:06Z)
• Extending Complex Logical Queries on Uncertain Knowledge Graphs [50.360531130930646]
  機械学習に基づく論理クエリ応答の研究は、大規模かつ不完全な知識グラフによる推論を可能にする。 我々は,大規模,不完全,不確実な知識グラフ上でのソフトクエリに応答するために,前方推論と後方校正の両方を組み込んだニューラルシンボリックアプローチを提案する。
  論文  参考訳（メタデータ） (2024-03-03T13:13:53Z)
• Uncertainty relations from state polynomial optimization [3.069335774032178]
  非可換次元オブザーバブルの分散における加法的不確実性関係に対する半定値プログラミング階層を開発する。 階層構造は、厳密な不確実性関係に収束するという意味で完備である。 この手法は、パウリ、ハイゼンベルク=ワイル、フェルミオン作用素を含む様々なシナリオに適用できる。
  論文  参考訳（メタデータ） (2023-10-01T08:24:36Z)
• What's the Harm? Sharp Bounds on the Fraction Negatively Affected by Treatment [58.442274475425144]
  我々は,これらの関数がどの程度の速さで学習されたかに関わらず,効率の良い頑健な推論アルゴリズムを開発した。 シミュレーション研究および失業者のキャリアカウンセリングのケーススタディにおいて,本手法を実証する。
  論文  参考訳（メタデータ） (2022-05-20T17:36:33Z)
• Multi-Valued Cognitive Maps: Calculations with Linguistic Variables without Using Numbers [0.0]
  本稿では,多値認知マップの概念を紹介する。 すべての変数と重みは、この概念において線形に順序づけられるのではなく、部分的に順序づけられているだけである。
  論文  参考訳（メタデータ） (2021-08-10T15:55:17Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  より弱い仮定として, 2$-adjacency faithfulness を提案します。 より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
  論文  参考訳（メタデータ） (2020-10-27T13:04:08Z)
• Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs [89.51365993393787]
  知識グラフ(KG)上で任意のFOLクエリに応答する確率的埋め込みフレームワークであるBetaEを紹介する。 BetaEは、一階述語論理演算の完全なセットを処理できる最初のメソッドである。 大規模かつ不完全な3つのKG上での任意のFOLクエリ応答におけるBetaEの性能を示す。
  論文  参考訳（メタデータ） (2020-10-22T06:11:39Z)
• G\"odel's Sentence Is An Adversarial Example But Unsolvable [1.261852738790008]
  敵の例が存在する理由を示す。 真で証明可能な2つの自然な説明に対して、G"odel's sentence は逆例であるが、決定不能である。 敵の例に対する計算不可能性を証明しますが、それは認識不能です。
  論文  参考訳（メタデータ） (2020-02-25T07:20:17Z)

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

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