Fugu-MT 論文翻訳(概要): Why this and not that? A Logic-based Framework for Contrastive Explanations

論文の概要: Why this and not that? A Logic-based Framework for Contrastive Explanations

arxiv url: http://arxiv.org/abs/2507.08454v1
Date: Fri, 11 Jul 2025 09:55:04 GMT
ステータス: 翻訳完了
システム内更新日: 2025-07-14 18:03:54.314254
Title: Why this and not that? A Logic-based Framework for Contrastive Explanations
Title（参考訳）: なぜ、それではないのか? 対照的な説明のための論理ベースのフレームワーク
Authors: Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander,
Abstract要約: 対照的な説明に関連するいくつかの標準的な問題を定義し、それぞれが'なぜPはQではない'という形式の疑問に答える。 P と Q の両方の問題を計算し、その差を明示的に比較する。我々の枠組みは、文献における既存の対照的な説明の基数-最小バージョンを捉えていることを示す。
参考スコア（独自算出の注目度）: 4.3871352596331255
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q, explicitly comparing their differences. We investigate the basic properties of our definitions in the setting of propositional logic. We show, inter alia, that our framework captures a cardinality-minimal version of existing contrastive explanations in the literature. Furthermore, we provide an extensive analysis of the computational complexities of the problems. We also implement the problems for CNF-formulas using answer set programming and present several examples demonstrating how they work in practice.
Abstract（参考訳）: 対照的な説明に関連するいくつかの標準的な問題を定義し、それぞれが'なぜ P ではないが Q ではない' という形式の疑問に答える。問題は P と Q の両方の原因を計算し、それらの相違点を明示的に比較する。命題論理の設定における定義の基本的な性質について検討する。我々の枠組みは、文献における既存の対照的な説明の基数-最小バージョンを捉えていることを示します。さらに,問題の計算複雑性を広範囲に解析する。また,CNF-formulaの問題を解集合プログラミングを用いて実装し,実際にどのように動作するかを示すいくつかの例を示す。

関連論文リスト

Complexity of Faceted Explanations in Propositional Abduction [6.674752821781092]
帰納的推論は、観察された症状や症状を説明することを目的とした、一般的な非単調なパラダイムである。命題推論では、命題式による知識の特定に焦点をあてる。意思決定とカウントの間の推論を検討し、説明をよりよく理解できるようにします。
論文参考訳（メタデータ） (2025-07-20T13:50:26Z)
Dialogue-based Explanations for Logical Reasoning using Structured Argumentation [0.06138671548064355]
我々は、最先端技術の構造的弱点を特定し、これらの問題に対処するための一般的な議論に基づくアプローチを提案する。我々の研究は、問合せ応答を計算し、説明するための弁証法として対話モデルを提供する。これにより、既存の説明形式よりも表現的かつ直感的な弁証的証明木を説明として構築することができる。
論文参考訳（メタデータ） (2025-02-16T22:26:18Z)
GRS-QA -- Graph Reasoning-Structured Question Answering Dataset [50.223851616680754]
グラフ推論-構造化質問応答データセット(GRS-QA)を導入する。既存のM-QAデータセットとは異なり、GRS-QAは推論グラフを構築することで複雑な推論経路を明示的にキャプチャする。実験により, LLMは, 様々な推論構造を用いて, 問合せ処理を行う際に, 異なる性能を示すことが明らかとなった。
論文参考訳（メタデータ） (2024-11-01T05:14:03Z)
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation [19.799266797193344]
議論ベースのシステムは、意思決定プロセスをサポートしながら説明責任を欠くことが多い。対実的・半実的な説明は解釈可能性のテクニックである。本稿では,制約の弱いArgumentation Frameworkにおいて,逆ファクトおよび半ファクトのクエリを符号化可能であることを示す。
論文参考訳（メタデータ） (2024-05-07T07:27:27Z)
Explanation Selection Using Unlabeled Data for Chain-of-Thought Prompting [80.9896041501715]
非専門家によって書かれたオフ・ザ・シェルフの説明のように、タスクのために"チューニング"されていない説明は、中途半端なパフォーマンスをもたらす可能性がある。本稿では,ブラックボックス方式で説明拡散プロンプトを最適化する方法の課題に対処する。
論文参考訳（メタデータ） (2023-02-09T18:02:34Z)
Explainability via Short Formulas: the Case of Propositional Logic with Implementation [2.583686260808494]
非常に一般的な設定で、説明可能性に関する多くの関連する定義を与える。我々の関心は、入力モデルにおける入力公式の真理値を説明することを目的とした、いわゆる特殊説明問題である。
論文参考訳（メタデータ） (2022-09-03T11:47:25Z)
Reasoning over Logically Interacted Conditions for Question Answering [113.9231035680578]
我々は、論理的に相互作用する条件のリストによって答えが制約される、より困難なタスクについて研究する。本稿では,この難解な推論タスクのための新しいモデルTReasonerを提案する。 TReasonerは、2つのベンチマーク条件付きQAデータセットで最先端のパフォーマンスを達成する。
論文参考訳（メタデータ） (2022-05-25T16:41:39Z)
Discrete Reasoning Templates for Natural Language Understanding [79.07883990966077]
我々は,複雑な質問をより単純な質問に分解する手法を提案する。事前定義された推論テンプレートの指示に従って最終回答を導出する。我々のアプローチは、解釈可能でありながら最先端技術と競合し、監督をほとんど必要としないことを示す。
論文参考訳（メタデータ） (2021-04-05T18:56:56Z)
ExplanationLP: Abductive Reasoning for Explainable Science Question Answering [4.726777092009554]
本稿では,帰納的推論問題としての質問応答について考察する。それぞれの選択に対して妥当な説明を構築し、最終回答として最適な説明で候補を選択する。提案システムであるExplainationLPは,各候補の回答に対して,関連事実の重み付きグラフを構築して説明を行う。
論文参考訳（メタデータ） (2020-10-25T14:49:24Z)
From Checking to Inference: Actual Causality Computations as Optimization Problems [79.87179017975235]
本稿では、最適化問題として二元非巡回モデルよりも、因果推論の異なる概念を定式化するための新しいアプローチを提案する。 8000ドル以上の変数を持つモデルを用いて,MaxSAT が ILP を上回り,数秒単位でチェック処理を行う場合が多い。
論文参考訳（メタデータ） (2020-06-05T10:56:52Z)
VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文参考訳（メタデータ） (2020-02-19T17:57:46Z)

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