論文の概要: On graded semantics of abstract argumentation: Extension-based case
- arxiv url: http://arxiv.org/abs/2012.10592v2
- Date: Sun, 27 Dec 2020 01:41:18 GMT
- ステータス: 処理完了
- システム内更新日: 2021-05-01 11:13:04.335736
- Title: On graded semantics of abstract argumentation: Extension-based case
- Title(参考訳): 抽象的議論の次数的意味論:拡張型の場合
- Authors: Lixing Tan, Zhaohui Zhu, Jinjin Zhang
- Abstract要約: 本稿では,抽象的議論フレームワーク(AAF)における拡張型意味論の課題について考察する。
代替基本補題が与えられ、[1]で得られた対応する結果を一般化する。
コンフリクトフリー、許容可能、完全、安定のセマンティクスを含む、AFの基本的なセマンティクスは、リミット・ミート・モジュロ・アン・ウルトラフィルタの下で閉じられていることが示されている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Based on Grossi and Modgil's recent work [1], this paper considers some
issues on extension-based semantics for abstract argumentation framework (AAF,
for short). First, an alternative fundamental lemma is given, which generalizes
the corresponding result obtained in [1]. This lemma plays a central role in
constructing some special extensions in terms of iterations of the defense
function. Applying this lemma, some flaws in [1] are corrected and a number of
structural properties of various extension-based semantics are given. Second,
the operator so-called reduced meet modulo an ultrafilter is presented. A
number of fundamental semantics for AAF, including conflict-free, admissible,
complete and stable semantics, are shown to be closed under this operator.
Based on this fact, we provide a concise and uniform proof method to establish
the universal definability of a family of range related semantics. Thirdly,
using model-theoretical tools, we characterize the class of extension-based
semantics that is closed under reduced meet modulo any ultrafilter, which
brings us a metatheorem concerning the universal definability of range related
semantics. Finally, in addition to range related semantics, some graded
variants of traditional semantics of AAF are also considered in this paper,
e.g., ideal semantics, eager semantics, etc.
- Abstract(参考訳): 本稿では,Grossi と Modgil の最近の研究 [1] に基づき,抽象的議論フレームワーク (AAF,略してAAF) の拡張的意味論について考察する。
まず、[1]で得られる対応する結果を一般化する別の基本補題が与えられる。
この補題は防衛関数の反復の観点からいくつかの特別な拡張を構築する上で中心的な役割を果たす。
この補題を適用すると[1]のいくつかの欠陥が修正され、様々な拡張ベースの意味論の構造的性質が与えられる。
第二に、いわゆるregred meet modulo a ultrafilterという演算子が提示される。
コンフリクトフリー、許容可能、完全、安定のセマンティクスを含む、AFの基本セマンティクスは、この演算子の下で閉じられている。
この事実に基づいて、範囲関連セマンティクスのファミリーの普遍的定義可能性を確立するための簡潔で均一な証明方法を提案する。
第3に、モデル理論のツールを用いて、縮小されたミートモジュロ任意の超フィルタの下で閉じた拡張ベースの意味論のクラスを特徴付け、範囲関連意味論の普遍的定義可能性に関するメタセオラムをもたらす。
最後に、範囲関連意味論の他に、従来のaafの意味論の段階的変種(例えば、理想意味論、意欲的意味論など)についても考察する。
関連論文リスト
- On Fuzzy Cardinal Semantic Transformations [77.34726150561087]
ファジィ・セマンティック・トランスフォーメーション(ファジィ・セマンティック・セマンティック・トランスフォーメーション)の基盤となるファジィ・セマンティック・トランスフォーメーション(ファジィ・セマンティック・ナレーション・システム)が本研究で紹介される。
初期データのファジィ(抽象エンティティの基数)と基数意味演算子のパラメータのファジィ(ファジィ)の両方を考慮する。
論文 参考訳(メタデータ) (2022-05-27T16:17:58Z) - Graph Adaptive Semantic Transfer for Cross-domain Sentiment
Classification [68.06496970320595]
クロスドメイン感情分類(CDSC)は、ソースドメインから学んだ伝達可能なセマンティクスを使用して、ラベルなしのターゲットドメインにおけるレビューの感情を予測することを目的としている。
本稿では、単語列と構文グラフの両方からドメイン不変セマンティクスを学習できる適応型構文グラフ埋め込み法であるグラフ適応意味伝達(GAST)モデルを提案する。
論文 参考訳(メタデータ) (2022-05-18T07:47:01Z) - Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。
分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
論文 参考訳(メタデータ) (2022-05-06T11:41:23Z) - Analytical Solutions for the Inverse Problem within Gradual Semantics [3.957174470017176]
本稿では,段階的意味論における逆問題の解法として解析的アプローチを用いる方法を示す。
現在の最先端とは違って、そのようなアプローチは素早く解を見つけることができ、そのことが保証される。
論文 参考訳(メタデータ) (2022-03-02T15:55:10Z) - The Inverse Problem for Argumentation Gradual Semantics [8.860629791560198]
このような意味論のサブクラス、いわゆる重み付き意味論は、引数に対する初期重みのセットを入力として取る。
このような重み付き意味論に対する逆問題を考える。
すなわち、議論の枠組みと望ましい議論のランキングが与えられた場合、特定の意味論が与えられたランキングを生成するような初期重みが存在するかどうかを問う。
論文 参考訳(メタデータ) (2022-02-01T09:46:23Z) - Semantic Characterizations of General Belief Base Revision [3.2872586139884623]
我々は、任意のタルスキアン論理における(多重)基底修正の設定に対するK&Mのアプローチを一般化する。
我々の一般的な定式化は、「基礎」の様々な概念(信念集合、任意の文または有限文の集合、単一文など)に適用する。
論文 参考訳(メタデータ) (2021-12-27T07:53:21Z) - Rethinking the Two-Stage Framework for Grounded Situation Recognition [61.93345308377144]
接地状況認識は「人間のような」事象理解に向けた重要なステップである。
既存のGSR手法では、第1段階で動詞を予測し、第2段階での意味的役割を検出するという、2段階の枠組みを採用している。
本稿では,CFVM (Coarse-to-Fine Verb Model) と Transformer-based Noun Model (TNM) で構成される新しいGSR用SituFormerを提案する。
論文 参考訳(メタデータ) (2021-12-10T08:10:56Z) - Self-Supervised Learning Disentangled Group Representation as Feature [82.07737719232972]
既存の自己監督学習(SSL)は、回転や着色などの単純な拡張機能のみを分解することを示す。
反復的分割に基づく不変リスク最小化(IP-IRM)を提案する。
我々は、IP-IRMが完全に不整合表現に収束し、様々なベンチマークでその効果を示すことを証明した。
論文 参考訳(メタデータ) (2021-10-28T16:12:33Z) - Anti-aliasing Semantic Reconstruction for Few-Shot Semantic Segmentation [66.85202434812942]
セグメンテーションを意味的再構成問題として再検討する。
基本クラスの特徴を,新しいクラス再構築のためのクラスレベルのセマンティック空間にまたがる一連の基底ベクトルに変換する。
提案手法はアンチエイリアス・セマンティック・リストラクション (ASR) と呼ばれ, 数発の学習問題に対して, 体系的かつ解釈可能な解法を提供する。
論文 参考訳(メタデータ) (2021-06-01T02:17:36Z) - GroupifyVAE: from Group-based Definition to VAE-based Unsupervised
Representation Disentanglement [91.9003001845855]
他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。
グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。
提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
論文 参考訳(メタデータ) (2021-02-20T09:49:51Z) - Strong Admissibility for Abstract Dialectical Frameworks [0.0]
ADFに対する解釈の強い許容性の概念を提示する。
ADFの強い許容解釈は、基底解釈をトップ要素とする格子を形成することを示した。
論文 参考訳(メタデータ) (2020-12-10T21:50:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。