論文の概要: On the Equivalence between Logic Programming and SETAF
- arxiv url: http://arxiv.org/abs/2407.05538v1
- Date: Mon, 8 Jul 2024 01:03:53 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-09 17:19:52.494040
- Title: On the Equivalence between Logic Programming and SETAF
- Title（参考訳）: 論理プログラミングとSETAFの等価性について
- Authors: João Alcântara, Renan Cordeiro, Samy Sá,
- Abstract要約: 攻撃的引数の集合(SETAF)を持つフレームワークは、よく知られたDungの抽象引数フレームワーク(AAF)の拡張である。
L-stable と semi-stable のセマンティクスの同値性を含むセマンティクスの間には、ペアワイズな等価性が存在することを示す。
冗長自由原子論理プログラム(RFALP)と呼ばれるNLPのクラスには、構造的等価性もある。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A framework with sets of attacking arguments (SETAF) is an extension of the well-known Dung's Abstract Argumentation Frameworks (AAFs) that allows joint attacks on arguments. In this paper, we provide a translation from Normal Logic Programs (NLPs) to SETAFs and vice versa, from SETAFs to NLPs. We show that there is pairwise equivalence between their semantics, including the equivalence between L-stable and semi-stable semantics. Furthermore, for a class of NLPs called Redundancy-Free Atomic Logic Programs (RFALPs), there is also a structural equivalence as these back-and-forth translations are each other's inverse. Then, we show that RFALPs are as expressive as NLPs by transforming any NLP into an equivalent RFALP through a series of program transformations already known in the literature. We also show that these program transformations are confluent, meaning that every NLP will be transformed into a unique RFALP. The results presented in this paper enhance our understanding that NLPs and SETAFs are essentially the same formalism. Under consideration in Theory and Practice of Logic Programming (TPLP).
- Abstract（参考訳）: 攻撃的引数のセットを持つフレームワーク(SETAF)は、よく知られたDungの抽象引数フレームワーク(AAF)の拡張であり、引数に対する共同攻撃を可能にする。
本稿では,正規論理プログラム (NLP) から SETAF への変換を行い,その逆も SETAF から NLP への変換を行う。
L-stable と semi-stable のセマンティクスの同値性を含むセマンティクスの間には、ペアワイズな等価性が存在することを示す。
さらに、冗長自由原子論理プログラム (RFALPs) と呼ばれるNLPのクラスでは、これらのバック・フォース変換が互いに逆であるため、構造的等価性もある。
そして、文献ですでに知られている一連のプログラム変換を用いて、任意のNLPを等価なRFALPに変換することにより、RFALPはNLPと同じくらい表現力が高いことを示す。
また、これらのプログラム変換は収束しており、全てのNLPがユニークなRFALPに変換されることを示す。
本稿では,NLPとSETAFが本質的に同じ形式である,という理解を深める。
論理プログラミングの理論と実践(TPLP)
関連論文リスト
- Semirings for Probabilistic and Neuro-Symbolic Logic Programming [15.747744148181829]
確率論的論理プログラミングの多くの拡張が、共通の代数論理プログラミングフレームワークにキャスト可能であることを示す。
これはPLPのバリエーションそのものだけでなく、(代数的な)モデルカウントに基づく実行メカニズムにも当てはまります。
論文 参考訳（メタデータ） (2024-02-21T13:06:52Z) - 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) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - ParaAMR: A Large-Scale Syntactically Diverse Paraphrase Dataset by AMR
Back-Translation [59.91139600152296]
ParaAMRは、抽象的な表現のバックトランスレーションによって生成される、大規模な構文的に多様なパラフレーズデータセットである。
そこで本研究では,ParaAMRを用いて文の埋め込み学習,構文的に制御されたパラフレーズ生成,数ショット学習のためのデータ拡張という,3つのNLPタスクを改善することができることを示す。
論文 参考訳（メタデータ） (2023-05-26T02:27:33Z) - Hybrid Probabilistic Logic Programming: Inference and Learning [1.14219428942199]
この論文は確率論的論理プログラミング(PLP)の進歩に焦点を当てており、不確実性の確率理論と関係性のための論理プログラミングを組み合わせたものである。
最初のコントリビューションは、コンテクスト固有の非依存性を計算ゲインに活用する新しいサンプリングアルゴリズムであるCS-LWの導入である。
次に、新しいハイブリッドPLPであるDC#が導入され、分散クロースとベイズ論理プログラムの構文を統合し、3種類の独立性を表す。
スケーラブルな推論アルゴリズムFO-CS-LWがDC#で導入された。
論文 参考訳（メタデータ） (2023-02-01T15:07:36Z) - Probing Cross-modal Semantics Alignment Capability from the Textual
Perspective [52.52870614418373]
クロスモーダルなセマンティクスの調整は、視覚と言語の事前学習モデルの本質的な能力の1つであると主張されている。
画像キャプションに基づく新しい探索手法を提案し,まずFjordモデルのモーダル間セマンティクスアライメントを実証的に研究する。
論文 参考訳（メタデータ） (2022-10-18T02:55:58Z) - Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical
Perspective [1.160208922584163]
順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。
本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。
LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
論文 参考訳（メタデータ） (2022-05-10T13:33:32Z) - Learning First-Order Rules with Differentiable Logic Program Semantics [12.360002779872373]
微分型一階規則学習者(DFOL)と呼ばれる微分型帰納的論理プログラミングモデルを導入する。
DFOLは、LPの解釈可能な行列表現を探索することにより、関係事実から正しいLPを見つける。
実験結果から,DFOLは精度が高く,堅牢で,スケーラブルで,安価で微分可能なICPモデルであることが示唆された。
論文 参考訳（メタデータ） (2022-04-28T15:33:43Z) - Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an
Approximator of AFT [10.843231120912757]
我々は、KnorrらによるハイブリッドMKNF知識ベースのためのよく確立されたセマンティクスの研究が、事実、AFTの擬似近似であることを示した。
これらの知識ベースに対する近似器の改良について,Knorr et al. の構成から定式化されたものよりも,最も安定した固定点が情報豊かであることを示す。
この研究は AFT の拡張の上に構築され、誘導された製品ビラティキにおける一貫性と一貫性のないペアをサポートする。
論文 参考訳（メタデータ） (2021-05-24T02:32:51Z) - Sentence-Based Model Agnostic NLP Interpretability [45.44406712366411]
BERTのような複雑な分類器を使用する場合、単語ベースのアプローチは計算複雑性だけでなく、分布サンプリングの欠如の問題も提起し、最終的には非確立的な説明へと繋がる。
文を用いることで、修正されたテキストは分散のままであり、同じ計算複雑性でブラックボックスへの忠実性を高めるために問題の次元が減少する。
論文 参考訳（メタデータ） (2020-12-24T10:32:41Z) - FewJoint: A Few-shot Learning Benchmark for Joint Language Understanding [55.38905499274026]
機械学習は、機械学習における重要なステップの1つだ。
FewJointは、NLP用のFew-Shot Learningベンチマークである。
論文 参考訳（メタデータ） (2020-09-17T08:17:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。