論文の概要: Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics

• arxiv url: http://arxiv.org/abs/2108.05680v1
• Date: Thu, 12 Aug 2021 12:03:54 GMT
• ステータス: 処理完了
• システム内更新日: 2021-08-13 14:25:53.538289
• Title: Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
• Title（参考訳）: Lutz's Spoiler Technique Revisited: An Unified Approach to Worst-Case Optimal Entailment of Conjunctive Queries in Locally-Forward Description Logics
• Authors: Bartosz Bednarczyk
• Abstract要約: 本稿では, 有限かつ制限のない, 最短ケースの(一対の)結合型クエリ(U)CQに対する統一的なアプローチを提案する。 私たちが採用している主なテクニックは、元々ALCHQのCQエンターメントのために開発されたLultzのスポイラーテクニックの一般化である。
• 参考スコア（独自算出の注目度）: 7.310043452300736
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present a unified approach to (both finite and unrestricted) worst-case optimal entailment of (unions of) conjunctive queries (U)CQs in the wide class of "locally-forward" description logics. The main technique that we employ is a generalisation of Lutz's spoiler technique, originally developed for CQ entailment in ALCHQ. Our result closes numerous gaps present in the literature, most notably implying ExpTime-completeness of (U)CQ-querying for any superlogic of ALC contained in ALCHbregQ, and, as we believe, is abstract enough to be employed as a black-box in many new scenarios.
• Abstract（参考訳）: 本稿では,「局所フォワード」記述論理の幅広いクラスにおける結合クエリ(u)cqsの(有限かつ非制限の)最悪の場合の最適包含に関する統一的アプローチを提案する。 私たちが採用する主なテクニックは、元来alchqのcq対応のために開発されたlutzのスポイラーテクニックの一般化です。 以上の結果から,alchbregqに含まれるalcの表層相に対する(u)cq問合せの時間的完全性が示唆され,多くの新たなシナリオにおいてブラックボックスとして採用されるのに十分な抽象性が得られた。

関連論文リスト

• Barriers to Welfare Maximization with No-Regret Learning [68.66209476382213]
  我々は、ほぼ最適の$T$-sparse CCEの計算限界を低く証明する。 特に,最大傾斜角の不適応性は,時間内に非自明な間隔を達成できないことを示す。
  論文  参考訳（メタデータ） (2024-11-04T00:34:56Z)
• Benchmarking Uncertainty Quantification Methods for Large Language Models with LM-Polygraph [83.90988015005934]
  不確実性定量化(英: Uncertainty Quantification、UQ)は、機械学習(ML)アプリケーションにおいて重要なコンポーネントである。 最新のUQベースラインの集合を実装した新しいベンチマークを導入する。 我々は、9つのタスクにわたるUQと正規化技術に関する大規模な実証的研究を行い、最も有望なアプローチを特定した。
  論文  参考訳（メタデータ） (2024-06-21T20:06:31Z)
• Quantum Relaxation for Solving Multiple Knapsack Problems [7.003282322403712]
  組合せ問題はビジネスにおいて共通の課題であり、特定の制約の下で最適なソリューションを見つける必要がある。 本研究では,制約付き最適化問題に対するハイブリッド量子古典法について検討する。 提案手法は、可換写像によって定義される局所量子ハミルトニアンの緩和に依存する。
  論文  参考訳（メタデータ） (2024-04-30T11:40:07Z)
• Q-CHOP: Quantum constrained Hamiltonian optimization [2.7022651232296946]
  量子制約ハミルトン最適化(Q-CHOP)と呼ばれる制約付き最適化のための新しい量子アルゴリズムを提案する。 基本的な考え方は、常にハミルトンの制約を強制し、実現可能な状態の部分空間への進化を制限することである。 ペナルティ項を用いた制約付き一般用アダバティックアルゴリズムに対して,Q-CHOPをベンチマークした。
  論文  参考訳（メタデータ） (2024-03-08T20:03:59Z)
• SQ Lower Bounds for Non-Gaussian Component Analysis with Weaker Assumptions [50.20087216230159]
  統計的クエリモデルにおける非ガウス成分分析(NGCA)の複雑さについて検討する。 本研究は, NGCAの場合, モーメントマッチング条件のみにおいて, ほぼ最適SQ下限を証明した。
  論文  参考訳（メタデータ） (2024-03-07T18:49:32Z)
• Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
  我々はカーンズのSQオラクルとヴァリアントの弱い評価オラクルからインスピレーションを得ます。 評価クエリから学習するための非条件の下限を出力する,広範かつ直感的なフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-10-26T18:23:21Z)
• DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning [66.85379279041128]
  そこで本研究では,Dual Queries と Low-rank approximation Re- rank を利用して,文脈内学習のための例を自動選択するフレームワークを提案する。 DQ-LoRe は GPT-4 の自動選択において最先端の手法よりも優れ、92.5% から94.2% まで性能が向上した。
  論文  参考訳（メタデータ） (2023-10-04T16:44:37Z)
• BQ-NCO: Bisimulation Quotienting for Efficient Neural Combinatorial Optimization [1.5806557511612143]
  マルコフ決定過程(MDP)としての組合せ最適化問題(COP)の新たな定式化について述べる。 本稿では,これらの問題の対称性を活用し,MDPの解法を促進する方法を示す。 本稿では, ユークリッドと非対称トラベリングセールスマン, キャパシタン, オリエンテーリング, クナプサックの5つの古典的問題について述べる。
  論文  参考訳（メタデータ） (2023-01-09T13:08:59Z)
• Finite Entailment of UCRPQs over ALC Ontologies [0.82179684645881]
  我々は、クエリ言語、結合正則経路クエリの結合(UCRPQ)を考える。 記述論理 ALC を用いて,UCRPQ の包含のための厳密な 2EXP バウンドを示す。 入力オートマトンの背後にある決定論的有限オートマトンによって誘導される解釈の階層化を導入する新しいオートマトンベースの技術がある。
  論文  参考訳（メタデータ） (2022-04-29T17:38:13Z)
• Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
  ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。 我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。 我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
  論文  参考訳（メタデータ） (2022-03-11T17:19:26Z)
• On Finite Entailment of Non-Local Queries in Description Logics [1.3192452635990861]
  我々は,過渡的クロージャで拡張されたALCOIQとALCOの論理記述に注目した。 いずれの論理に対しても、推移的閉包を伴う連結クエリの有限包含に対して 2EXPTIME 上界を示す。
  論文  参考訳（メタデータ） (2020-06-30T14:57:12Z)

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

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