Fugu-MT 論文翻訳(概要): First order linear logic and tensor type calculus for categorial grammars

論文の概要: First order linear logic and tensor type calculus for categorial grammars

arxiv url: http://arxiv.org/abs/2112.15253v1
Date: Fri, 31 Dec 2021 00:35:48 GMT
ステータス: 処理完了
システム内更新日: 2022-01-03 23:22:00.090368
Title: First order linear logic and tensor type calculus for categorial grammars
Title（参考訳）: 分類文法のための一階線形論理とテンソル型計算
Authors: Sergey Slavnov
Abstract要約: 一階乗算線形論理(MLL1)と拡張テンソル型計算(ETTC)の関係について検討する。我々は、多くの文法表現に十分と思われるMLL1の断片を特定し、ETTCとこの断片との対応を確立する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently introduced extended tensor type calculus (ETTC). We identify a fragment of MLL1, which seems sufficient for many grammar representations, and establish a correspondence between ETTC and this fragment. The system ETTC, thus, can be seen as an alternative syntax and intrinsic deductive system together with a geometric representation for the latter. We also give a natural deduction formulation of ETTC, which might be convenient.
Abstract（参考訳）: 異なる分類文法の表現を提供することで知られている一階乗法線形論理(mll1)と最近導入された拡張テンソル型計算(ettc)との関係について検討した。我々は、多くの文法表現に十分と思われるMLL1の断片を特定し、ETTCとこの断片との対応を確立する。したがって、システム ettc は、後者の幾何学的表現とともに、代替構文と本質的帰納的システムと見なすことができる。また、ettc の自然な推論式も与えており、これは便利かもしれない。

関連論文リスト

Understanding Matrix Function Normalizations in Covariance Pooling through the Lens of Riemannian Geometry [63.694184882697435]
グローバル共分散プーリング(GCP)は、高レベルの表現の2階統計を利用して、ディープニューラルネットワーク(DNN)の性能を向上させることが実証されている。
論文参考訳（メタデータ） (2024-07-15T07:11:44Z)
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
論文参考訳（メタデータ） (2024-06-20T10:59:02Z)
Linearity of Relation Decoding in Transformer Language Models [82.47019600662874]
トランスフォーマー言語モデル(LM)で符号化された知識の多くは、関係性の観点から表現することができる。関係のサブセットに対して、この計算は対象表現上の1つの線形変換によってよく近似されることを示す。
論文参考訳（メタデータ） (2023-08-17T17:59:19Z)
Making first order linear logic a generating grammar [0.0]
異なる分類文法が一階乗法線形論理(MLL1)の断片において表面表現を持つことが知られている。興味の断片は、最近導入された拡張型電卓(ETTC)と等価であることを示す。
論文参考訳（メタデータ） (2022-06-17T18:11:34Z)
Learning First-Order Rules with Differentiable Logic Program Semantics [12.360002779872373]
微分型一階規則学習者(DFOL)と呼ばれる微分型帰納的論理プログラミングモデルを導入する。 DFOLは、LPの解釈可能な行列表現を探索することにより、関係事実から正しいLPを見つける。実験結果から,DFOLは精度が高く,堅牢で,スケーラブルで,安価で微分可能なICPモデルであることが示唆された。
論文参考訳（メタデータ） (2022-04-28T15:33:43Z)
Cobordisms and commutative categorial grammars [0.0]
本稿では,単語コボルディズムや単語コボルディズムのカテゴリにおける抽象的分類文法の具体的表面表現を提案する。また,コボルディズムを直接ベースとした線形論理文法を導入,研究し,古典的乗法的線形論理をタイピングシステムとして用いた。
論文参考訳（メタデータ） (2021-07-19T09:55:21Z)
Structured Reordering for Modeling Latent Alignments in Sequence Transduction [86.94309120789396]
本稿では,分離可能な置換の辺りを正確に推定する効率的な動的プログラミングアルゴリズムを提案する。結果のSeq2seqモデルは、合成問題やNLPタスクの標準モデルよりも体系的な一般化が優れている。
論文参考訳（メタデータ） (2021-06-06T21:53:54Z)
A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing [75.36126971685034]
我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
論文参考訳（メタデータ） (2020-10-23T21:22:50Z)
Montague Grammar Induction [4.321645312120979]
このフレームワークは、帰納文法が従うべき仮定について、アナリストにきめ細かい制御を提供する。本稿では,s(emantic)-selectionとc(ategory)-selectionの関係に着目し,レキシコンスケールの受容可能性判定データセットを入力として利用する。
論文参考訳（メタデータ） (2020-10-15T23:25:01Z)
Logical foundations for hybrid type-logical grammars [0.0]
本稿では,ハイブリッド型論理文法の証明論的側面について考察する。正規化や部分形式的性質などの計算の基本的な性質を証明している。本稿では,ハイブリッド型論理文法のシークエントと証明ネット計算について述べる。
論文参考訳（メタデータ） (2020-09-22T08:26:14Z)
Generative Language Modeling for Automated Theorem Proving [94.01137612934842]
この研究は、自動定理プロバーの人間に対する大きな制限が言語モデルから生成することで対処できる可能性によって動機づけられている。本稿ではメタマス形式化言語のための自動証明と証明アシスタント GPT-f を提案し,その性能を解析する。
論文参考訳（メタデータ） (2020-09-07T19:50:10Z)

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