論文の概要: Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
- arxiv url: http://arxiv.org/abs/2408.14069v1
- Date: Mon, 26 Aug 2024 07:50:49 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-27 14:42:59.000057
- Title: Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
- Title(参考訳): 抽象的論証のためのVacuous Reduct Semanticsの再検討(拡張版)
- Authors: Lydia Blümel, Matthias Thimm,
- Abstract要約: 抽象的な議論フレームワークのための空のレダクトセマンティクスの概念を考察する。
本稿では,適応性に基づく意味論と競合のない意味論を組み合わせることによって生じる空きレダクト意味論を体系的に概説する。
- 参考スコア(独自算出の注目度): 8.010966370223985
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We consider the notion of a vacuous reduct semantics for abstract argumentation frameworks, which, given two abstract argumentation semantics {\sigma} and {\tau}, refines {\sigma} (base condition) by accepting only those {\sigma}-extensions that have no non-empty {\tau}-extension in their reduct (vacuity condition). We give a systematic overview on vacuous reduct semantics resulting from combining different admissibility-based and conflict-free semantics and present a principle-based analysis of vacuous reduct semantics in general. We provide criteria for the inheritance of principle satisfaction by a vacuous reduct semantics from its base and vacuity condition for established as well as recently introduced principles in the context of weak argumentation semantics. We also conduct a principle-based analysis for the special case of undisputed semantics.
- Abstract(参考訳): 本稿では,2つの抽象的論証的意味論を与えられた抽象的議論的意味論(sigma, {\tau, refines {\sigma} (base condition))を,非空な「tau}-伸張」を持たないもの(vacuity condition)のみを受け入れて受け入れる,抽象的議論的意味論(sigma, {\tau)に対する空の還元的意味論(vacuous reduct semantics)の概念を考える。
本稿では, 適応性に基づく意味論と競合のない意味論を組み合わせることによって生じる空きレダクト意味論の体系的概要と, 一般の空きレダクト意味論の原理に基づく分析について述べる。
本稿では, 基礎から空きレダクトセマンティクスを抽出し, 基礎から空きレダクトセマンティクスを継承する基準と, 弱議論セマンティクスの文脈で最近導入された原則について述べる。
また、問題のないセマンティクスの特殊な場合についても、原理に基づく分析を行う。
関連論文リスト
- Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。
我々のアプローチは、新しい核規範に基づく損失に基づいている。
部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文 参考訳(メタデータ) (2024-05-25T12:51:38Z) - A Unified View on Forgetting and Strong Equivalence Notions in Answer
Set Programming [14.342696862884704]
文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。
次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
論文 参考訳(メタデータ) (2023-12-13T09:05:48Z) - Interpretable Automatic Fine-grained Inconsistency Detection in Text
Summarization [56.94741578760294]
本研究の目的は, 要約中の事実誤りの微粒化を予測し, 微粒化不整合検出の課題を提案することである。
要約における現実的不整合の検査方法に触発され,解析可能な微粒不整合検出モデルであるFinGrainFactを提案する。
論文 参考訳(メタデータ) (2023-05-23T22:11:47Z) - Biomedical Named Entity Recognition via Dictionary-based Synonym
Generalization [51.89486520806639]
本研究では,入力テキストに含まれる生物医学的概念をスパンベース予測を用いて認識する,新しいSynGenフレームワークを提案する。
提案手法を広範囲のベンチマークで広範囲に評価し,SynGenが従来の辞書ベースモデルよりも顕著なマージンで優れていることを確認した。
論文 参考訳(メタデータ) (2023-05-22T14:36:32Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳(メタデータ) (2022-07-05T18:42:04Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。
分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
論文 参考訳(メタデータ) (2022-05-06T11:41:23Z) - Leveraging Unlabeled Data for Entity-Relation Extraction through
Probabilistic Constraint Satisfaction [54.06292969184476]
シンボリックドメイン知識の存在下でのエンティティ関係抽出の問題を研究する。
本手法では,論理文の正確な意味を捉える意味的損失を用いる。
低データ体制に焦点をあてて、セマンティックな損失がベースラインをはるかに上回ることを示す。
論文 参考訳(メタデータ) (2021-03-20T00:16:29Z) - On graded semantics of abstract argumentation: Extension-based case [0.0]
本稿では,抽象的議論フレームワーク(AAF)における拡張型意味論の課題について考察する。
代替基本補題が与えられ、[1]で得られた対応する結果を一般化する。
コンフリクトフリー、許容可能、完全、安定のセマンティクスを含む、AFの基本的なセマンティクスは、リミット・ミート・モジュロ・アン・ウルトラフィルタの下で閉じられていることが示されている。
論文 参考訳(メタデータ) (2020-12-19T04:32:19Z) - Compressive Summarization with Plausibility and Salience Modeling [54.37665950633147]
本稿では,候補空間に対する厳密な構文的制約を緩和し,その代わりに圧縮決定を2つのデータ駆動基準,すなわち妥当性とサリエンスに委ねることを提案する。
提案手法は,ベンチマーク要約データセット上で強いドメイン内結果を得るとともに,人間による評価により,文法的および事実的削除に対して,可算性モデルが一般的に選択されることを示す。
論文 参考訳(メタデータ) (2020-10-15T17:07:10Z) - Technical Report of "Deductive Joint Support for Rational Unrestricted
Rebuttal" [1.3706331473063877]
ASPICスタイルの構造化議論では、議論はその結論を攻撃することによって別の議論に反論することができる。
限定的な反論では、攻撃された結論は不可能なルールで到達したに違いない。
制限のない反論では、この厳格な規則の少なくとも1つが既に無効である限り、厳格な規則で到達した可能性がある。
論文 参考訳(メタデータ) (2020-05-07T17:19:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。