Fugu-MT 論文翻訳(概要): Rejection in Abstract Argumentation: Harder Than Acceptance?

論文の概要: Rejection in Abstract Argumentation: Harder Than Acceptance?

arxiv url: http://arxiv.org/abs/2408.10683v1
Date: Tue, 20 Aug 2024 09:37:04 GMT
ステータス: 処理完了
システム内更新日: 2024-08-21 14:24:42.776906
Title: Rejection in Abstract Argumentation: Harder Than Acceptance?
Title（参考訳）: 抽象論における拒絶 : 受け入れよりも難しいか?
Authors: Johannes K. Fichte, Markus Hecher, Yasir Mahmood, Arne Meier,
Abstract要約: 我々は、否定条件(RC)と呼ばれる拡張から引数を推論するための柔軟な条件を考える。還元AFは非常に表現力が高く、階層の上位層に自然の問題を引き起こす。
参考スコア（独自算出の注目度）: 18.299322342860513
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Abstract argumentation is a popular toolkit for modeling, evaluating, and comparing arguments. Relationships between arguments are specified in argumentation frameworks (AFs), and conditions are placed on sets (extensions) of arguments that allow AFs to be evaluated. For more expressiveness, AFs are augmented with \emph{acceptance conditions} on directly interacting arguments or a constraint on the admissible sets of arguments, resulting in dialectic frameworks or constrained argumentation frameworks. In this paper, we consider flexible conditions for \emph{rejecting} an argument from an extension, which we call rejection conditions (RCs). On the technical level, we associate each argument with a specific logic program. We analyze the resulting complexity, including the structural parameter treewidth. Rejection AFs are highly expressive, giving rise to natural problems on higher levels of the polynomial hierarchy.
Abstract（参考訳）: 抽象的議論は、議論をモデル化、評価、比較するための一般的なツールキットである。引数間の関係は議論フレームワーク(AF)で指定され、条件は引数の集合(拡張)に置かれ、AFを評価できる。より表現力を高めるために、AFは直接相互作用する引数や許容される引数の集合に対する制約に対して \emph{acceptance conditions} で拡張される。本稿では,拡張子からの引数として \emph{rejecting} のフレキシブル条件を考える。技術的なレベルでは、各引数を特定の論理プログラムに関連付ける。構造パラメータツリー幅を含む複雑さの解析を行う。退行 AF は非常に表現力が高く、多項式階層の上位レベルに自然問題を引き起こす。

関連論文リスト

CASA: Causality-driven Argument Sufficiency Assessment [79.13496878681309]
ゼロショット因果関係に基づく議論十分性評価フレームワークであるCASAを提案する。 PSは前提イベントの導入が前提イベントと結論イベントの両方が欠落した場合の結論につながる可能性を測っている。 2つの論理的誤り検出データセットの実験により、CASAは不十分な議論を正確に識別することを示した。
論文参考訳（メタデータ） (2024-01-10T16:21:18Z)
A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文参考訳（メタデータ） (2023-10-18T20:18:05Z)
Semi-Abstract Value-Based Argumentation Framework [0.0]
Phan Minh Dung氏は、構造化されていない引数がノードであり、引数間の攻撃がエッジである有向グラフを用いた議論をモデル化する抽象的な議論フレームワークを提案した。この論文では、Trevor Bench-Capon (2002) による値ベースの議論フレームワークと、Esther Anna Corsi と Christian Ferm による半抽象的議論フレームワークの2つの拡張が紹介されている。この論文の貢献は2つある。まず、新しい半抽象値に基づく議論フレームワークを導入する。このフレームワークは、個々の引数に関連する命題式を順序付けられた値の集合にマッピングする。
論文参考訳（メタデータ） (2023-09-25T13:10:56Z)
Retrieval-Augmented Generative Question Answering for Event Argument Extraction [66.24622127143044]
イベント引数抽出のための検索拡張生成QAモデル(R-GQA)を提案する。最も類似したQAペアを検索し、現在の例のコンテキストへのプロンプトとして拡張し、引数を回答としてデコードする。提案手法は, 様々な設定において, かなり先行した手法より優れている。
論文参考訳（メタデータ） (2022-11-14T02:00:32Z)
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文参考訳（メタデータ） (2022-07-05T18:42:04Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Intrinsic Argument Strength in Structured Argumentation: a Principled Approach [0.0]
本研究では,前提条件の強みと推論規則に基づいて,本質的な強みを引数に割り当てる手法について検討する。まず、強み割り当て手法が満足できる性質である原則の集合を定義する。次に、そのような2つの方法を提案し、それらが満たす原則を分析する。
論文参考訳（メタデータ） (2021-09-01T11:54:15Z)
Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文参考訳（メタデータ） (2021-06-02T06:49:19Z)
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework [1.5469452301122177]
以下の3つの計算タスクの命題的変種を議論の中で検討する。 ARG-Checkは複雑性クラスDPに対して完全であり、他の2つの問題は階層の2番目のレベルで完全であることが知られている。いくつかの症例は非常に難治性が高い(paranp以降)
論文参考訳（メタデータ） (2021-02-23T16:34:42Z)
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)
Aspect-Controlled Neural Argument Generation [65.91772010586605]
我々は、与えられたトピック、スタンス、アスペクトの文レベル引数を生成するために、きめ細かいレベルで制御できる引数生成のための言語モデルを訓練する。評価の結果,我々の生成モデルは高品質なアスペクト特異的な議論を生成できることがわかった。これらの議論は、データ拡張による姿勢検出モデルの性能向上と、逆問題の生成に使用できる。
論文参考訳（メタデータ） (2020-04-30T20:17:22Z)

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