Fugu-MT 論文翻訳(概要): Making first order linear logic a generating grammar

論文の概要: Making first order linear logic a generating grammar

arxiv url: http://arxiv.org/abs/2206.08955v1
Date: Fri, 17 Jun 2022 18:11:34 GMT
ステータス: 処理完了
システム内更新日: 2022-06-26 21:19:27.551091
Title: Making first order linear logic a generating grammar
Title（参考訳）: 一階線形論理を生成文法とする
Authors: Sergey Slavnov
Abstract要約: 興味の断片は、最近導入された拡張テンソル型計算と等価であることを示す。これは前者に対して、いくつかの代替構文と直観的幾何学的表現を提供するが、本質的な推論システムも備えており、それは欠落している。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic. We show that the fragment of interest is equivalent to the recently introduced {\it extended tensor type calculus}. This provides the former not only with some alternative syntax and intuitive geometric representation, but also with an intrinsic deductive system, which has been absent.
Abstract（参考訳）: 異なる分類文法は、一階乗算線形論理の断片において表面表現を持つことが知られている。興味の断片は、最近導入された拡張テンソル型計算と等価であることを示す。これは前者に対して、いくつかの代替構文と直観的幾何学的表現を提供するだけでなく、本質的な推論システムも提供する。

関連論文リスト

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)
On the Origins of Linear Representations in Large Language Models [51.88404605700344]
我々は,次のトークン予測の概念力学を定式化するために,単純な潜在変数モデルを導入する。実験により、潜在変数モデルと一致するデータから学習すると線形表現が現れることが示された。また、LLaMA-2大言語モデルを用いて、理論のいくつかの予測を検証した。
論文参考訳（メタデータ） (2024-03-06T17:17:36Z)
Linearity of Relation Decoding in Transformer Language Models [82.47019600662874]
トランスフォーマー言語モデル(LM)で符号化された知識の多くは、関係性の観点から表現することができる。関係のサブセットに対して、この計算は対象表現上の1つの線形変換によってよく近似されることを示す。
論文参考訳（メタデータ） (2023-08-17T17:59:19Z)
Isotropic Gaussian Processes on Finite Spaces of Graphs [71.26737403006778]
種々の非重み付きグラフの集合上でガウス過程の先行を定義するための原理的手法を提案する。さらに、未重み付きグラフの同値類の集合を検討し、それに対する事前の適切なバージョンを定義する。化学の応用に触発されて、我々は、小データ構造における実際の分子特性予測タスクについて、提案手法を解説した。
論文参考訳（メタデータ） (2022-11-03T10:18:17Z)
Learning First-Order Rules with Differentiable Logic Program Semantics [12.360002779872373]
微分型一階規則学習者(DFOL)と呼ばれる微分型帰納的論理プログラミングモデルを導入する。 DFOLは、LPの解釈可能な行列表現を探索することにより、関係事実から正しいLPを見つける。実験結果から,DFOLは精度が高く,堅牢で,スケーラブルで,安価で微分可能なICPモデルであることが示唆された。
論文参考訳（メタデータ） (2022-04-28T15:33:43Z)
First order linear logic and tensor type calculus for categorial grammars [0.0]
一階乗算線形論理(MLL1)と拡張テンソル型計算(ETTC)の関係について検討する。我々は、多くの文法表現に十分と思われるMLL1の断片を特定し、ETTCとこの断片との対応を確立する。
論文参考訳（メタデータ） (2021-12-31T00:35:48Z)
A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing [75.36126971685034]
我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
論文参考訳（メタデータ） (2020-10-23T21:22:50Z)
Neural Proof Nets [0.8379286663107844]
本稿では,Sinkhorn ネットワークをベースとした証明ネットのニューラルバリアントを提案する。 AEThelでは,テキスト文の正しい書き起こしを線形ラムダ計算の証明や用語として70%の精度で行うことができる。
論文参考訳（メタデータ） (2020-09-26T22:48:47Z)
On embedding Lambek calculus into commutative categorial grammars [0.0]
我々は、古典的(直観主義的ではなく)線形論理に基づく「可換」文法の例であるテンソル文法を考える。基本的な要素はテンソル項であり、証明ネットの符号化と一般化と見なすことができる。
論文参考訳（メタデータ） (2020-05-20T14:08:56Z)
Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires Cat\'egorielles Abstraites [0.0]
このインターンシップレポートは、すべてのランベク文法が抽象カテゴリー文法(ACG)で完全にではなく効率的に表現できることを示すものである。主な考え方は、LGの型書き換えシステムを文脈自由文法(CFG)に変換し、導入規則と除去規則を消去し、カット規則が十分であるように十分な公理を生成することである。基礎となるアルゴリズムは完全には実装されなかったが、この証明は自然言語処理におけるACGの関連性を支持する別の議論を提供する。
論文参考訳（メタデータ） (2020-01-23T18:23:03Z)

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