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

論文の概要: 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問合せの時間的完全性が示唆され,多くの新たなシナリオにおいてブラックボックスとして採用されるのに十分な抽象性が得られた。

関連論文リスト

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)
Soft Reasoning on Uncertain Knowledge Graphs [85.1968214421899]
本研究では,ソフト制約プログラミングの確立を動機とした,不確実な知識に対するソフトクエリの設定について検討する。本稿では,大規模,不完全,不確実な知識グラフ上でのソフトクエリに応答する,前方推論と後方校正を併用したMLベースのアプローチを提案する。
論文参考訳（メタデータ） (2024-03-03T13:13:53Z)
An Experiment in Retrofitting Competency Questions for Existing Ontologies [0.0]
公理とともにCQを検査することは、CQのスコープと適用性に関する重要な洞察を提供する。 CQは工学的手法の大多数に不可欠なものであるが、工芸品とともにCQを出版する実践は広くは観察されていない。
論文参考訳（メタデータ） (2023-11-09T08:57:39Z)
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)
Multifaceted Improvements for Conversational Open-Domain Question Answering [54.913313912927045]
対話型オープンドメイン質問回答(MICQA)のための多面的改善フレームワークを提案する。第一に、提案したKL分割に基づく正規化は、検索と解答のためのより良い質問理解をもたらすことができる。第二に、追加されたポストランカモジュールは、より関連性の高いパスをトップにプッシュし、2アスペクトの制約で読者に選択できる。第3に、十分に設計されたカリキュラム学習戦略は、訓練と推論の黄金の通路設定のギャップを効果的に狭め、黄金の通路支援なしで真の答えを見つけることを奨励する。
論文参考訳（メタデータ） (2022-04-01T07:54:27Z)
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)

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