Fugu-MT 論文翻訳(概要): Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

論文の概要: Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

arxiv url: http://arxiv.org/abs/2307.08481v2
Date: Tue, 18 Jul 2023 09:00:52 GMT
ステータス: 処理完了
システム内更新日: 2023-07-19 11:21:14.578174
Title: Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
Title（参考訳）: 決定可能存在規則集合の導出グラフに基づくキャラクタリゼーション
Authors: Tim S. Lyon and Sebastian Rudolph
Abstract要約: 我々は、greedy bounded-treewidth set (gbts) と、弱 gbts (wgbts) と呼ばれる新しい一般化された変種を考える。我々は、wgbtsやwcdgsと同様に、gbtsとcdgsが一致することを示すために、精巧な証明理論の議論を用いる。
参考スコア（独自算出の注目度）: 2.055949720959582
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper establishes alternative characterizations of very expressive classes of existential rule sets with decidable query entailment. We consider the notable class of greedy bounded-treewidth sets (gbts) and a new, generalized variant, called weakly gbts (wgbts). Revisiting and building on the notion of derivation graphs, we define (weakly) cycle-free derivation graph sets ((w)cdgs) and employ elaborate proof-theoretic arguments to obtain that gbts and cdgs coincide, as do wgbts and wcdgs. These novel characterizations advance our analytic proof-theoretic understanding of existential rules and will likely be instrumental in practice.
Abstract（参考訳）: 本稿では,決定可能な問合せを伴う存在規則集合の表現的クラスに対する代替的特徴付けについて述べる。我々は、グリーディ有界木幅集合 (gbts) の顕著なクラスと、弱 gbts (wgbts) と呼ばれる新しい一般化された変種を考える。導出グラフの概念を再検討して構築し、(弱)サイクル自由導出グラフ集合 ((w)cdgs) を定義し、gbts と cdgs が一致することを示すための精巧な証明理論の議論を wgbts と wcdgs と同様に求める。これらの新しい特徴付けは,実存規則の分析的証明論的理解を前進させ,実際に有用である可能性が高い。

関連論文リスト

Nonparametric Partial Disentanglement via Mechanism Sparsity: Sparse Actions, Interventions and Sparse Temporal Dependencies [58.179981892921056]
この研究は、メカニズムのスパーシティ正則化(英語版)と呼ばれる、アンタングルメントの新たな原理を導入する。本稿では,潜在要因を同時に学習することで,絡み合いを誘発する表現学習手法を提案する。学習した因果グラフをスパースに規則化することにより、潜伏因子を復元できることを示す。
論文参考訳（メタデータ） (2024-01-10T02:38:21Z)
From the One, Judge of the Whole: Typed Entailment Graph Construction with Predicate Generation [69.91691115264132]
Entailment Graphs (EG) は、自然言語における文脈に依存しないentailment関係を示すために構築される。本稿では,この問題に対処する多段階型述語グラフ生成器(TP-EGG)を提案する。ベンチマークデータセットの実験では、TP-EGGは高品質でスケール制御可能なエンターメントグラフを生成することができる。
論文参考訳（メタデータ） (2023-06-07T05:46:19Z)
OrthoReg: Improving Graph-regularized MLPs via Orthogonality Regularization [66.30021126251725]
グラフニューラルネットワーク(GNN)は現在、グラフ構造データのモデリングにおいて支配的である。グラフ正規化ネットワーク(GR-MLP)はグラフ構造情報をモデル重みに暗黙的に注入するが、その性能はほとんどのタスクにおいてGNNとほとんど一致しない。 GR-MLPは,最大数個の固有値が埋め込み空間を支配する現象である次元崩壊に苦しむことを示す。次元崩壊問題を緩和する新しいGR-MLPモデルであるOrthoRegを提案する。
論文参考訳（メタデータ） (2023-01-31T21:20:48Z)
On the Foundations of Cycles in Bayesian Networks [4.312746668772342]
本稿では,サイクルフリー設定を包括的かつ保守的に拡張したサイクリックBNのセマンティクスに関する基礎的研究を行う。まず, BN上の完全関節分布の要件を局所的条件付き確率と独立性に整合させる制約に基づく意味論を提案する。第二に、無限展開アプローチを形式化する2種類の極限意味論を導入し、マルコフ連鎖の構成によって計算可能であることを示した。
論文参考訳（メタデータ） (2023-01-20T14:40:17Z)
Partial Disentanglement via Mechanism Sparsity [25.791043728989937]
メカニズムの疎性による絡み合いは、監督なしで潜伏要因を抽出する原則的アプローチとして導入された。我々は、この理論の一般化を導入し、任意の基底真実グラフに適用する。我々は、一貫性と呼ばれるモデルに対する新しい同値関係を通じて、学習された表現がいかに無関係になるかを示す。
論文参考訳（メタデータ） (2022-07-15T20:06:12Z)
Granular Generalized Variable Precision Rough Sets and Rational Approximations [0.24366811507669117]
VPRSの手順による粒界近似は、ある条件下で古典的な視点から構築されたものよりも合理的である可能性が高い。クラスタ検証、イメージセグメンテーション、動的ソートのためのメタ応用が発明されている。
論文参考訳（メタデータ） (2022-05-28T08:08:26Z)
BCD Nets: Scalable Variational Approaches for Bayesian Causal Discovery [97.79015388276483]
構造方程式モデル(SEM)は、有向非巡回グラフ(DAG)を介して表される因果関係を推論する効果的な枠組みである。近年の進歩により、観測データからDAGの有効最大点推定が可能となった。線形ガウス SEM を特徴付ける DAG 上の分布を推定するための変分フレームワークである BCD Nets を提案する。
論文参考訳（メタデータ） (2021-12-06T03:35:21Z)
Fuzzy Conceptual Graphs: a comparative discussion [0.0]
概念グラフ (conceptual Graphs, CG) は、グラフに基づく知識表現と推論形式である。ファジィグラフ(ファジィグラフ、英: fuzzy Graphs、fCG)は、ファジィ集合論を利用して、それらの制約を様々なレベルで緩和する拡張である。本稿では,それぞれの利点と限界について,既存のアプローチの比較研究を提案する。
論文参考訳（メタデータ） (2021-10-26T14:35:50Z)
GroupifyVAE: from Group-based Definition to VAE-based Unsupervised Representation Disentanglement [91.9003001845855]
他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
論文参考訳（メタデータ） (2021-02-20T09:49:51Z)
A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing [75.36126971685034]
我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
論文参考訳（メタデータ） (2020-10-23T21:22:50Z)

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