論文の概要: Formalizing the presumption of independence
- arxiv url: http://arxiv.org/abs/2211.06738v1
- Date: Sat, 12 Nov 2022 20:28:19 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-15 19:54:13.193735
- Title: Formalizing the presumption of independence
- Title(参考訳): 独立の前提の定式化
- Authors: Paul Christiano, Eric Neyman, Mark Xu
- Abstract要約: このような推論の重要な要素は、$mathbbE[XY] = mathbbE[X] mathbbE[Y]$の"デフォルト"推定値を使用することである。
これに基づく推論は一般的な場所であり、直感的に説得力があり、しばしば非常に成功しますが、完全に非公式です。
独立の前提の直感的に有効な適用を、素早い議論を受け入れることなく公式化する推定器があるのだろうか?
- 参考スコア(独自算出の注目度): 2.658812114255374
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Mathematical proof aims to deliver confident conclusions, but a very similar
process of deduction can be used to make uncertain estimates that are open to
revision. A key ingredient in such reasoning is the use of a "default" estimate
of $\mathbb{E}[XY] = \mathbb{E}[X] \mathbb{E}[Y]$ in the absence of any
specific information about the correlation between $X$ and $Y$, which we call
*the presumption of independence*. Reasoning based on this heuristic is
commonplace, intuitively compelling, and often quite successful -- but
completely informal.
In this paper we introduce the concept of a heuristic estimator as a
potential formalization of this type of defeasible reasoning. We introduce a
set of intuitively desirable coherence properties for heuristic estimators that
are not satisfied by any existing candidates. Then we present our main open
problem: is there a heuristic estimator that formalizes intuitively valid
applications of the presumption of independence without also accepting spurious
arguments?
- Abstract(参考訳): 数学的証明は、確実な結論を導くことを目的としているが、非常に類似した推論プロセスを使用して、修正に開放された不確実な推定を行うことができる。
そのような推論における重要な要素は、$X$と$Y$の相関関係に関する具体的な情報がない場合に、$\mathbb{E}[XY] = \mathbb{E}[X] \mathbb{E}[Y]$の"デフォルト"推定値を使用することである。
このヒューリスティックに基づく推論は一般的であり、直感的に説得力があり、しばしば非常に成功した。
本稿では,このタイプのデファシブル推論の形式化の可能性として,ヒューリスティックな推定器の概念を紹介する。
既存の候補に満たされないヒューリスティック推定器に対して直感的に望ましいコヒーレンス特性のセットを導入する。
独立の仮定の直観的に妥当な応用を形式化するヒューリスティックな推定器は、スプリアスな議論を受け入れることなく存在するのか?
関連論文リスト
- Towards a Law of Iterated Expectations for Heuristic Estimators [10.287238241371922]
本研究では,推定器が自身の誤りを予測できないという非公式の原理を論じる。
理想的な推定器はこの静脈の2つのより強い性質を満たすべきであると論じる。
別のアプローチとして *accuracy*:$mathbbG(Y mid pi)$ が数学的表現の分布上の平均誤差をゼロとする性質を探求する。
論文 参考訳(メタデータ) (2024-10-02T07:33:27Z) - The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳(メタデータ) (2024-07-16T11:12:28Z) - Betting on what is neither verifiable nor falsifiable [18.688474183114085]
我々は,このようなイベントを選択肢を通じて賭けるアプローチを提案し,また,「検証・ファルシフィケーションゲーム」の結果に賭ける手法を提案する。
したがって、我々の研究は、論理的不確実性に対するガラブラント帰納法(英語版)の既存の枠組みの代替として機能し、数学の哲学における構成主義(英語版)として知られるスタンスに関連している。
論文 参考訳(メタデータ) (2024-01-29T17:30:34Z) - Uncovering Meanings of Embeddings via Partial Orthogonality [29.190972879474526]
機械学習ツールは、しばしば実数のベクトルとしてテキストを埋め込むことに依存している。
このような埋め込みの代数構造において,言語の意味構造がどのように符号化されているかを検討する。
論文 参考訳(メタデータ) (2023-10-26T17:34:32Z) - Spectral theorem for dummies: A pedagogical discussion on quantum
probability and random variable theory [0.0]
ジョン・フォン・ノイマンの自己随伴作用素に対するスペクトル定理は量子力学の基礎となっている。
本稿では、ディラックのブラとケット表記の観点から、この定理の平凡な定式化を述べる。
論文 参考訳(メタデータ) (2022-11-23T07:05:47Z) - Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System [0.0]
TPTNDの導出性は、与えられたカテゴリー分布から特定の周波数で$n$サンプルを抽出する過程として解釈される。
本稿では,TPTND のセマンティクスを解析し,そのセマンティクスについて述べる。
構造的・メタセオレティックな性質を概説し、特に「進化」と「論理的規則」をどの用語で表すかを確立する能力に焦点をあてる。
論文 参考訳(メタデータ) (2022-06-26T17:55:32Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Nonparametric Conditional Local Independence Testing [69.31200003384122]
条件付き局所独立は、連続的な時間プロセス間の独立関係である。
条件付き地域独立の非パラメトリックテストは行われていない。
二重機械学習に基づく非パラメトリックテストを提案する。
論文 参考訳(メタデータ) (2022-03-25T10:31:02Z) - Causal Expectation-Maximisation [70.45873402967297]
ポリツリーグラフを特徴とするモデルにおいても因果推論はNPハードであることを示す。
我々は因果EMアルゴリズムを導入し、分類的表現変数のデータから潜伏変数の不確かさを再構築する。
我々は、反事実境界が構造方程式の知識なしにしばしば計算できるというトレンドのアイデアには、目立たずの制限があるように思える。
論文 参考訳(メタデータ) (2020-11-04T10:25:13Z) - A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。
より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文 参考訳(メタデータ) (2020-10-27T13:04:08Z) - Nonparametric Score Estimators [49.42469547970041]
未知分布によって生成されたサンプルの集合からスコアを推定することは確率モデルの推論と学習における基本的なタスクである。
正規化非パラメトリック回帰の枠組みの下で、これらの推定器の統一的なビューを提供する。
カールフリーカーネルと高速収束による計算効果を享受する反復正規化に基づくスコア推定器を提案する。
論文 参考訳(メタデータ) (2020-05-20T15:01:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。