Fugu-MT 論文翻訳(概要): Using ASP(Q) to Handle Inconsistent Prioritized Data

論文の概要: Using ASP(Q) to Handle Inconsistent Prioritized Data

arxiv url: http://arxiv.org/abs/2604.21603v1
Date: Thu, 23 Apr 2026 12:24:22 GMT
ステータス: 翻訳完了
システム内更新日: 2026-04-24 14:40:06.490977
Title: Using ASP(Q) to Handle Inconsistent Prioritized Data
Title（参考訳）: ASP(Q) を使って一貫性のない優先順位付けデータを処理する
Authors: Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta,
Abstract要約: 矛盾する事実の優先順位関係を利用して、最適修理の3つの概念を定義する。我々は、これらの最適修理を利用する3つのよく知られた意味論(AR、勇敢、IAR)の変種について考察する。本稿では,グローバルな修復ベースセマンティクスの実装と,その基盤となるセマンティクスの実装について述べる。
参考スコア（独自算出の注目度）: 2.6354024062627808
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsistency-tolerant querying of prioritized data, where a priority relation between conflicting facts is exploited to define three notions of optimal repairs (Pareto-, globally- and completion-optimal). We consider the variants of three well-known semantics (AR, brave and IAR) that use these optimal repairs, and for which query answering is in the first or second level of the polynomial hierarchy for a large class of logical theories. Notably, this paper presents the first implementation of globally-optimal repair-based semantics, as well as the first implementation of the grounded semantics, which is a tractable under-approximation of all these optimal repair-based semantics. Our experimental evaluation sheds light on the feasibility of computing answers under globally-optimal repair semantics and the impact of adopting different semantics, approximations, and encodings.
Abstract（参考訳）: そこでは、矛盾する事実間の優先関係を利用して最適修理の3つの概念を定義する(Pareto-, Global-, Complete-Optimal)。我々は、これらの最適補修を利用する3つのよく知られた意味論(AR、勇敢、IAR)の変種を考える。本稿では,グローバルな修復ベースセマンティクスの実装と,これらすべての最適修復ベースセマンティクスのトラクタブルなアンダー近似であるグラウンドドセマンティクスの実装について述べる。実験により, 最適補修セマンティクスの下での計算解の実現可能性と, 異なるセマンティクス, 近似, エンコーディングがもたらす影響について検討した。

関連論文リスト

Deep Unfolding: Recent Developments, Theory, and Design Guidelines [99.63555420898554]
この記事では、最適化アルゴリズムを構造化されたトレーニング可能なMLアーキテクチャに変換するフレームワークであるDeep Unfoldingのチュートリアルスタイルの概要を提供する。推論と学習のための最適化の基礎を概観し、深層展開のための4つの代表的な設計パラダイムを導入し、その反復的な性質から生じる特有なトレーニングスキームについて議論する。
論文参考訳（メタデータ） (2025-12-03T13:16:35Z)
Beyond Relational: Semantic-Aware Multi-Modal Analytics with LLM-Native Query Optimization [35.60979104539273]
Nirvanaは、プログラム可能なセマンティック演算子を組み込んだマルチモーダルデータ分析フレームワークである。 Nirvanaはエンドツーエンドのランタイムを10%から85%削減し、システム処理コストを平均で76%削減できる。
論文参考訳（メタデータ） (2025-11-25T01:41:49Z)
Bounded Rationality for LLMs: Satisficing Alignment at Inference-Time [52.230936493691985]
本稿では,2次基準のしきい値に基づく制約を満たしつつ,主目的を最大化し,アライメントの多面性に対処する推論フレームワークSITAlignを提案する。我々は、満足度に基づく推論アライメントアプローチの準最適境界を導出することで理論的洞察を提供する。
論文参考訳（メタデータ） (2025-05-29T17:56:05Z)
PARL: A Unified Framework for Policy Alignment in Reinforcement Learning from Human Feedback [106.63518036538163]
我々は、強化学習におけるポリシーアライメントの最近強調された重要な問題に対処するために、新しい統合された二段階最適化ベースのフレームワーク、textsfPARLを提案する。本フレームワークは, 上向きの目標(逆設計)の分布を, 下向きの最適変数で明示的にパラメータ化することにより, これらの問題に対処する。その結果,提案したtextsfPARL が RL のアライメントの懸念に対処できる可能性が示唆された。
論文参考訳（メタデータ） (2023-08-03T18:03:44Z)
Federated Learning as Variational Inference: A Scalable Expectation Propagation Approach [66.9033666087719]
本稿では,推論の視点を拡張し,フェデレート学習の変分推論の定式化について述べる。我々は、FedEPを標準フェデレーション学習ベンチマークに適用し、収束速度と精度の両方において、強いベースラインを上回ります。
論文参考訳（メタデータ） (2023-02-08T17:58:11Z)
Performance Optimization for Semantic Communications: An Attention-based Reinforcement Learning Approach [187.4094332217186]
テキストデータ伝送のためのセマンティック通信フレームワークを提案する。回復したテキストの意味的精度と完全性を共同でキャプチャする意味的類似度尺度(MSS)を提案する。
論文参考訳（メタデータ） (2022-08-17T11:39:16Z)
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments [2.4622211579286133]
優先順位付けされた知識ベース上で不整合耐性問合せ応答を行うための実用的なアルゴリズムについて検討する。最適補修の2つの概念に基づく3つのよく知られた意味論(AR, IAR, 勇敢)を考える(パレート, 完成)。
論文参考訳（メタデータ） (2022-02-16T10:44:39Z)
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation [5.87010466783654]
優先知識ベース(KB)に対する不整合の問題について検討する。本稿では, 接地拡張に着想を得た優先順位付きKBのセマンティクスを提案し, 良好な特性を享受する。本研究は、嗜好に基づく議論フレームワークに関する独立した関心の結果ももたらした。
論文参考訳（メタデータ） (2020-03-12T12:38:37Z)

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

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