論文の概要: Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
- arxiv url: http://arxiv.org/abs/2408.08916v1
- Date: Wed, 14 Aug 2024 16:06:16 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-20 23:35:59.090164
- Title: Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
- Title(参考訳): Recursive Bipolar Argumentation Frameworksにおける周期的サポート:セマンティックスとLPマッピング
- Authors: Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna,
- Abstract要約: BAF(Bipolar Argumentation Framework)とRecursive BAF(Rec-BAF)の古典的意味論について述べる。
これは、各BAFベースのフレームワークに対して、敗北した要素と許容できる要素のセットのモジュラー定義を提供することによって達成される。
また、論理プログラミングや部分安定モデルのセマンティクスの観点から、一般のBAFやRec-BAFのセマンティクスをエレガントかつ均一に特徴づける。
- 参考スコア(独自算出の注目度): 19.799266797193344
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the possibility to express supports, leading to the development of the Bipolar Argumentation Framework (BAF), and recursive attacks and supports, resulting in the Recursive BAF (Rec-BAF). Different interpretations of supports have been proposed, whereas for Rec-BAF (where the target of attacks and supports may also be attacks and supports) even different semantics for attacks have been defined. However, the semantics of these frameworks have either not been defined in the presence of support cycles, or are often quite intricate in terms of the involved definitions. We encompass this limitation and present classical semantics for general BAF and Rec-BAF and show that the semantics for specific BAF and Rec-BAF frameworks can be defined by very simple and intuitive modifications of that defined for the case of AF. This is achieved by providing a modular definition of the sets of defeated and acceptable elements for each AF-based framework. We also characterize, in an elegant and uniform way, the semantics of general BAF and Rec-BAF in terms of logic programming and partial stable model semantics.
- Abstract(参考訳): Dung's Abstract Argumentation Framework (AF) は人工知能における議論の重要な形式として登場した。
BAF(Bipolar Argumentation Framework)が開発され、再帰攻撃と支援が行われ、再帰的BAF(Rec-BAF)が実現した。
サポートの異なる解釈が提案されているのに対して、Rec-BAF(アタックとサポートのターゲットもアタックとサポートの可能性がある)では、アタックの異なるセマンティクスが定義されている。
しかしながら、これらのフレームワークのセマンティクスはサポートサイクルの存在下で定義されていないか、しばしば関連する定義に関してかなり複雑である。
我々は、この制限と、一般的なBAFおよびRec-BAFの古典的意味論を包含し、特定のBAFおよびRec-BAFフレームワークのセマンティクスは、AFの場合に定義された、非常に単純で直感的な修正によって定義できることを示す。
これは、各AFベースのフレームワークに対して、敗北した要素と許容できる要素のセットのモジュラー定義を提供することによって達成される。
また、論理プログラミングや部分安定モデルのセマンティクスの観点から、一般のBAFやRec-BAFのセマンティクスをエレガントかつ均一に特徴づける。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
本研究は,実用的なDEL計画の展開を促進することを目的としている。
本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。
この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
論文 参考訳(メタデータ) (2023-07-28T10:09:45Z) - Non-flat ABA is an Instance of Bipolar Argumentation [23.655909692988637]
ABA(Assumption-based Argumentation)は、構造化された議論形式である。
ABAフレームワーク(ABAF)に課される一般的な制限は、それらがフラットであることである。
一般、おそらく非平坦なABAFからあらゆる抽象的議論形式への翻訳は存在しない。
論文 参考訳(メタデータ) (2023-05-21T13:18:08Z) - Guiding the PLMs with Semantic Anchors as Intermediate Supervision:
Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。
第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。
いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文 参考訳(メタデータ) (2022-10-04T07:27:29Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳(メタデータ) (2022-07-05T18:42:04Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Towards Robustness Against Natural Language Word Substitutions [87.56898475512703]
単語置換に対するロバスト性は、意味論的に類似した単語を置換として、明確に定義され広く受け入れられる形式である。
従来の防衛方法は、$l$-ball または hyper-rectangle を用いてベクトル空間における単語置換をキャプチャする。
論文 参考訳(メタデータ) (2021-07-28T17:55:08Z) - On graded semantics of abstract argumentation: Extension-based case [0.0]
本稿では,抽象的議論フレームワーク(AAF)における拡張型意味論の課題について考察する。
代替基本補題が与えられ、[1]で得られた対応する結果を一般化する。
コンフリクトフリー、許容可能、完全、安定のセマンティクスを含む、AFの基本的なセマンティクスは、リミット・ミート・モジュロ・アン・ウルトラフィルタの下で閉じられていることが示されている。
論文 参考訳(メタデータ) (2020-12-19T04:32:19Z) - Strong Admissibility for Abstract Dialectical Frameworks [0.0]
ADFに対する解釈の強い許容性の概念を提示する。
ADFの強い許容解釈は、基底解釈をトップ要素とする格子を形成することを示した。
論文 参考訳(メタデータ) (2020-12-10T21:50:35Z) - Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics [15.174903837196297]
SETAFs とサポートフリー ADFs との関係について検討した。
2つのアプローチを区別するサポートフリーAFFにおいて、満足できない受け入れ条件が存在するだけである。
論文 参考訳(メタデータ) (2020-07-07T16:03:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。