論文の概要: On Strong Equivalence Notions in Logic Programming and Abstract Argumentation

• arxiv url: http://arxiv.org/abs/2605.14721v1
• Date: Thu, 14 May 2026 11:45:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-16 00:43:04.120108
• Title: On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
• Title（参考訳）: 論理プログラミングと抽象論における強等価記法について
• Authors: Giovanni Buraglio, Wolfgang Dvorak, Stefan Woltran,
• Abstract要約: 知識ベース間の強い等価性は、推論結果に影響を与えることなく、一方を他方に置き換える可能性を保証する。 これは非単調な形式論において重要な性質である。 論理プログラムに強い等価性という新しい概念を導入する。
• 参考スコア（独自算出の注目度）: 9.546922368727428
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given context. This makes it a crucial property in nonmonotonic formalisms. In particular, the fields of logic programming and abstract argumentation provide primary examples in which this property has been subject to vast investigations. However, while (classes of) logic programs and abstract argumentation frameworks are known to be semantically equivalent in static settings, this alignment breaks in dynamic contexts due to differing notions of update. As a result, strong equivalence does not always carry over from one formalism to the other. In this paper, we carefully investigate this discrepancy and introduce a new notion of strong equivalence for logic programs. Our approach preserves strong equivalence under translation between certain classes of logic programs and both Dung-style and claim-augmented argumentation frameworks, thus restoring compatibility across these formalisms.
• Abstract（参考訳）: 知識ベース間の強い等価性は、任意の文脈において、推論結果に影響を与えることなく、一方を他方に置き換える可能性を保証する。 これは非単調な形式論において重要な性質である。 特に、論理プログラミングと抽象的議論の分野は、この性質が膨大な研究の対象となっている主要な例を提供する。 しかし、(クラスの)論理プログラムと抽象的な議論フレームワークは静的な設定では意味論的に等価であることが知られているが、このアライメントは更新の異なる概念のために動的コンテキストで壊れる。 その結果、強い同値性は必ずしも一つの形式主義から別の形式主義へと引き継がれるとは限らない。 本稿では,この相違を慎重に検討し,論理プログラムに対する強い等価性の概念を導入する。 提案手法は,特定の論理プログラムのクラスとDungスタイルおよびクレーム拡張された議論フレームワーク間の翻訳下での強い等価性を保ち,これらの形式主義間の互換性を回復させる。

関連論文リスト

• Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study [2.599882743586164]
  形式的議論における類似性は最近、意味論における議論の集約やエントロメムの復号化といった問題においてその重要性から注目されている。 本稿では,(1)拡張公理的基礎,(2)述語,リテラル,節,公式の類似性を含む4段階のパラメトリックモデル,(3)言語モデルによる構文に敏感な2つのモデルファミリ,(2)ニュアンス付きおよび説明可能な類似性のための文脈重みの統合。
  論文  参考訳（メタデータ） (2026-04-14T10:05:03Z)
• DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models [58.439517684779936]
  本稿では,多種多様な文からなる自然文からなる古典論理ベンチマークDivLogicEvalを提案する。 また,より信頼性の高い評価を実現するために,大規模言語モデルに固有のバイアスやランダム性の影響を緩和する新たな評価指標を導入する。
  論文  参考訳（メタデータ） (2025-09-19T04:40:46Z)
• Reasoning is about giving reasons [55.56111618153049]
  高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。 我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
  論文  参考訳（メタデータ） (2025-08-20T07:26:53Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• Argumentative Characterizations of (Extended) Disjunctive Logic Programs [7.292741799100455]
  仮定に基づく議論は、通常の論理プログラムだけでなく、解法論理プログラムとその拡張も表現できることを示す。 議論フレームワークの中核となるロジックが尊重すべき解離の推論ルールについて考察する。
  論文  参考訳（メタデータ） (2023-06-12T14:01:38Z)
• Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective [1.160208922584163]
  順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。 本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。 LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
  論文  参考訳（メタデータ） (2022-05-10T13:33:32Z)
• Abstract argumentation and answer set programming: two faces of Nelson's logic [7.513733974830771]
  論理プログラミングと抽象論証フレームワークの両方がネルソンの構成論理N4で解釈可能であることを示す。 我々は、この論理において、非矛盾推論(non-contradictory inference)と呼ばれる2つの原則を定式化し、閉世界仮定を強化する。
  論文  参考訳（メタデータ） (2022-03-27T22:18:44Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)
• Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
  本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。 我々は古典的な高階論理に最先端の自動推論技術を用いる。
  論文  参考訳（メタデータ） (2020-07-02T11:07:53Z)

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

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