論文の概要: 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ベースのフレームワークのセマンティクスも定義できる。
論理プログラミングの理論と実践における出版について考察する。
関連論文リスト
- 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) - Description Logics Go Second-Order -- Extending EL with Universally
Quantified Concepts [0.0]
私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。
拡張の有用な断片について、異なる意味論による結論が一致することを示す。
わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
論文 参考訳(メタデータ) (2023-08-16T09:37:38Z) - 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) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics [15.174903837196297]
SETAFs とサポートフリー ADFs との関係について検討した。
2つのアプローチを区別するサポートフリーAFFにおいて、満足できない受け入れ条件が存在するだけである。
論文 参考訳(メタデータ) (2020-07-07T16:03:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。