論文の概要: Inconsistent Databases and Argumentation Frameworks with Collective Attacks

• arxiv url: http://arxiv.org/abs/2605.03954v1
• Date: Tue, 05 May 2026 16:38:31 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-06 19:35:44.041606
• Title: Inconsistent Databases and Argumentation Frameworks with Collective Attacks
• Title（参考訳）: 集合攻撃を伴う一貫性のないデータベースと論証フレームワーク
• Authors: Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo,
• Abstract要約: 不整合データベースに対するサブセット-最大修復の関連性は近年注目されている。 本稿では,整合性制約にデニアル制約やローカル・アズビュー・ジェネレーションの依存関係を含む場合の新たな接続を確立することで,この領域に寄与する。
• 参考スコア（独自算出の注目度）: 10.556775730089377
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The connection between subset-maximal repairs for inconsistent databases involving various integrity constraints and acceptable sets of arguments within argumentation frameworks has recently drawn growing interest. In this paper, we contribute to this domain by establishing a new connection when integrity constraints (ICs) include denial constraints and local-as-view tuple-generating dependencies. It turns out that SET-based Argumentation Frameworks (SETAFs), an extension of Dung's argumentation frameworks (AFs) allowing collective attacks, are needed. It is known that subset-maximal repairs under denial constraints correspond to the naive extensions, which also coincide with the preferred and stable extensions in the resulting SETAFs. Our main findings establish that repairs under the considered fragment of tuple-generating dependencies correspond to the preferred extensions. Moreover, for these dependencies, additional preprocessing allows computing a unique extension that is stable and naive. Allowing both types of constraints breaks this relationship, and even the pre-processing does not help as only preferred semantics captures these repairs. Finally, while it is known that functional dependencies do not require set-based attacks, we prove the same regarding inclusion dependencies. Thus, one can translate inconsistent databases under these restricted classes of ICs to plain AFs with attacks only between arguments.
• Abstract（参考訳）: 様々な整合性制約と議論フレームワーク内で許容される議論の集合を含む一貫性のないデータベースに対するサブセット-最大修復の関連性は、近年注目されている。 本稿では、整合性制約(IC)にデニアル制約とローカル・アズ・ア・ビュー・タプル生成依存性を含む場合の新たな接続を確立することにより、この領域に寄与する。 集団攻撃を可能にするDungの議論フレームワーク(AF)の拡張であるSETベースのArgumentation Frameworks(SETAFs)が必要であることが判明した。 否定的制約の下での部分集合-最大修理は、結果として生じる SETAF の好ましく安定した拡張と一致するナイーブ拡大に対応することが知られている。 本研究の主目的は,タプル生成依存の断片に基づく修復が望ましい拡張に対応することにある。 さらに、これらの依存関係に対して、追加のプリプロセッシングにより、安定して単純であるユニークな拡張をコンピューティングが実現できる。 どちらのタイプの制約も許容することはこの関係を破り、前処理でさえ、望ましいセマンティクスだけがこれらの修復をキャプチャするので役に立たない。 最後に、機能的依存関係はセットベースの攻撃を必要としないことが知られているが、包摂的依存関係についても同じことを証明している。 したがって、これらの制限されたICのクラスの下で一貫性のないデータベースを、引数間の攻撃でプレーンなAFに変換することができる。

関連論文リスト

• Dynamic analysis enhances issue resolution [53.50448142467294]
  DAIRA(Dynamic Analysis-enhanced Issue Resolution Agent)は、エージェントの推論サイクルに動的解析を組み込む自動修復フレームワークである。 テストトレース駆動の方法論によって駆動されるDAIRAは、軽量モニタを使用して重要なランタイムデータを抽出する。 Gemini 3 Flash Previewを使用すると、DAIRAは新たな最先端(SOTA)パフォーマンスを確立し、SWE-bench Verifiedデータセットで79.4%の解像度を達成する。
  論文  参考訳（メタデータ） (2026-03-23T14:48:54Z)
• Breaking Contextual Inertia: Reinforcement Learning with Single-Turn Anchors for Stable Multi-Turn Interaction [49.03500737694832]
  textbfReinforcement textbfLearning with textbfTurn textbfRLSTA。 実験の結果,RTSTAは標準微調整法や禁忌法よりも有意に優れていた。
  論文  参考訳（メタデータ） (2026-03-05T04:04:59Z)
• Breaking the Factorization Barrier in Diffusion Language Models [59.946071582340146]
  ベクトル化障壁」は拡散言語モデルの効率的な並列生成を妨げる。 完全分解出力分布を置き換えるための結合離散拡散法を提案する。 我々は, CoDD が多種多様な言語モデルアーキテクチャをシームレスに拡張し, オーバーヘッドを無視できることを示した。
  論文  参考訳（メタデータ） (2026-02-09T08:36:39Z)
• Retrieval is Not Enough: Enhancing RAG Reasoning through Test-Time Critique and Optimization [58.390885294401066]
  Retrieval-augmented Generation (RAG) は知識基底型大規模言語モデル(LLM)を実現するためのパラダイムとして広く採用されている。 RAGパイプラインは、モデル推論が得られた証拠と整合性を維持するのに失敗することが多く、事実上の矛盾や否定的な結論につながる。 批判駆動アライメント(CDA)に基づく新しい反復的枠組みであるAlignRAGを提案する。 AlignRAG-autoは、動的に洗練を終了し、批判的な反復回数を事前に指定する必要がなくなる自律的な変種である。
  論文  参考訳（メタデータ） (2025-04-21T04:56:47Z)
• Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints [2.4622211579286133]
  本稿では,普遍的な制約を備えた一貫性のないデータベースを修復・クエリする問題を再考する。 我々は対称的な差分修復を採用しており、削除と事実の追加の両方を一貫性の回復に利用することができる。 より単純な否定的制約と、事実の削除のみに基づいて定義された、既存の最適修復の概念が、よりリッチな設定に適切に拡張可能であることを示す。
  論文  参考訳（メタデータ） (2023-06-06T09:17:56Z)
• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation [5.87010466783654]
  優先知識ベース(KB)に対する不整合の問題について検討する。 本稿では, 接地拡張に着想を得た優先順位付きKBのセマンティクスを提案し, 良好な特性を享受する。 本研究は、嗜好に基づく議論フレームワークに関する独立した関心の結果ももたらした。
  論文  参考訳（メタデータ） (2020-03-12T12:38:37Z)

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

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