論文の概要: Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion
for Decidable yet Highly Expressive Querying
- arxiv url: http://arxiv.org/abs/2209.02464v1
- Date: Tue, 6 Sep 2022 13:06:51 GMT
- ステータス: 処理完了
- システム内更新日: 2022-09-07 15:13:04.687436
- Title: Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion
for Decidable yet Highly Expressive Querying
- Title（参考訳）: 存在規則の有限次元集合:決定可能で表現力に富んだ問合せの一般基準に向けて
- Authors: Thomas Feller and Tim S. Lyon and Piotr Ostropolski-Nalewaja and
Sebastian Rudolph
- Abstract要約: 実存則の「有限クリフ幅集合」(FCS)を導入し、グラフ理論のクリフ幅測度から着想を得た。
FCSは、連結クエリ(CQs)を仮定する巨大なクエリのクラスに対して、エンターメントの決定可能性を保証する
我々は、少なくとも2つのアリティのシグネチャに対して、単頭ルール集合に自分自身を制限した場合、FCSはFUSを仮定することを示した。
- 参考スコア（独自算出の注目度）: 2.924868086534434
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In our pursuit of generic criteria for decidable ontology-based querying, we
introduce 'finite-cliquewidth sets' (FCS) of existential rules, a
model-theoretically defined class of rule sets, inspired by the cliquewidth
measure from graph theory. By a generic argument, we show that FCS ensures
decidability of entailment for a sizable class of queries (dubbed 'DaMSOQs')
subsuming conjunctive queries (CQs). The FCS class properly generalizes the
class of finite-expansion sets (FES), and for signatures of arity at most 2,
the class of bounded-treewidth sets (BTS). For higher arities, BTS is only
indirectly subsumed by FCS by means of reification. Despite the generality of
FCS, we provide a rule set with decidable CQ entailment (by virtue of
first-order-rewritability) that falls outside FCS, thus demonstrating the
incomparability of FCS and the class of finite-unification sets (FUS). In spite
of this, we show that if we restrict ourselves to single-headed rule sets over
signatures of arity at most 2, then FCS subsumes FUS.
- Abstract（参考訳）: 決定可能なオントロジーに基づく問合せの汎用的基準を追求するために,グラフ理論のクライクワイト測度に着想を得たモデル理論的に定義されたルール集合のクラスである存在規則の「有限-クライクワイト集合」(fcs)を導入する。
汎用的な議論により、FCSは、結合型クエリ(CQ)を仮定する巨大なクエリのクラス("DaMSOQs"と呼ばれる)に対して、決定可能性を保証する。
FCSクラスは有限拡大集合(FES)のクラスを適切に一般化し、アリティのシグネチャに対して、高々2つの有界木幅集合(BTS)のクラスである。
高次アリティでは、BTS は改質によって FCS によってのみ間接的に仮定される。
FCS の一般化にも拘わらず、決定可能な CQ の包含(一階補修可能性による)を持つ規則が FCS の外に落ち、したがって FCS と有限統一集合のクラス(FUS)の非互換性を示す。
それにもかかわらず、もし我々が少なくとも2つのアリティのシグネチャよりも、単頭ルールに制限するならば、FCSはFUSを仮定する。
関連論文リスト
- On Finding Bi-objective Pareto-optimal Fraud Prevention Rule Sets for Fintech Applications [0.949959422062959]
ルールは詐欺防止の判断を行う機関で広く使用されている。
本稿では,ルールマイニングのための2段階フレームワークの柔軟性と有効性の向上に焦点をあてる。
論文 参考訳（メタデータ） (2023-11-02T03:18:40Z) - Mitigating Word Bias in Zero-shot Prompt-based Classifiers [55.60306377044225]
一致したクラス先行は、オラクルの上界性能と強く相関していることを示す。
また,NLPタスクに対するプロンプト設定において,一貫したパフォーマンス向上を示す。
論文 参考訳（メタデータ） (2023-09-10T10:57:41Z) - Fat Shattering, Joint Measurability, and PAC Learnability of POVM
Hypothesis Classes [8.594140167290098]
我々は、PAC学習性に必要な条件と十分な条件を整合させることにより、量子測定クラスの学習可能性を特徴づける。
有限次元POVMクラスであっても、前処理におけるVC次元の一般化上界は、しばしば無限大であることが示される。
有限次元ヒルベルト空間上で定義されるすべての測定クラスがPAC学習可能であることを示す。
論文 参考訳（メタデータ） (2023-08-21T18:38:24Z) - Self-regulating Prompts: Foundational Model Adaptation without
Forgetting [112.66832145320434]
本稿では,PromptSRCと呼ばれる自己正規化フレームワークを提案する。
PromptSRCはタスク固有の汎用表現とタスクに依存しない汎用表現の両方に最適化するプロンプトを導く。
論文 参考訳（メタデータ） (2023-07-13T17:59:35Z) - ProTeCt: Prompt Tuning for Taxonomic Open Set Classification [59.59442518849203]
分類学的オープンセット(TOS)設定では、ほとんどショット適応法はうまくいきません。
本稿では,モデル予測の階層的一貫性を校正する即時チューニング手法を提案する。
次に,階層整合性のための新しいPrompt Tuning(ProTeCt)手法を提案し,ラベル集合の粒度を分類する。
論文 参考訳（メタデータ） (2023-06-04T02:55:25Z) - Which Features are Learnt by Contrastive Learning? On the Role of
Simplicity Bias in Class Collapse and Feature Suppression [59.97965005675144]
コントラスト学習(CL)は,ラベル管理の有無に関わらず,表現学習の強力な技術として登場した。
CLによって学習される特徴を判定する,理論的に厳密な最初の統合フレームワークを提供する。
本稿では,2つの理論的動機付けされた解として,埋め込み次元の増大とデータ拡張の質の向上について述べる。
論文 参考訳（メタデータ） (2023-05-25T23:37:22Z) - Decidability of Querying First-Order Theories via Countermodels of Finite Width [3.712362524473752]
本稿では,幅広い論理的包含問題の決定可能性を確立するための汎用的枠組みを提案する。
幅有限有限普遍モデル集合を示す論理を同定し、幅広い準同型クローズドクエリに対して決定可能なエンテーメントを保証する。
ルールの有限分割幅集合が、他の既知の抽象決定可能なクラスをサブスクライブするが、既存の成層概念を活用することにより、また、幅広い新しいルールセットをカバーしている。
論文 参考訳（メタデータ） (2023-04-13T08:57:17Z) - Discovering Useful Compact Sets of Sequential Rules in a Long Sequence [57.684967309375274]
COSSUは、小さな、意味のある一連の規則をマイニングするアルゴリズムである。
COSSUは、長いシーケンスから、関連するクローズド・シーケンシャル・ルールの集合を検索できることを示す。
論文 参考訳（メタデータ） (2021-09-15T18:25:18Z) - Binary Classification from Multiple Unlabeled Datasets via Surrogate Set
Classification [94.55805516167369]
我々は m 個の U 集合を $mge2$ で二進分類する新しい手法を提案する。
我々のキーとなる考え方は、サロゲート集合分類(SSC)と呼ばれる補助的分類タスクを考えることである。
論文 参考訳（メタデータ） (2021-02-01T07:36:38Z) - Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model
Theory [0.0]
従属型理論の構成的設定における有限一階満足度(FSAT)について検討する。
非論理的記号の1階のシグネチャによって、FSATの完全な分類を与える。
全ての結果は、合成不決定性証明の増大するCoqライブラリーの枠組みで機械化されている。
論文 参考訳（メタデータ） (2020-04-15T23:26:04Z) - The Limits of Efficiency for Open- and Closed-World Query Evaluation
Under Guarded TGDs [10.042878093985458]
制約が存在する場合のオントロジーによるクエリとクエリは2つの重要なデータベース問題である。
保護されたTGDとUCQのコンテキストにおける効率的なクエリ評価の限界を実際のクエリとして検討する。
論文 参考訳（メタデータ） (2019-12-28T11:08:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。