論文の概要: Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs
- arxiv url: http://arxiv.org/abs/2606.03719v1
- Date: Tue, 02 Jun 2026 14:40:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-03 22:00:05.075694
- Title: Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs
- Title（参考訳）: 導出グラフによるDo-Calculus Reasoningの構造の解明
- Authors: Clément Yvernes, Emilie Devijver, Marianne Clausel, Eric Gaussier,
- Abstract要約: Do-calculusは、介入クエリの一般的な推論システムを定義する。
本稿では、do-calculusルールの適用方法と組み合わせ方法を示す導出グラフを紹介する。
等価因果クエリに識別アルゴリズムを適用すると、複数の有効な推定値が生成されることを示す。
- 参考スコア（独自算出の注目度）: 3.4298729855744026
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The do-calculus defines a general system of inference for interventional queries, allowing causal quantities to be transformed through successive applications of its rules. This process induces a rich space of equivalent interventional expressions, but combining and ordering these rules remains challenging. In this work, we introduce derivation graphs, which represent how do-calculus rules are applied and combined, and characterize the full space of observational and interventional probabilities which are equivalent under the do-calculus. The structure of these graphs yields a simple procedure that uses at most four applications of do-calculus rules. Finally, we show how applying identification algorithms to equivalent causal queries produces multiple valid estimands for the same causal quantity, eventually yielding more efficient estimators.
- Abstract（参考訳）: do-calculusは、介入クエリの一般的な推論システムを定義し、規則の連続的な適用を通じて因果量の変換を可能にする。
このプロセスは、等価な介入表現の豊富な空間を誘導するが、これらの規則の組み合わせと順序付けは依然として困難である。
そこで本研究では,do-calculusルールの適用と組み合わせ方法を示す導出グラフを導入し,do-calculusで等価な観測および干渉確率の全空間を特徴付ける。
これらのグラフの構造は、do-calculusルールの少なくとも4つの応用を使用する単純な手順をもたらす。
最後に、等価因果クエリに識別アルゴリズムを適用すると、同じ因果量に対して複数の有効な推定値が生成され、結果としてより効率的な推定値が得られることを示す。
関連論文リスト
- Efficient Quantum Measurements: Computational Max- and Measured Rényi Divergences and Applications [0.0]
本稿では,計算の最大偏差(max-divergence)と計算のR'enyi発散(R'enyi divergences)の2つの新しい種類について検討する。
無限次極限において、R'enyi の発散は計算最大偏差と一致することを証明した。
多重コピー方式では、正規化バージョンを導入し、達成可能な仮説テスト指数に束縛された一方の計算スタインを確立する。
さらに、我々の計算分岐によって引き起こされる資源測度を定義し、資源の相対エントロピーの計算的相対的エントロピーに対して連続性を証明した。
論文 参考訳（メタデータ） (2025-09-25T15:22:23Z) - Predicting Probabilities of Error to Combine Quantization and Early Exiting: QuEE [68.6018458996143]
本稿では,量子化と早期出口動的ネットワークを組み合わせたより一般的な動的ネットワークQuEEを提案する。
我々のアルゴリズムは、ソフトアーリーエグジットや入力依存圧縮の一形態と見なすことができる。
提案手法の重要な要素は、さらなる計算によって実現可能な潜在的な精度向上の正確な予測である。
論文 参考訳（メタデータ） (2024-06-20T15:25:13Z) - Predictive Coding beyond Correlations [59.47245250412873]
このようなアルゴリズムのうちの1つは、予測符号化と呼ばれ、因果推論タスクを実行することができるかを示す。
まず、予測符号化の推論過程における簡単な変化が、因果グラフを再利用したり再定義したりすることなく、介入を計算できることを示す。
論文 参考訳（メタデータ） (2023-06-27T13:57:16Z) - Isotropic Gaussian Processes on Finite Spaces of Graphs [71.26737403006778]
種々の非重み付きグラフの集合上でガウス過程の先行を定義するための原理的手法を提案する。
さらに、未重み付きグラフの同値類の集合を検討し、それに対する事前の適切なバージョンを定義する。
化学の応用に触発されて、我々は、小データ構造における実際の分子特性予測タスクについて、提案手法を解説した。
論文 参考訳（メタデータ） (2022-11-03T10:18:17Z) - Symbolic Recovery of Differential Equations: The Identifiability Problem [52.158782751264205]
微分方程式の記号的回復は、支配方程式の導出を自動化する野心的な試みである。
関数が対応する微分方程式を一意に決定するために必要な条件と十分な条件の両方を提供する。
この結果を用いて、関数が微分方程式を一意に解くかどうかを判定する数値アルゴリズムを考案する。
論文 参考訳（メタデータ） (2022-10-15T17:32:49Z) - Diagrammatic Analysis for Parameterized Quantum Circuits [0.0]
本稿では、特にパラメータ化量子回路に適したZX計算の拡張について述べる。
いくつかの新しいZXダイアグラムの書き直し規則とこの設定の一般化を提供する。
ダイアグラム的アプローチは,アルゴリズムの構造と性能に関する有用な洞察を提供する。
論文 参考訳（メタデータ） (2022-04-04T08:26:20Z) - Learning to Reason Deductively: Math Word Problem Solving as Complex
Relation Extraction [10.721488421356053]
数学用語の問題を解くには、テキストの量に対する演能的な推論が必要である。
近年の研究は、式を生成するためのシーケンス・ツー・シークエンスまたはシーケンス・トゥ・ツリーモデルに大きく依存している。
本稿では,目的表現を反復的に構築するための説明可能な推論ステップを提案する。
論文 参考訳（メタデータ） (2022-03-19T12:37:16Z) - Partial Counterfactual Identification from Observational and
Experimental Data [83.798237968683]
観測データと実験データの任意の組み合わせから最適境界を近似する有効なモンテカルロアルゴリズムを開発した。
我々のアルゴリズムは、合成および実世界のデータセットに基づいて広範囲に検証されている。
論文 参考訳（メタデータ） (2021-10-12T02:21:30Z) - Optimal oracle inequalities for solving projected fixed-point equations [53.31620399640334]
ヒルベルト空間の既知の低次元部分空間を探索することにより、確率観測の集合を用いて近似解を計算する手法を検討する。
本稿では,線形関数近似を用いた政策評価問題に対する時間差分学習手法の誤差を正確に評価する方法について述べる。
論文 参考訳（メタデータ） (2020-12-09T20:19:32Z) - Graphical Calculi and their Conjecture Synthesis [0.0]
この論文は、図形学と代数幾何学やガロア理論のような分野の間の新しいリンクを鍛える際に、そのような推論と検証の枠組みを導入している。
計算 RING は環をベースとした四角形電卓の中では初期であり、相準同型ペアの導入と分類にもインスピレーションを与えている。
2つ目は、ZX の (EU) のような非線形規則の必要性を排除し、任意の量子ビット回転を自然に表現するエッジデコレーションされた電卓 ZQ である。
論文 参考訳（メタデータ） (2020-10-08T11:54:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。