Fugu-MT 論文翻訳(概要): Probabilistic Reasoning across the Causal Hierarchy

論文の概要: Probabilistic Reasoning across the Causal Hierarchy

arxiv url: http://arxiv.org/abs/2001.02889v5
Date: Wed, 2 Jun 2021 08:14:53 GMT
ステータス: 処理完了
システム内更新日: 2023-01-13 05:16:38.347314
Title: Probabilistic Reasoning across the Causal Hierarchy
Title（参考訳）: 因果階層をまたがる確率論的推論
Authors: Duligur Ibeling, Thomas Icard
Abstract要約: 私たちの言語は厳格に表現力を高めている。それぞれの言語に対する満足度と妥当性は空間的に決定可能であることを示す。
参考スコア（独自算出の注目度）: 10.138180861883635
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of expressing quantitative probabilistic reasoning -- including conditional independence and Bayesian inference -- the second encoding do-calculus reasoning for causal effects, and the third capturing a fully expressive do-calculus for arbitrary counterfactual queries. We give a corresponding series of finitary axiomatizations complete over both structural causal models and probabilistic programs, and show that satisfiability and validity for each language are decidable in polynomial space.
Abstract（参考訳）: 本稿では,確率的論理言語として,関連,介入,反事実の三層因果階層の形式化を提案する。私たちの言語は厳密に表現力を高めており、条件付き独立性やベイズ推論を含む定量的確率的推論を表現できる最初の言語であり、因果効果のdo計算をコードする第2言語であり、任意の反事実クエリに対して完全に表現可能なdo計算をキャプチャする第3言語です。構造因果モデルと確率的プログラムの両方に対して対応する有限公理級数を与え、各言語に対する満足度と妥当性が多項式空間で決定可能であることを示す。

関連論文リスト

The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文参考訳（メタデータ） (2024-07-16T11:12:28Z)
Probabilistic and Causal Satisfiability: the Impact of Marginalization [3.44747819522562]
確率的・因果的言語で表される満足度問題に焦点をあてる。線形言語はNPPP-, PSPACE-, NEXP完全満足度問題をもたらすことを示す。また、与えられたベイズネットワーク、有向非巡回グラフ構造、あるいは小さなサイズに制限された制約付きモデルについても検討する。
論文参考訳（メタデータ） (2024-05-12T20:25:36Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
The Hardness of Reasoning about Probabilities and Causality [5.190207094732672]
本研究では,定量的確率論的推論と因果的影響に対するdo-calculus推論を表現可能な言語について検討する。この研究の主な貢献は、満足度問題の正確な計算複雑性を確立することである。我々は、よく研究されたクラス $exists$R の簡潔な変種と見なすことができる Succ$exists$R という新しい自然複雑性クラスを導入する。
論文参考訳（メタデータ） (2023-05-16T15:01:22Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
Probabilistic modelling of rational communication with conditionals [0.0]
条件に関する実用的推論には確率論的アプローチを採用する。本モデルは,文献で検証された推論を一様に説明できることを示す。
論文参考訳（メタデータ） (2021-05-12T08:21:25Z)
Logic, Probability and Action: A Situation Calculus Perspective [12.47276164048813]
論理と確率の統一は、AIにおける長年の関心事である。現状計算における論理・確率・行動の統合に関する最近の結果について考察する。結果は認知ロボティクスの文脈で動機づけられる。
論文参考訳（メタデータ） (2020-06-17T13:49:53Z)
From Checking to Inference: Actual Causality Computations as Optimization Problems [79.87179017975235]
本稿では、最適化問題として二元非巡回モデルよりも、因果推論の異なる概念を定式化するための新しいアプローチを提案する。 8000ドル以上の変数を持つモデルを用いて,MaxSAT が ILP を上回り,数秒単位でチェック処理を行う場合が多い。
論文参考訳（メタデータ） (2020-06-05T10:56:52Z)

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