論文の概要: Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version)

• arxiv url: http://arxiv.org/abs/2606.31080v1
• Date: Tue, 30 Jun 2026 03:13:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-01 18:27:19.052133
• Title: Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version)
• Title（参考訳）: Beyond But-for Test: 現実的因果性による抽象的論証における非現実的説明(拡張版)
• Abstract要約: 抽象的議論において、介入に基づく対実的推論の枠組みを導入する。 提案手法は,プリエンプションやオーバーデミネーションなどの議論構造における原因を正確に同定する。
• 参考スコア（独自算出の注目度）: 5.972254626695083
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Counterfactual explanation in abstract argumentation calls for an answer to the what-if query: would the topic argument still be accepted if the status of certain other arguments were changed? Existing approaches are limited to the but-for test and fail to accommodate more refined counterfactual conditions. To overcome these limitations, we introduce an intervention-based counterfactual reasoning framework in abstract argumentation. Our approach encodes the acceptance conditions of arguments as equations, then defines an intervention operator that supports (1) changing sets of arguments simultaneously, and (2) fixing witness arguments to their actual labels. Guided by the refined counterfactual condition introduced in the Halpern-Pearl definition, our method goes beyond the but-for test, thereby correctly identifying causes in argumentation structures such as Preemption and Overdetermination. Through comparison, we show that our method surpasses prior methods in both expressiveness and reliability.
• Abstract（参考訳）: 抽象的な議論における反実的な説明は、What-ifクエリに対する回答を要求する: トピック引数は、もし他の引数の状態が変更されたとしても、まだ受け入れられるのか? 既存のアプローチはテストに限られており、より洗練されたカウンターファクト条件に対応できない。 これらの制約を克服するために、抽象的議論において介入に基づく対実的推論フレームワークを導入する。 提案手法は議論の受け入れ条件を方程式としてエンコードし,(1)議論の集合を同時に変更する介入演算子を定義し,(2)実際のラベルに証人的議論を固定する。 Halpern-Pearl の定義で導入された洗練された反事実条件に導かれ,本手法は,プリエンプション(preemption)やオーバーデミネーション(overdetermination)といった議論構造における原因を正確に同定する。 その結果,提案手法は従来の手法よりも表現性や信頼性が優れていることがわかった。

関連論文リスト

• Rejecting Arguments Based on Doubt in Structured Bipolar Argumentation [2.6754173570117303]
  本稿では、哲学的・言語学的視点から情報を得た計算論証への新たなアプローチを開発する。 計算議論に関する文献でほとんど注目されていない2つの考えを考慮に入れている。
  論文  参考訳（メタデータ） (2026-02-03T09:09:19Z)
• Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations [0.0]
  本稿では,量的双極性論証フレームワーク(QBAF)における推論の変化を説明するための公式なアプローチを提案する。 我々は、意味論が関心のある議論で確立する議論の強みに関する部分的な順序において、強度不整合と呼ばれる変化をトレースする。 我々は、強度不整合に対する十分な、必要な、そして反実的な説明を特定し、強度不整合が強度不整合につながる場合に限り、強度不整合の説明が存在することを示す。
  論文  参考訳（メタデータ） (2025-09-21T20:26:47Z)
• Reasoning is about giving reasons [55.56111618153049]
  高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。 我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
  論文  参考訳（メタデータ） (2025-08-20T07:26:53Z)
• A Unifying Framework for Learning Argumentation Semantics [47.84663434179473]
  Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。 提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
  論文  参考訳（メタデータ） (2023-10-18T20:18:05Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations [71.2950434944196]
  ノイズや一貫性のない言語モデルでさえも問題に対する正しい答えを推測するMaieutic Promptingを開発する。 Maieutic Promptingは最先端のプロンプト法よりも最大20%精度が高い。
  論文  参考訳（メタデータ） (2022-05-24T06:36:42Z)
• Intrinsic Argument Strength in Structured Argumentation: a Principled Approach [0.0]
  本研究では,前提条件の強みと推論規則に基づいて,本質的な強みを引数に割り当てる手法について検討する。 まず、強み割り当て手法が満足できる性質である原則の集合を定義する。 次に、そのような2つの方法を提案し、それらが満たす原則を分析する。
  論文  参考訳（メタデータ） (2021-09-01T11:54:15Z)
• Contrastive Explanations for Argumentation-Based Conclusions [5.1398743023989555]
  フォーマルな議論の対照的な説明について論じる。 対照的な説明が意味のある条件と、議論によって暗黙のホイルが明確になることを示す。
  論文  参考訳（メタデータ） (2021-07-07T15:00:47Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• Reinforcement Learning-based Dialogue Guided Event Extraction to Exploit Argument Relations [70.35379323231241]
  本稿では、イベント引数の関係を明示的に活用することで、イベント抽出のためのより良いアプローチを提案する。 我々は増補学習と漸進学習を用いて、多回反復的なプロセスを通じて複数の引数を抽出する。 実験の結果,提案手法は7つの最先端イベント抽出法より一貫して優れていることがわかった。
  論文  参考訳（メタデータ） (2021-06-23T13:24:39Z)
• Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report) [3.7311680121118336]
  ラベリングに基づく形式的議論は、一般に3つのラベルのうちの1つを、受け入れ、拒絶、その他決定に至らないいずれかを示すように割り当てるラベリング関数に依存している。 抽象弁証法フレームワーク (ADF) は、このカテゴリーに属するよく知られた議論形式主義である。 我々は,MMA と ADF との間にガロア接続が存在することを証明し,MMA と MMA が ADF の抽象化であることを示す。
  論文  参考訳（メタデータ） (2020-07-22T04:26:15Z)

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

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