論文の概要: Normalisations of Existential Rules: Not so Innocuous!

• arxiv url: http://arxiv.org/abs/2206.03124v1
• Date: Tue, 7 Jun 2022 09:01:56 GMT
• ステータス: 処理完了
• システム内更新日: 2022-06-08 14:20:38.286700
• Title: Normalisations of Existential Rules: Not so Innocuous!
• Title（参考訳）: 存在規則の正規化: それほど無害ではない!
• Authors: David Carral, Lucas Larroque, Marie-Laure Mugnier and Micha\"el Thomazo
• Abstract要約: 本研究では,既存のルールが追跡(非)終了とFO-rewritability(FO-rewritability)に与える影響について検討した。 これはまた、独立した関心の追跡終了に関連するオープンな問題の研究にも繋がる。
• 参考スコア（独自算出の注目度）: 7.260554897161947
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption is that rule heads are atomic, i.e., restricted to a single atom. Such assumptions are considered to be made without loss of generality as long as all sets of rules can be normalised while preserving entailment. However, an important question is whether the properties that ensure the decidability of reasoning are preserved as well. We provide a systematic study of the impact of these procedures on the different chase variants with respect to chase (non-)termination and FO-rewritability. This also leads us to study open problems related to chase termination of independent interest.
• Abstract（参考訳）: 存在規則は、主にデータ問い合わせのために開発された表現力のある知識表現言語である。 文学において、それらは技術開発を単純化する通常の形式であると考えられることが多い。 例えば、ルールヘッドは原子、すなわち単一の原子に制限されているという一般的な仮定がある。 このような仮定は、包含を保ちながら規則のすべての集合を正規化できる限り、一般性を失うことなくなされると考えられる。 しかし、重要な疑問は推論の決定可能性を保証する性質が保存されているかどうかである。 追跡(非破壊)とfo-rewritabilityに関する異なるチェイス変異に対するこれらの手順の影響を体系的に研究する。 これはまた、独立利害の追撃終了に関連するオープンな問題の研究にも繋がる。

関連論文リスト

• On Principles and Representations for Extended Contextuality [6.567540943027728]
  Dzhafarov と Kujala: 標準的な文脈性が拡張された文脈性が満たさない原理を満たすなら、その原理は表象の表象の選択に依存するため、非実体的でなければならない。 本論では, 存在原理が表現の変化の下でどのように表現を変化させるかを無視するなど, 議論に対するいくつかの反論を提起する。
  論文  参考訳（メタデータ） (2024-10-08T06:39:49Z)
• Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
  我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。 コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
  論文  参考訳（メタデータ） (2024-06-05T16:36:21Z)
• Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
  言語モデル(LM)は、しばしば帰納的推論に不足する。 我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。 本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
  論文  参考訳（メタデータ） (2023-10-12T17:51:10Z)
• Causality Inspired Representation Learning for Domain Generalization [47.574964496891404]
  本稿では、ドメイン一般化問題を形式化する一般的な構造因果モデルを提案する。 我々の目標は、入力から因果因子を抽出し、不変因果機構を再構築することである。 理想的な因果因子は、非因果的要因から分離され、共同独立であり、分類に十分な因果的要因である。
  論文  参考訳（メタデータ） (2022-03-27T08:08:33Z)
• Parallelisable Existential Rules: a Story of Pieces [2.20439695290991]
  実存則の並列化可能な集合を導入し、任意のインスタンスから単一の幅優先のステップでチェイスを計算できる。 並列化可能な規則集合は、追跡のために有界かつ新しいルールのクラスに属するような規則集合であることを示す。
  論文  参考訳（メタデータ） (2021-07-13T13:09:14Z)
• Invariance Principle Meets Information Bottleneck for Out-of-Distribution Generalization [77.24152933825238]
  線形分類タスクには分布シフトの強い制限が必要であり、そうでなければ OOD の一般化は不可能であることを示す。 不変な特徴がラベルに関するすべての情報をキャプチャし、そうでなければ既存の成功を保っている場合、情報ボトルネックの形式が重要な障害に対処するのに役立つことを証明します。
  論文  参考訳（メタデータ） (2021-06-11T20:42:27Z)
• Transitional Conditional Independence [0.0]
  遷移確率空間と遷移確率変数を紹介する。 これらの構造は(条件付き)ランダム変数と非確率変数の概念を一般化し、強化し、以前の概念である。
  論文  参考訳（メタデータ） (2021-04-23T11:52:15Z)
• Causal Expectation-Maximisation [70.45873402967297]
  ポリツリーグラフを特徴とするモデルにおいても因果推論はNPハードであることを示す。 我々は因果EMアルゴリズムを導入し、分類的表現変数のデータから潜伏変数の不確かさを再構築する。 我々は、反事実境界が構造方程式の知識なしにしばしば計算できるというトレンドのアイデアには、目立たずの制限があるように思える。
  論文  参考訳（メタデータ） (2020-11-04T10:25:13Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  より弱い仮定として, 2$-adjacency faithfulness を提案します。 より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
  論文  参考訳（メタデータ） (2020-10-27T13:04:08Z)
• Oblivious and Semi-Oblivious Boundedness for Existential Rules [5.875276459237496]
  正存在規則の文脈における有界性の概念について考察する。 難解なチェイス変種と半報知なチェイス変種に注意を集中させることで、有界性の特徴づけを与える。 ルールの集合が複数のクラスに束縛されているかどうかを判断し、問題の複雑さを概説することが決定可能であることを示す。
  論文  参考訳（メタデータ） (2020-06-15T15:18:57Z)
• Characterizing Boundedness in Chase Variants [1.7033055327465234]
  与えられた規則の集合に対する追跡の深さが整数 k で有界かどうかを問う k-有界性問題の決定可能性について検討する。 主な追尾変種は,その特性,すなわち,難読性,半報知性,制限された追尾性,および幅優先バージョンを満足することを示す。
  論文  参考訳（メタデータ） (2020-04-21T14:07:10Z)

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

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