論文の概要: Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs)
- arxiv url: http://arxiv.org/abs/2207.02258v1
- Date: Tue, 5 Jul 2022 18:42:04 GMT
- ステータス: 処理完了
- システム内更新日: 2022-07-07 13:12:39.552420
- Title: Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs)
- Title（参考訳）: 強度に基づく議論の適応性:複雑さとアルゴリズム(証明付き拡張版)
- Authors: Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit
- Abstract要約: 我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
- 参考スコア（独自算出の注目度）: 1.5828697880068698
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recently, Strength-based Argumentation Frameworks (StrAFs) have been proposed
to model situations where some quantitative strength is associated with
arguments. In this setting, the notion of accrual corresponds to sets of
arguments that collectively attack an argument. Some semantics have already
been defined, which are sensitive to the existence of accruals that
collectively defeat their target, while their individual elements cannot.
However, until now, only the surface of this framework and semantics have been
studied. Indeed, the existing literature focuses on the adaptation of the
stable semantics to StrAFs. In this paper, we push forward the study and
investigate the adaptation of admissibility-based semantics. Especially, we
show that the strong admissibility defined in the literature does not satisfy a
desirable property, namely Dung's fundamental lemma. We therefore propose an
alternative definition that induces semantics that behave as expected. We then
study computational issues for these new semantics, in particular we show that
complexity of reasoning is similar to the complexity of the corresponding
decision problems for standard argumentation frameworks in almost all cases. We
then propose a translation in pseudo-Boolean constraints for computing (strong
and weak) extensions. We conclude with an experimental evaluation of our
approach which shows in particular that it scales up well for solving the
problem of providing one extension as well as enumerating them all.
- Abstract（参考訳）: 近年,ある程度の量的強度が議論に結びついている状況のモデル化のために,強度に基づくArgumentation Frameworks (StrAFs) が提案されている。
この設定では、accrualの概念は、引数を集合的に攻撃する引数の集合に対応する。
いくつかのセマンティクスはすでに定義されており、個々の要素が不可能である一方で、目標を総体的に破るアクルの存在に敏感である。
しかし、これまでこの枠組みと意味論の表面のみが研究されてきた。
実際、既存の文献は安定な意味論のStrAFへの適応に焦点を当てている。
本稿では,本研究を推進し,アクセシビリティに基づくセマンティクスの適応について検討する。
特に,文献で定義されている強い許容性は,ダングの基本補題という望ましい性質を満たさないことを示す。
そこで我々は,期待通りに振る舞うセマンティクスを誘発する代替定義を提案する。
次に,これらの新しい意味論の計算問題,特に推論の複雑さは,ほぼすべての場合において標準議論フレームワークの対応する決定問題の複雑さと類似していることを示す。
次に,計算(強みと弱さ)拡張に対する擬似ブーリアン制約による変換を提案する。
結論として,提案手法を実験的に評価し,拡張を1つ提供し,すべてを列挙することで解決できることを示す。
関連論文リスト
- Rethinking State Disentanglement in Causal Reinforcement Learning [78.12976579620165]
因果性は、根底にある状態が識別可能性によって一意に回復できることを保証するための厳密な理論的支援を提供する。
我々はこの研究ラインを再考し、RL固有のコンテキストを取り入れることで、潜在状態に対する以前の識別可能性分析における不要な仮定を低減できることを示した。
本稿では, 従来手法の複雑な構造制約を, 遷移と報酬保存の2つの簡単な制約に置き換えることにより, 一般に部分的に観測可能なマルコフ決定過程(POMDP)を提案する。
論文 参考訳（メタデータ） (2024-08-24T06:49:13Z) - The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳（メタデータ） (2024-07-16T11:12:28Z) - Abstract Weighted Based Gradual Semantics in Argumentation Theory [3.2566808526538873]
段階的意味論と受容可能性度を結びつける4つの重要な問題を導入する。
まず、逆問題を再検討し、議論フレームワークの引数重みを特定して、特定の最終的な受容可能性の度合いを導いた。
第三に、議論の受理度が考慮されるのではなく、選好時に議論の重みが見つかるかどうかを問う。
第4に、この空間に「ギャップ」が存在するかどうかを問う、有効な受容可能性次数の空間の位相を考える。
論文 参考訳（メタデータ） (2024-01-21T12:22:48Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Ranking-based Argumentation Semantics Applied to Logical Argumentation
(full version) [2.9005223064604078]
構造化議論におけるランキングベースセマンティクスの振る舞いについて検討する。
ランキングに基づく多種多様なセマンティクスが,いわゆる計算可能性尺度を生み出していることを示す。
論文 参考訳（メタデータ） (2023-07-31T15:44:33Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Many-valued Argumentation, Conditionals and a Probabilistic Semantics
for Gradual Argumentation [3.9571744700171743]
本稿では,段階的議論の意味論の多値優先的解釈を定義するための一般的な手法を提案する。
概念の証明として、有限値の場合、条件付き推論に対してAnswer set Programmingアプローチが提案される。
また,多値条件セマンティクスに基づく漸進的議論の確率論的セマンティクスを開発し,論じる。
論文 参考訳（メタデータ） (2022-12-14T22:10:46Z) - Fuzzy Labeling Semantics for Quantitative Argumentation [0.0]
ファジィ議論システムのためのファジィラベリングと呼ばれる新しい定量的手法を提案する。
3重の受理性、拒絶性、不決定性の度合いは、議論の強さを評価するために用いられる。
論文 参考訳（メタデータ） (2022-07-15T08:31:36Z) - Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。
我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。
有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文 参考訳（メタデータ） (2022-07-02T06:20:57Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Stability in Abstract Argumentation [2.375764121997739]
安定性の概念をArgument-Incomplete AFで推論にどのように変換できるかを示す。
我々は,この概念が議論に基づくネゴシエーションの応用にどの程度有用かを説明する。
論文 参考訳（メタデータ） (2020-12-23T10:34:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。