論文の概要: Oblivious and Semi-Oblivious Boundedness for Existential Rules

• arxiv url: http://arxiv.org/abs/2006.08467v1
• Date: Mon, 15 Jun 2020 15:18:57 GMT
• ステータス: 処理完了
• システム内更新日: 2022-11-21 05:02:35.468137
• Title: Oblivious and Semi-Oblivious Boundedness for Existential Rules
• Title（参考訳）: 存在規則に対する従属的半聖書的有界性
• Authors: Pierre Bourhis and Michel Lecl\`ere and Marie-Laure Mugnier and Sophie Tison and Federico Ulliana and Lily Galois
• Abstract要約: 正存在規則の文脈における有界性の概念について考察する。 難解なチェイス変種と半報知なチェイス変種に注意を集中させることで、有界性の特徴づけを与える。 ルールの集合が複数のクラスに束縛されているかどうかを判断し、問題の複雑さを概説することが決定可能であることを示す。
• 参考スコア（独自算出の注目度）: 5.875276459237496
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on the oblivious and the semi-oblivious chase variants, we give a characterization of boundedness in terms of FO-rewritability and chase termination. We show that it is decidable to recognize if a set of rules is bounded for several classes and outline the complexity of the problem. This report contains the paper published at IJCAI 2019 and an appendix with full proofs.
• Abstract（参考訳）: 有界性(boundedness)の概念を正の存在規則(つまり、チェイス手続きの深さに上限が存在するかどうか)という文脈で検討し、最初の事例とは無関係である。 難解な追尾変種と半報知な追尾変種に注意を集中させることにより,FO補修性および追尾終了性の観点から有界性の特徴づけを与える。 ルールの集合が複数のクラスにバインドされているかどうかを認識し、問題の複雑さを概説することは決定可能であることを示す。 このレポートには、IJCAI 2019で発表された論文と、完全な証明付きの付録が含まれている。

関連論文リスト

• Fair Exploration and Exploitation [4.368185344922342]
  我々は、境界付き損失とは別に、文脈と損失の生成に何の仮定も存在しないという、完全に敵対的な問題を考察する。 我々の問題では、コンテキストセットが保護されたグループの集合に分割されていると仮定する。 本稿では,この問題に対するFexExアルゴリズムを開発し,その効率性について述べる。
  論文  参考訳（メタデータ） (2024-11-06T22:25:56Z)
• Unified framework for continuity of sandwiched R\'enyi divergences [0.27309692684728604]
  サンドイッチした R'enyi の発散に関連するエントロピー量に対する連続性境界を証明した。 別の貢献として、著者たちによって開発されたALAAF法を用いて、近似量子マルコフ鎖の安定性を研究する。
  論文  参考訳（メタデータ） (2023-08-23T21:09:54Z)
• Normalisations of Existential Rules: Not so Innocuous! [7.260554897161947]
  本研究では,既存のルールが追跡(非)終了とFO-rewritability(FO-rewritability)に与える影響について検討した。 これはまた、独立した関心の追跡終了に関連するオープンな問題の研究にも繋がる。
  論文  参考訳（メタデータ） (2022-06-07T09:01:56Z)
• Emergence of Fermi's Golden Rule [55.73970798291771]
  フェルミの黄金律(FGR)は、初期量子状態が他の最終状態の連続体と弱結合している極限に適用される。 ここでは、最終状態の集合が離散的なこの極限から何が起こるか、非ゼロ平均レベル間隔で調べる。
  論文  参考訳（メタデータ） (2022-06-01T18:35:21Z)
• Sharp Bounds for Federated Averaging (Local SGD) and Continuous Perspective [49.17352150219212]
  Federated AveragingFedAvg(ローカルSGD)は、Federated Learning(FL)で最も人気のあるアルゴリズムの1つである。 微分方程式(SDE)の観点から、この量を解析する方法を示す。
  論文  参考訳（メタデータ） (2021-11-05T22:16:11Z)
• Discovering Useful Compact Sets of Sequential Rules in a Long Sequence [57.684967309375274]
  COSSUは、小さな、意味のある一連の規則をマイニングするアルゴリズムである。 COSSUは、長いシーケンスから、関連するクローズド・シーケンシャル・ルールの集合を検索できることを示す。
  論文  参考訳（メタデータ） (2021-09-15T18:25:18Z)
• A Unifying Theory of Thompson Sampling for Continuous Risk-Averse Bandits [91.3755431537592]
  本稿では,多腕バンディット問題に対するリスク-逆トンプソンサンプリングアルゴリズムの解析を統一する。 大規模偏差理論における収縮原理を用いることで、連続リスク汎関数に対する新しい濃度境界が証明される。 リスク関数の幅広いクラスと「ニセ」関数が連続性条件を満たすことを示す。
  論文  参考訳（メタデータ） (2021-08-25T17:09:01Z)
• Parallelisable Existential Rules: a Story of Pieces [2.20439695290991]
  実存則の並列化可能な集合を導入し、任意のインスタンスから単一の幅優先のステップでチェイスを計算できる。 並列化可能な規則集合は、追跡のために有界かつ新しいルールのクラスに属するような規則集合であることを示す。
  論文  参考訳（メタデータ） (2021-07-13T13:09:14Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  より弱い仮定として, 2$-adjacency faithfulness を提案します。 より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
  論文  参考訳（メタデータ） (2020-10-27T13:04:08Z)
• On Lower Bounds for Standard and Robust Gaussian Process Bandit Optimization [55.937424268654645]
  有界ノルムを持つ関数のブラックボックス最適化問題に対するアルゴリズム非依存な下界を考える。 本稿では, 単純さ, 汎用性, エラー確率への依存性の向上など, 後悔の下位境界を導出するための新しい証明手法を提案する。
  論文  参考訳（メタデータ） (2020-08-20T03:48:14Z)
• Characterizing Boundedness in Chase Variants [1.7033055327465234]
  与えられた規則の集合に対する追跡の深さが整数 k で有界かどうかを問う k-有界性問題の決定可能性について検討する。 主な追尾変種は,その特性,すなわち,難読性,半報知性,制限された追尾性,および幅優先バージョンを満足することを示す。
  論文  参考訳（メタデータ） (2020-04-21T14:07:10Z)

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

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