論文の概要: On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
- arxiv url: http://arxiv.org/abs/2508.11182v1
- Date: Fri, 15 Aug 2025 03:13:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-18 14:51:23.725096
- Title: On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
- Title（参考訳）: 非フラッツ推定に基づく議論における強弱適応性について
- Authors: Matti Berthold, Lydia Blümel, Anna Rapberger,
- Abstract要約: 抽象的議論から許容可能性の標準概念への2つの顕著な代替案について検討する。
一般(時として非平坦(non-flat)ABA)に対して,それぞれ好意的,完備的,根底的意味論を導入する。
中央のモジュラー化特性は古典的,強い,弱い順応性の下で維持されていることを示す。
- 参考スコア（独自算出の注目度）: 4.583931917131698
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: In this work, we broaden the investigation of admissibility notions in the context of assumption-based argumentation (ABA). More specifically, we study two prominent alternatives to the standard notion of admissibility from abstract argumentation, namely strong and weak admissibility, and introduce the respective preferred, complete and grounded semantics for general (sometimes called non-flat) ABA. To do so, we use abstract bipolar set-based argumentation frameworks (BSAFs) as formal playground since they concisely capture the relations between assumptions and are expressive enough to represent general non-flat ABA frameworks, as recently shown. While weak admissibility has been recently investigated for a restricted fragment of ABA in which assumptions cannot be derived (flat ABA), strong admissibility has not been investigated for ABA so far. We introduce strong admissibility for ABA and investigate desirable properties. We furthermore extend the recent investigations of weak admissibility in the flat ABA fragment to the non-flat case. We show that the central modularization property is maintained under classical, strong, and weak admissibility. We also show that strong and weakly admissible semantics in non-flat ABA share some of the shortcomings of standard admissible semantics and discuss ways to address these.
- Abstract（参考訳）: 本研究では,仮定に基づく議論(ABA)の文脈において,許容可能性の概念について検討する。
より具体的には、抽象的論証から許容性の標準概念、すなわち強大かつ弱弱な論証から、一般的な(非平坦と呼ばれる)ABAに対して、それぞれ好まれ、完全で、根底的な意味論を導入する2つの顕著な選択肢について研究する。
そこで我々は、仮定間の関係を簡潔に把握し、一般的な非平坦なABAフレームワークを表現するのに十分な表現力を持つ抽象双極性集合ベースの議論フレームワーク(BSAF)をフォーマルグラウンドとして使用する。
近年,仮定の導出が不可能なABAの限定的な断片について,弱い許容性について検討されているが(平坦なABA)、これまでABAに対して強い許容性は検討されていない。
ABAに対する強い許容性を導入し、望ましい特性について検討する。
さらに、平坦なABAフラグメントの弱い許容性に関する最近の研究を、非平坦なケースにまで拡張する。
中央のモジュラー化特性は古典的,強い,弱い順応性の下で維持されていることを示す。
また、非平坦なABAにおける強で弱い許容セマンティクスは、標準許容セマンティクスの欠点の一部を共有していることを示し、これらに対処する方法について議論する。
関連論文リスト
- Revisiting Follow-the-Perturbed-Leader with Unbounded Perturbations in Bandit Problems [60.58442311545223]
FTRL(Follow-the-Regularized-Leader)ポリシーはBOBW(Best-of-Both-Worlds)を達成している。
非対称なFr'echet型摂動の広いファミリーの下で、非有界摂動に対する古典的なFTRL-FTPL双対性を再検討し、FTPLに対するBOBW結果を確立する。
論文 参考訳（メタデータ） (2025-08-26T02:12:18Z) - On Gradual Semantics for Assumption-Based Argumentation [15.021229450879316]
計算的議論において、段階的意味論は拡張に基づく意味論やラベルに基づく意味論の微妙な代替である。
段階的ABA意味論は、バランスや単調性といった望ましい性質の適切な適応を満足することを示します。
論文 参考訳（メタデータ） (2025-07-14T09:02:45Z) - A Survey on Latent Reasoning [100.54120559169735]
大きな言語モデル(LLM)は印象的な推論機能を示している。
中間ステップを言語化するCoT推論は、モデルの表現帯域幅を制限する。
潜在的推論は、モデルの連続的な隠れ状態に完全にマルチステップの推論を実行することで、このボトルネックに対処する。
論文 参考訳（メタデータ） (2025-07-08T17:29:07Z) - The Curse of CoT: On the Limitations of Chain-of-Thought in In-Context Learning [56.574829311863446]
CoT(Chain-of-Thought)プロンプトは,大規模言語モデル(LLM)における推論能力の向上によって広く認識されている。
我々は、CoTとその推論変異が、様々なモデルスケールやベンチマークの複雑さに対して、直接応答を一貫して過小評価していることを実証する。
パターンベースICLにおけるCoTの性能を駆動する明示的単純推論の基本的なハイブリッド機構を明らかにする。
論文 参考訳（メタデータ） (2025-04-07T13:51:06Z) - A Law Reasoning Benchmark for LLM with Tree-Organized Structures including Factum Probandum, Evidence and Experiences [76.73731245899454]
本稿では,階層的なファクトラム,証拠,暗黙的な経験に富む透明な法理推論スキーマを提案する。
このスキーマにインスパイアされた課題は、テキストのケース記述を取り込み、最終決定を正当化する階層構造を出力する。
このベンチマークは、Intelligent Courtにおける透明で説明可能なAI支援法推論の道を開く」。
論文 参考訳（メタデータ） (2025-03-02T10:26:54Z) - Rethinking State Disentanglement in Causal Reinforcement Learning [78.12976579620165]
因果性は、根底にある状態が識別可能性によって一意に回復できることを保証するための厳密な理論的支援を提供する。
我々はこの研究ラインを再考し、RL固有のコンテキストを取り入れることで、潜在状態に対する以前の識別可能性分析における不要な仮定を低減できることを示した。
本稿では, 従来手法の複雑な構造制約を, 遷移と報酬保存の2つの簡単な制約に置き換えることにより, 一般に部分的に観測可能なマルコフ決定過程(POMDP)を提案する。
論文 参考訳（メタデータ） (2024-08-24T06:49:13Z) - On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head [20.981256612743145]
非平坦なABAとLPの対応性を示す。
次に、この結果を、もともと双極性ABAと呼ばれる非平坦なABAの断片に対して定義された、いわゆる集合安定ABA意味論に拡張する。
本稿では,LP の集合安定セマンティクスを頭の中の失敗として定義し,集合安定な ABA セマンティクスとの対応を示す。
論文 参考訳（メタデータ） (2024-05-15T15:10:03Z) - Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation [18.32141673219938]
非平坦なABAにおける推論のためのインスタンス化に基づくアプローチについて検討する。
非平坦なABAにおける推論のための2つのアルゴリズム的アプローチを提案する。
論文 参考訳（メタデータ） (2024-04-17T14:36:47Z) - Non-flat ABA is an Instance of Bipolar Argumentation [23.655909692988637]
ABA(Assumption-based Argumentation)は、構造化された議論形式である。
ABAフレームワーク(ABAF)に課される一般的な制限は、それらがフラットであることである。
一般、おそらく非平坦なABAFからあらゆる抽象的議論形式への翻訳は存在しない。
論文 参考訳（メタデータ） (2023-05-21T13:18:08Z) - Provable Unrestricted Adversarial Training without Compromise with Generalizability [44.02361569894942]
敵の攻撃から守るための最も有望な戦略として、敵の訓練(AT)が広く考えられている。
既存のAT法は、標準的な一般化性を犠牲にして、しばしば敵の強靭性を達成している。
我々はProvable Unrestricted Adversarial Training (PUAT)と呼ばれる新しいATアプローチを提案する。
論文 参考訳（メタデータ） (2023-01-22T07:45:51Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - On Lower Bounds for Standard and Robust Gaussian Process Bandit
Optimization [55.937424268654645]
有界ノルムを持つ関数のブラックボックス最適化問題に対するアルゴリズム非依存な下界を考える。
本稿では, 単純さ, 汎用性, エラー確率への依存性の向上など, 後悔の下位境界を導出するための新しい証明手法を提案する。
論文 参考訳（メタデータ） (2020-08-20T03:48:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。