論文の概要: Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires
Cat\'egorielles Abstraites
- arxiv url: http://arxiv.org/abs/2002.00725v1
- Date: Thu, 23 Jan 2020 18:23:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-07 13:13:29.759295
- Title: Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires
Cat\'egorielles Abstraites
- Title（参考訳）: ランベック・ダンズ・ル・グラミエール・デ・グラミエール・デ・グラミエール・キャット・グレゴリウス・アブストライト
- Authors: Valentin D. Richard
- Abstract要約: このインターンシップレポートは、すべてのランベク文法が抽象カテゴリー文法(ACG)で完全にではなく効率的に表現できることを示すものである。
主な考え方は、LGの型書き換えシステムを文脈自由文法(CFG)に変換し、導入規則と除去規則を消去し、カット規則が十分であるように十分な公理を生成することである。
基礎となるアルゴリズムは完全には実装されなかったが、この証明は自然言語処理におけるACGの関連性を支持する別の議論を提供する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Lambek Grammars (LG) are a computational modelling of natural language, based
on non-commutative compositional types. It has been widely studied, especially
for languages where the syntax plays a major role (like English). The goal of
this internship report is to demonstrate that every Lambek Grammar can be, not
entirely but efficiently, expressed in Abstract Categorial Grammars (ACG). The
latter is a novel modelling based on higher-order signature homomorphisms
(using $\lambda$-calculus), aiming at uniting the currently used models. The
main idea is to transform the type rewriting system of LGs into that of
Context-Free Grammars (CFG) by erasing introduction and elimination rules and
generating enough axioms so that the cut rule suffices. This iterative approach
preserves the derivations and enables us to stop the possible infinite
generative process at any step. Although the underlying algorithm was not fully
implemented, this proof provides another argument in favour of the relevance of
ACGs in Natural Language Processing.
- Abstract（参考訳）: Lambek Grammars (LG) は、非可換な構成型に基づく自然言語の計算モデルである。
特に文法が(英語のような)主要な役割を果たす言語について広く研究されている。
このインターンシップレポートの目標は、すべてのランベク文法が、完全にではなく効率的に抽象カテゴリー文法(ACG)で表現できることを示すことである。
後者は($\lambda$-calculus を使って)高階シグネチャ準同型に基づく新しいモデリングであり、現在使われているモデルを統合することを目的としている。
主な考え方は、LGの型書き換えシステムを文脈自由文法(CFG)に変換し、導入規則と除去規則を消去し、カット規則が十分であるように十分な公理を生成することである。
この反復的アプローチは導出を保ち、任意のステップで可能な無限生成プロセスを止めることができる。
基礎となるアルゴリズムは完全には実装されなかったが、この証明は自然言語処理におけるACGの関連性を支持する別の議論を提供する。
関連論文リスト
- Authorship Verification based on the Likelihood Ratio of Grammar Models [0.8749675983608172]
著者検証(英語: Authorship Verification、AV)とは、特定の著者によって書かれたかどうかを判断する一連の文書を分析するプロセスである。
我々は、$lambda_G$ (LambdaG) と呼ぶ量を計算する方法を提案する。
トレーニングに大量のデータを必要としないにも関わらず、LambdaGは計算複雑性の高い既存のAVメソッドよりも優れています。
論文 参考訳（メタデータ） (2024-03-13T12:25:47Z) - Lexinvariant Language Models [84.2829117441298]
離散語彙記号から連続ベクトルへの写像であるトークン埋め込みは、任意の言語モデル(LM)の中心にある
我々は、語彙記号に不変であり、したがって実際に固定トークン埋め込みを必要としないテクスチトレキシン変種モデルについて研究する。
十分長い文脈を条件として,レキシン変項LMは標準言語モデルに匹敵する難易度が得られることを示す。
論文 参考訳（メタデータ） (2023-05-24T19:10:46Z) - Physics of Language Models: Part 1, Learning Hierarchical Language Structures [51.68385617116854]
トランスフォーマーベースの言語モデルは効率的だが複雑であり、内部動作を理解することは大きな課題である。
本稿では,長文を生成可能な階層規則を生成する合成CFGのファミリーを紹介する。
我々は、GPTのような生成モデルがこのCFG言語を正確に学習し、それに基づいて文を生成することを実証する。
論文 参考訳（メタデータ） (2023-05-23T04:28:16Z) - Language Models of Code are Few-Shot Commonsense Learners [106.1531522893209]
自然言語入力が与えられた場合、目標はイベントや推論グラフなどのグラフを生成することだ。
既存のアプローチは、出力グラフをノードとエッジのフラットリストとしてシリアライズする。
コード生成タスクとして構造化コモンセンス推論タスクをフレーム化する場合、事前学習されたコードLMは自然言語のLMよりも構造化コモンセンス推論タスクの方が優れていることを示す。
論文 参考訳（メタデータ） (2022-10-13T16:09:36Z) - Geometry-Aware Supertagging with Heterogeneous Dynamic Convolutions [0.7868449549351486]
グラフ理論の観点から構築的なスーパータグ付けを再考する。
異種動的グラフ畳み込みに基づくフレームワークを提案する。
我々は、異なる言語にまたがる多くの分類文法データセットに対して、アプローチを検証した。
論文 参考訳（メタデータ） (2022-03-23T07:07:11Z) - Rule Augmented Unsupervised Constituency Parsing [11.775897250472116]
本稿では,構文規則の形で存在する言語について,非常に汎用的な言語知識を活用するアプローチを提案する。
MNLIとWSJという2つのベンチマークデータセットで、最先端の新たな結果を得る。
論文 参考訳（メタデータ） (2021-05-21T08:06:11Z) - VLGrammar: Grounded Grammar Induction of Vision and Language [86.88273769411428]
共同学習枠組みにおける視覚と言語の基底文法誘導について検討する。
本稿では,複合確率文脈自由文法(pcfgs)を用いて言語文法と画像文法を同時に誘導する手法であるvlgrammarを提案する。
論文 参考訳（メタデータ） (2021-03-24T04:05:08Z) - Infusing Finetuning with Semantic Dependencies [62.37697048781823]
シンタックスとは異なり、セマンティクスは今日の事前訓練モデルによって表面化されないことを示す。
次に、畳み込みグラフエンコーダを使用して、タスク固有の微調整にセマンティック解析を明示的に組み込む。
論文 参考訳（メタデータ） (2020-12-10T01:27:24Z) - The Return of Lexical Dependencies: Neural Lexicalized PCFGs [103.41187595153652]
語彙化PCFGのニューラルモデルを提案する。
実験により、この統一されたフレームワークは、いずれかの形式主義単独で達成されるよりも、両方の表現に対してより強い結果をもたらすことが示された。
論文 参考訳（メタデータ） (2020-07-29T22:12:49Z) - On embedding Lambek calculus into commutative categorial grammars [0.0]
我々は、古典的(直観主義的ではなく)線形論理に基づく「可換」文法の例であるテンソル文法を考える。
基本的な要素はテンソル項であり、証明ネットの符号化と一般化と見なすことができる。
論文 参考訳（メタデータ） (2020-05-20T14:08:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。