Fugu-MT 論文翻訳(概要): Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

論文の概要: Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

arxiv url: http://arxiv.org/abs/2007.03581v1
Date: Tue, 7 Jul 2020 16:03:23 GMT
ステータス: 処理完了
システム内更新日: 2022-11-12 19:40:44.967666
Title: Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Title（参考訳）: 3値セマンティックスにおけるSETAFとサポートフリーAFFの表現性
Authors: Wolfgang Dvo\v{r}\'ak and Atefeh Keshavarzi Zafarghandi and Stefan Woltran
Abstract要約: SETAFs とサポートフリー ADFs との関係について検討した。 2つのアプローチを区別するサポートフリーAFFにおいて、満足できない受け入れ条件が存在するだけである。
参考スコア（独自算出の注目度）: 15.174903837196297
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Generalizing the attack structure in argumentation frameworks (AFs) has been studied in different ways. Most prominently, the binary attack relation of Dung frameworks has been extended to the notion of collective attacks. The resulting formalism is often termed SETAFs. Another approach is provided via abstract dialectical frameworks (ADFs), where acceptance conditions specify the relation between arguments; restricting these conditions naturally allows for so-called support-free ADFs. The aim of the paper is to shed light on the relation between these two different approaches. To this end, we investigate and compare the expressiveness of SETAFs and support-free ADFs under the lens of 3-valued semantics. Our results show that it is only the presence of unsatisfiable acceptance conditions in support-free ADFs that discriminate the two approaches.
Abstract（参考訳）: 議論フレームワーク(AF)における攻撃構造の一般化は,様々な方法で研究されている。特に、Dungフレームワークのバイナリ攻撃関係は、集団攻撃の概念にまで拡張されている。結果として得られる形式主義はしばしばSETAFと呼ばれる。もう一つのアプローチは抽象弁証法フレームワーク(ADF)を通じて提供され、受け入れ条件は引数間の関係を規定する。この論文の目的は、これら2つのアプローチの関係を明らかにすることである。そこで本研究では,3値セマンティクスのレンズを用いて,SETAFとサポートフリーAFFの表現性を検討した。以上の結果から,両アプローチを判別するサポートフリーadfsにおいて,不満足な受理条件が存在することのみを示唆する。

関連論文リスト

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)
LEAF: Unveiling Two Sides of the Same Coin in Semi-supervised Facial Expression Recognition [56.22672276092373]
半教師付き学習は、表情認識におけるラベル不足の課題に取り組むための有望なアプローチとして現れてきた。本稿では,表現関連表現と擬似ラベルを協調する統合フレームワークであるhierarchicaL dEcoupling And Fusingを提案する。 LEAFは最先端の半教師付きFER法より優れており,ラベル付きデータとラベルなしデータの両方を効果的に活用できることを示す。
論文参考訳（メタデータ） (2024-04-23T13:43:33Z)
Variance-Preserving-Based Interpolation Diffusion Models for Speech Enhancement [53.2171981279647]
本稿では,VP-および分散拡散(VE)に基づく拡散法の両方をカプセル化するフレームワークを提案する。本研究では,拡散モデルで発生する一般的な困難を解析し,性能の向上とモデルトレーニングの容易化を図る。我々は,提案手法の有効性を示すために,公開ベンチマークを用いたいくつかの手法によるモデルの評価を行った。
論文参考訳（メタデータ） (2023-06-14T14:22:22Z)
Non-flat ABA is an Instance of Bipolar Argumentation [23.655909692988637]
ABA(Assumption-based Argumentation)は、構造化された議論形式である。 ABAフレームワーク(ABAF)に課される一般的な制限は、それらがフラットであることである。一般、おそらく非平坦なABAFからあらゆる抽象的議論形式への翻訳は存在しない。
論文参考訳（メタデータ） (2023-05-21T13:18:08Z)
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文参考訳（メタデータ） (2022-07-05T18:42:04Z)
Document-Level Relation Extraction with Sentences Importance Estimation and Focusing [52.069206266557266]
文書レベルの関係抽出(DocRE)は、複数の文の文書から2つのエンティティ間の関係を決定することを目的としている。我々はDocREのための文重要度スコアと文集中損失を設計するSIEF(Sentence Estimation and Focusing)フレームワークを提案する。 2つのドメインの実験結果から、SIEFは全体的なパフォーマンスを改善するだけでなく、DocREモデルをより堅牢にします。
論文参考訳（メタデータ） (2022-04-27T03:20:07Z)
Dive into Ambiguity: Latent Distribution Mining and Pairwise Uncertainty Estimation for Facial Expression Recognition [59.52434325897716]
DMUE(DMUE)という,アノテーションのあいまいさを2つの視点から解決するソリューションを提案する。前者に対しては,ラベル空間における潜伏分布をよりよく記述するために,補助的マルチブランチ学習フレームワークを導入する。後者の場合、インスタンス間の意味的特徴のペアワイズ関係を完全に活用して、インスタンス空間のあいまいさの程度を推定する。
論文参考訳（メタデータ） (2021-04-01T03:21:57Z)
Inter-class Discrepancy Alignment for Face Recognition [55.578063356210144]
IA(Inter-class DiscrepancyAlignment)という統合フレームワークを提案する。 IDA-DAOは、画像と隣人の相違を考慮した類似度スコアの整合に使用される。 IDA-SSEは、GANで生成された仮想候補画像を導入することで、説得力のあるクラス間隣人を提供できます。
論文参考訳（メタデータ） (2021-03-02T08:20:08Z)
Strong Admissibility for Abstract Dialectical Frameworks [0.0]
ADFに対する解釈の強い許容性の概念を提示する。 ADFの強い許容解釈は、基底解釈をトップ要素とする格子を形成することを示した。
論文参考訳（メタデータ） (2020-12-10T21:50:35Z)
Opinion Transmission Network for Jointly Improving Aspect-oriented Opinion Words Extraction and Sentiment Classification [56.893393134328996]
アスペクトレベルの感情分類(ALSC)とアスペクト指向の意見単語抽出(AOWE)は、アスペクトベースの感情分析の2つのサブタスクである。本稿では,ALSC と AOWE の橋梁を利用した新しい接続モデル Opinion Transmission Network (OTN) を提案する。
論文参考訳（メタデータ） (2020-11-01T11:00:19Z)
Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report) [3.7311680121118336]
ラベリングに基づく形式的議論は、一般に3つのラベルのうちの1つを、受け入れ、拒絶、その他決定に至らないいずれかを示すように割り当てるラベリング関数に依存している。抽象弁証法フレームワーク (ADF) は、このカテゴリーに属するよく知られた議論形式主義である。我々は,MMA と ADF との間にガロア接続が存在することを証明し,MMA と MMA が ADF の抽象化であることを示す。
論文参考訳（メタデータ） (2020-07-22T04:26:15Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。