論文の概要: Model-theoretic Characterizations of Existential Rule Languages
- arxiv url: http://arxiv.org/abs/2001.08688v1
- Date: Thu, 23 Jan 2020 17:29:18 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-07 13:22:26.673423
- Title: Model-theoretic Characterizations of Existential Rule Languages
- Title(参考訳): 実存規則言語のモデル理論的特徴付け
- Authors: Heng Zhang, Yan Zhang, Guifei Jiang
- Abstract要約: 既存のルール、すなわちデータベースへの依存は、コンピュータ科学や人工知能で広く使われている重要な論理言語群である。
本稿では, 既存ルール言語(例えば, 分割型) 組み込み依存性, 依存関係の生成 (TGD) , フェデリアガード付きTGD, 線形TGDなど) について, モデル理論的特徴付けを行う。
これらの特徴付けの自然な応用として、上記の言語の書き換え可能性に関する複雑性境界も同定される。
- 参考スコア(独自算出の注目度): 9.845164265154832
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Existential rules, a.k.a. dependencies in databases, and Datalog+/- in
knowledge representation and reasoning recently, are a family of important
logical languages widely used in computer science and artificial intelligence.
Towards a deep understanding of these languages in model theory, we establish
model-theoretic characterizations for a number of existential rule languages
such as (disjunctive) embedded dependencies, tuple-generating dependencies
(TGDs), (frontier-)guarded TGDs and linear TGDs. All these characterizations
hold for arbitrary structures, and most of them also work on the class of
finite structures. As a natural application of these characterizations,
complexity bounds for the rewritability of above languages are also identified.
- Abstract(参考訳): 既存のルール、すなわちデータベースへの依存、知識表現と推論におけるDatalog+/-は、コンピュータ科学や人工知能で広く使われている重要な論理言語群である。
モデル理論におけるこれらの言語を深く理解するために, モデル理論を用いて, 組込み依存, タプル生成依存性 (TGD) , フロントガード付きTGD, 線形TGDなど, 多数の実存規則言語に対するモデル理論的特徴付けを確立する。
これらの特徴づけはすべて任意の構造を持ち、そのほとんどは有限構造のクラスにも作用する。
これらのキャラクタリゼーションの自然な応用として、上記の言語の可逆性に対する複雑性境界も特定される。
関連論文リスト
- NLAS-multi: A Multilingual Corpus of Automatically Generated Natural
Language Argumentation Schemes [4.015890309289342]
本稿では,異なるトピックや言語における自然言語引数の自動生成のための効果的な方法論を提案する。
また、議論スキームの自動識別のための一組のソリッドベースラインと微調整モデルも提示する。
論文 参考訳(メタデータ) (2024-02-22T11:31:50Z) - Probing Structured Semantics Understanding and Generation of Language
Models via Question Answering [56.610044062739256]
本研究では,人間が構築した形式言語を用いて質問応答のタスクにおいて,大規模言語モデルが構造化意味論に対処する能力について検討する。
異なる大きさのモデルと異なる形式言語を用いた実験は、今日の最先端のLLMの論理形式に対する理解が全体的な人間レベルにアプローチできることを示している。
結果は、モデルが異なる形式言語にかなり敏感であることを示している。
論文 参考訳(メタデータ) (2024-01-11T09:27:50Z) - Formal Aspects of Language Modeling [79.5645409889761]
大規模言語モデルは最も一般的なNLP発明の1つとなっている。
これらのノートは、ETH Z "urich course on large language model" の理論的部分の伴奏である。
論文 参考訳(メタデータ) (2023-11-07T20:21:42Z) - Language Models as Inductive Reasoners [125.99461874008703]
本稿では,帰納的推論のための新しいパラダイム(タスク)を提案し,自然言語の事実から自然言語規則を誘導する。
タスクのための1.2kルールファクトペアを含むデータセットDEERを作成し,ルールと事実を自然言語で記述する。
我々は、事前訓練された言語モデルが自然言語の事実から自然言語規則をいかに誘導できるかを、初めてかつ包括的な分析を行う。
論文 参考訳(メタデータ) (2022-12-21T11:12:14Z) - Semantic Role Labeling Meets Definition Modeling: Using Natural Language
to Describe Predicate-Argument Structures [104.32063681736349]
本稿では,離散ラベルの代わりに自然言語定義を用いて述語-代名詞構造を記述する手法を提案する。
PropBankスタイルおよびFrameNetスタイル、依存性ベースおよびスパンベースSRLに関する実験と分析は、解釈可能な出力を持つフレキシブルモデルが必ずしも性能を犠牲にしないことを示す。
論文 参考訳(メタデータ) (2022-12-02T11:19:16Z) - Formal Specifications from Natural Language [3.1806743741013657]
本稿では,自然言語を複雑な意味を持つ形式仕様に翻訳する言語モデルについて検討する。
特に、構造化英語文からなる3つのデータセット上で、オフザシェルフ言語モデルを微調整する。
論文 参考訳(メタデータ) (2022-06-04T10:49:30Z) - Characterizing the Program Expressive Power of Existential Rule
Languages [4.38078043834754]
既存のルール言語は、in-mediated query answering (OMQA)で広く使われている。
プログラム表現力として知られるOMQAのドメイン知識を表現する表現力はまだ十分に理解されていない。
本稿では,いくつかの重要なルール言語のプログラム表現力について,新しい特徴を多数確立する。
論文 参考訳(メタデータ) (2021-12-15T14:08:38Z) - Modelling Compositionality and Structure Dependence in Natural Language [0.12183405753834563]
言語学と集合論に基づいて、これらの概念の形式化がこの論文の前半で述べられている。
言語処理を行う認知システムは,特定の機能的制約を持つ必要がある。
単語埋め込み技術の進歩を利用して、関係学習のモデルがシミュレートされる。
論文 参考訳(メタデータ) (2020-11-22T17:28:50Z) - Linguistic Typology Features from Text: Inferring the Sparse Features of
World Atlas of Language Structures [73.06435180872293]
我々は、バイト埋め込みと畳み込み層に基づく繰り返しニューラルネットワーク予測器を構築する。
様々な言語型の特徴を確実に予測できることを示す。
論文 参考訳(メタデータ) (2020-04-30T21:00:53Z) - Evaluating Transformer-Based Multilingual Text Classification [55.53547556060537]
我々は,NLPツールが構文的・形態学的に異なる言語で不平等に機能すると主張している。
実験研究を支援するために,単語順と形態的類似度指標を算出した。
論文 参考訳(メタデータ) (2020-04-29T03:34:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。