論文の概要: On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

• arxiv url: http://arxiv.org/abs/2008.02550v1
• Date: Thu, 6 Aug 2020 10:04:53 GMT
• ステータス: 処理完了
• システム内更新日: 2022-11-02 07:39:03.273693
• Title: On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
• Title（参考訳）: 抽象的論証フレームワークのセマンティクスについて:論理プログラミングのアプローチ
• Authors: Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
• Abstract要約: すべての AF ベースのフレームワーク $Delta$ が論理プログラム $P_Delta$ に変換可能であることを示す。 AFベースのフレームワークのセマンティクスをエレガントかつ均一に特徴付けるロジックプログラミングアプローチを提供する。
• 参考スコア（独自算出の注目度）: 19.269719158344504
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF. In this paper we explore the relationships between AF-based frameworks and PSMs. We show that every AF-based framework $\Delta$ can be translated into a logic program $P_\Delta$ so that the extensions prescribed by different semantics of $\Delta$ coincide with subsets of the PSMs of $P_\Delta$. We provide a logic programming approach that characterizes, in an elegant and uniform way, the semantics of several AF-based frameworks. This result allows also to define the semantics for new AF-based frameworks, such as AFs with recursive attacks and recursive deductive supports. Under consideration for publication in Theory and Practice of Logic Programming.
• Abstract（参考訳）: 最近、Dungの抽象Argumentation Framework(AF)を拡張するフレームワークへの関心が高まっている。 人気のある拡張には、再帰攻撃と必要なサポートを備えた双極性AFとAFが含まれる。 AFセマンティクスと論理プログラムの部分安定モデル(PSM)の関係は深く研究されているが、より一般的なフレームワークではそうではない。 本稿では,AFベースのフレームワークとPSMの関係について検討する。 すべての AF ベースのフレームワーク $\Delta$ は論理プログラム $P_\Delta$ に変換可能であるので、$\Delta$ の異なるセマンティクスによって規定される拡張は、$P_\Delta$ の PSM の部分集合と一致する。 我々は、いくつかのafベースのフレームワークのセマンティクスをエレガントかつ均一に特徴付ける論理プログラミングアプローチを提供する。 これにより、再帰攻撃を伴うAFや再帰的推論サポートなど、新しいAFベースのフレームワークのセマンティクスも定義できる。 論理プログラミングの理論と実践における出版について考察する。

関連論文リスト

• 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)
• Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification [0.174048653626208]
  本稿では,パラメータ化された動的論理型形式である$DL_p$を提案する。 $DL_p$は、異なる動的論理理論を包含する柔軟な検証フレームワークを提供する。 ケーススタディは、$DL_p$が異なるタイプのプログラムモデルについて推論するためにどのように機能するかを示している。
  論文  参考訳（メタデータ） (2024-04-28T07:08:44Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers [60.009969929857704]
  論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。 本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。 我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
  論文  参考訳（メタデータ） (2023-10-23T17:58:40Z)
• Pair then Relation: Pair-Net for Panoptic Scene Graph Generation [54.92476119356985]
  Panoptic Scene Graph (PSG) は、ボックスの代わりにパン光学セグメンテーションを使用して、より包括的なシーングラフ表現を作成することを目的としている。 現在のPSGメソッドは性能が限られており、下流のタスクやアプリケーションを妨げる。 Pair then Relation (Pair-Net) - Pair Proposal Network (PPN) を用いて、対象と対象間の疎対関係を学習・フィルタリングする。
  論文  参考訳（メタデータ） (2023-07-17T17:58:37Z)
• 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)
• How much of UCCA can be predicted from AMR? [0.0]
  コーパスベースのアプローチを用いて、2つのグラフ書き換えシステム、決定論的および非決定論的システムを構築する。 ルール構築中に発見した評価とあいまいさについて紹介する。
  論文  参考訳（メタデータ） (2022-07-25T13:13:34Z)
• Unsupervised Semantic Segmentation by Distilling Feature Correspondences [94.73675308961944]
  教師なしセマンティックセグメンテーション(unsupervised semantic segmentation)は、アノテーションなしで画像コーパス内の意味論的意味のあるカテゴリを発見し、ローカライズすることを目的としている。 STEGOは、教師なし特徴を高品質な個別のセマンティックラベルに蒸留する新しいフレームワークである。 STEGOは、CocoStuffとCityscapesの両課題において、先行技術よりも大幅に改善されている。
  論文  参考訳（メタデータ） (2022-03-16T06:08:47Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)
• Reactive Answer Set Programming [2.7286395031146062]
  Logic Production System (LPS)は、リアクティブな振る舞いをモデル化するためのロジックベースのフレームワークである。 本稿では,このフレームワーク(KELPS)のカーネルを解集合プログラム(ASP)に体系的にマッピングする。
  論文  参考訳（メタデータ） (2021-09-22T10:10:14Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。