論文の概要: 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の意味論の段階的変種(例えば、理想意味論、意欲的意味論など)についても考察する。
関連論文リスト
- Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version) [8.010966370223985]
抽象的な議論フレームワークのための空のレダクトセマンティクスの概念を考察する。
本稿では,適応性に基づく意味論と競合のない意味論を組み合わせることによって生じる空きレダクト意味論を体系的に概説する。
論文 参考訳（メタデータ） (2024-08-26T07:50:49Z) - Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping [19.799266797193344]
BAF(Bipolar Argumentation Framework)とRecursive BAF(Rec-BAF)の古典的意味論について述べる。
これは、各BAFベースのフレームワークに対して、敗北した要素と許容できる要素のセットのモジュラー定義を提供することによって達成される。
また、論理プログラミングや部分安定モデルのセマンティクスの観点から、一般のBAFやRec-BAFのセマンティクスをエレガントかつ均一に特徴づける。
論文 参考訳（メタデータ） (2024-08-14T16:06:16Z) - Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。
我々のアプローチは、新しい核規範に基づく損失に基づいている。
部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文 参考訳（メタデータ） (2024-05-25T12:51:38Z) - UltraWiki: Ultra-fine-grained Entity Set Expansion with Negative Seed Entities [38.85274314130823]
入力に負のシードエンティティを導入し、正のシードエンティティと同じ粒度のセマンティッククラスに属するが、特定の属性が異なる。
負の種実体は、正と負の属性の対比によって意味的あいまいさを排除している。
超きめ細かなエンティティセマンティクスの理解を強化するための3つの戦略を考案した。
論文 参考訳（メタデータ） (2024-03-07T06:10:02Z) - Advancing Incremental Few-shot Semantic Segmentation via Semantic-guided
Relation Alignment and Adaptation [98.51938442785179]
増分的な数ショットセマンティックセマンティックセマンティクスは、セマンティクスセマンティクスモデルを新しいクラスに漸進的に拡張することを目的としている。
このタスクは、データ不均衡のため、ベースクラスと新しいクラスの間で深刻な意味認識の問題に直面します。
本稿では,従来の意味情報のガイダンスを完全に考慮した意味誘導型関係調整適応法を提案する。
論文 参考訳（メタデータ） (2023-05-18T10:40:52Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Self-adjoint extension schemes and modern applications to quantum
Hamiltonians [55.2480439325792]
モノグラフは、過去数年間、両方の著者が、抽象演算子理論と量子力学への応用の両方において中心的な主題について行った、学部・大学院・セミナーの以前の講義ノートから、改訂および拡張された資料を含んでいる。
数種類のモデルが議論され、これは今日、数学物理学への新たな関心または新たな関心を受けており、特に、ある興味を持つ作用素を自己随伴的に実現するという観点から考察されている。
論文 参考訳（メタデータ） (2022-01-25T09:45:16Z) - 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) - A Differentiable Relaxation of Graph Segmentation and Alignment for AMR
Parsing [75.36126971685034]
我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。
また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
論文 参考訳（メタデータ） (2020-10-23T21:22:50Z) - On SCC-recursiveness in Quantitative Argumentation [0.0]
SCC再帰性はファジィ拡張セマンティクスに適していることを示す。
SCC再帰性はファジィ拡張セマンティクスを特徴付ける代替手法であることを示す。
論文 参考訳（メタデータ） (2020-06-16T02:33:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。