論文の概要: Counterfactuals Modulo Temporal Logics
- arxiv url: http://arxiv.org/abs/2306.08916v1
- Date: Thu, 15 Jun 2023 07:40:36 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-16 16:02:31.358867
- Title: Counterfactuals Modulo Temporal Logics
- Title(参考訳): 反事実と時間論理
- Authors: Bernd Finkbeiner and Julian Siber
- Abstract要約: ルイスの反事実論は、多くの現代の因果性の概念の基礎となっている。
我々はこの理論を時間方向に拡張し、無限列上の記号的対実的推論を可能にする。
- 参考スコア(独自算出の注目度): 1.90365714903665
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Lewis' theory of counterfactuals is the foundation of many contemporary
notions of causality. In this paper, we extend this theory in the temporal
direction to enable symbolic counterfactual reasoning on infinite sequences,
such as counterexamples found by a model checker and trajectories produced by a
reinforcement learning agent. In particular, our extension considers a more
relaxed notion of similarity between worlds and proposes two additional
counterfactual operators that close a semantic gap between the previous two in
this more general setting. Further, we consider versions of counterfactuals
that minimize the distance to the witnessing counterfactual worlds, a common
requirement in causal analysis. To automate counterfactual reasoning in the
temporal domain, we introduce a logic that combines temporal and counterfactual
operators, and outline decision procedures for the satisfiability and
trace-checking problems of this logic.
- Abstract(参考訳): ルイスの反事実論は、因果関係の多くの現代の概念の基礎である。
本稿では,この理論を時間方向に拡張し,モデルチェッカーが持つ反例や強化学習エージェントが生成する軌跡など,無限列に対する記号的反事実推論を可能にする。
特に、この拡張は、世界間の類似性のより緩やかな概念を考え、このより一般的な設定において、前2つの間の意味的ギャップを閉じる2つの追加の反事実演算子を提案する。
さらに, 因果分析において共通の要件である, 目撃する反事実の世界までの距離を最小化する反事実のバージョンを考える。
時間領域における対実的推論を自動化するために、時間的および対実的演算子を組み合わせた論理を導入し、この論理の満足度とトレースチェックに関する決定手順を概説する。
関連論文リスト
- Towards Trustworthy Explanation: On Causal Rationalization [9.48539398357156]
本研究では,2つの因果デシラタに基づく合理化モデルを提案する。
提案した因果合理化の優れた性能は,実世界のレビューや医療データセットで実証されている。
論文 参考訳(メタデータ) (2023-06-25T03:34:06Z) - Invariant Causal Set Covering Machines [64.86459157191346]
決定木のようなルールベースのモデルは、解釈可能な性質のために実践者にアピールする。
しかし、そのようなモデルを生成する学習アルゴリズムは、しばしば刺激的な関連に弱いため、因果関係の洞察を抽出することが保証されていない。
Invariant Causal Set Covering Machines は、古典的集合被覆マシンアルゴリズムの拡張であり、二値ルールの結合/分離を可能とし、スプリアス関係を確実に回避する。
論文 参考訳(メタデータ) (2023-06-07T20:52:01Z) - On the Complexity of Counterfactual Reasoning [9.614694312155795]
本研究は, 完全特定SCM上での協調的・介入的推論に比較して, 対実的推論は困難ではないことを示す。
我々は、結果を2つ以上の世界を考える必要がある一般的な反事実的推論にまで拡張する。
論文 参考訳(メタデータ) (2022-11-24T07:28:17Z) - A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit [0.0]
論理的なウィグナーの友人シナリオはすべて、時間的に順序付けられた1つの量子回路にマッピング可能であることを示す。
我々の結果は、量子論の普遍的な適用性は、マルチエージェント論理的推論の脅威にはならないことを証明している。
論文 参考訳(メタデータ) (2022-09-19T18:13:42Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Nested Counterfactual Identification from Arbitrary Surrogate
Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。
具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文 参考訳(メタデータ) (2021-07-07T12:51:04Z) - Approaches to causality and multi-agent paradoxes in non-classical
theories [0.0]
この論文は量子および後量子理論における因果関係と多エージェント論理パラドックスの分析の進展を報告している。
本研究では,古典的・非古典的因果構造との違いを分析するために一般化エントロピーを用いた手法を開発した。
非古典理論における循環的および微調整的影響をモデル化するための枠組みを開発する。
論文 参考訳(メタデータ) (2021-02-04T03:35:57Z) - Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文 参考訳(メタデータ) (2020-09-14T16:13:36Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z) - Supporting Optimal Phase Space Reconstructions Using Neural Network
Architecture for Time Series Modeling [68.8204255655161]
位相空間特性を暗黙的に学習する機構を持つ人工ニューラルネットワークを提案する。
私たちのアプローチは、ほとんどの最先端戦略と同じくらいの競争力があるか、あるいは優れているかのどちらかです。
論文 参考訳(メタデータ) (2020-06-19T21:04:47Z) - From Checking to Inference: Actual Causality Computations as
Optimization Problems [79.87179017975235]
本稿では、最適化問題として二元非巡回モデルよりも、因果推論の異なる概念を定式化するための新しいアプローチを提案する。
8000ドル以上の変数を持つモデルを用いて,MaxSAT が ILP を上回り,数秒単位でチェック処理を行う場合が多い。
論文 参考訳(メタデータ) (2020-06-05T10:56:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。