Fugu-MT 論文翻訳(概要): Logical foundations for hybrid type-logical grammars

論文の概要: Logical foundations for hybrid type-logical grammars

arxiv url: http://arxiv.org/abs/2009.10387v1
Date: Tue, 22 Sep 2020 08:26:14 GMT
ステータス: 処理完了
システム内更新日: 2022-10-15 22:52:07.748812
Title: Logical foundations for hybrid type-logical grammars
Title（参考訳）: ハイブリッド型論理文法の論理的基礎
Authors: Richard Moot (TEXTE, LIRMM, CNRS), Symon Stevens-Guille
Abstract要約: 本稿では,ハイブリッド型論理文法の証明論的側面について考察する。正規化や部分形式的性質などの計算の基本的な性質を証明している。本稿では,ハイブリッド型論理文法のシークエントと証明ネット計算について述べる。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes.
Abstract（参考訳）: 本稿では,Lambek文法とラムダ文法を組み合わせた論理であるハイブリッド型論理文法の証明論的側面について考察する。正規化や部分形式特性などの計算の基本的な性質を証明し、ハイブリッド型論理文法のシーケントおよび証明ネット計算も提示する。ハイブリッド型論理文法の論理的な基礎を明らかにすることに加えて,本研究では,非連想バージョンと構造規則とユニタリモードを組み込んだマルチモーダルバージョンを含む,元のシステムの変種や拡張への道を開く。

関連論文リスト

Conjunctive categorial grammars and Lambek grammars with additives [49.1574468325115]
基本分類文法を結合操作で強化することにより,新しい分類文法群が提案される。また、連結な圏文法はランベック計算に自然に結合および共役演算と共役演算を組み込むことが示されている。
論文参考訳（メタデータ） (2024-05-26T18:53:56Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文参考訳（メタデータ） (2023-06-29T18:35:41Z)
Hierarchical Phrase-based Sequence-to-Sequence Learning [94.10257313923478]
本稿では、学習中の帰納バイアスの源として階層的フレーズを取り入れ、推論中の明示的な制約として、標準的なシーケンス・ツー・シーケンス(seq2seq)モデルの柔軟性を維持するニューラルトランスデューサについて述べる。本手法では,木が原文と対象句を階層的に整列するブラケット文法に基づく識別的導出法と,整列した句を1対1で翻訳するニューラルネットワークセク2セックモデルという2つのモデルを訓練する。
論文参考訳（メタデータ） (2022-11-15T05:22:40Z)
The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding [65.34601470417967]
本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
論文参考訳（メタデータ） (2022-09-16T09:00:49Z)
Compositional Generalization Requires Compositional Parsers [69.77216620997305]
直近のCOGSコーパスにおける構成原理によって導かれるシーケンス・ツー・シーケンスモデルとモデルを比較した。構造一般化は構成一般化の重要な尺度であり、複雑な構造を認識するモデルを必要とする。
論文参考訳（メタデータ） (2022-02-24T07:36:35Z)
First order linear logic and tensor type calculus for categorial grammars [0.0]
一階乗算線形論理(MLL1)と拡張テンソル型計算(ETTC)の関係について検討する。我々は、多くの文法表現に十分と思われるMLL1の断片を特定し、ETTCとこの断片との対応を確立する。
論文参考訳（メタデータ） (2021-12-31T00:35:48Z)
Refining Labelled Systems for Modal and Constructive Logics with Applications [0.0]
この論文は、モーダル論理や構成論理のセマンティクスを「経済的な」証明システムに変換する手段として機能する。精製法は、ラベル付きおよびネストされたシーケント計算の2つの証明理論パラダイムを結合する。導入された洗練されたラベル付き電卓は、デオン性STIT論理に対する最初の証明探索アルゴリズムを提供するために使用される。
論文参考訳（メタデータ） (2021-07-30T08:27:15Z)
Cobordisms and commutative categorial grammars [0.0]
本稿では,単語コボルディズムや単語コボルディズムのカテゴリにおける抽象的分類文法の具体的表面表現を提案する。また,コボルディズムを直接ベースとした線形論理文法を導入,研究し,古典的乗法的線形論理をタイピングシステムとして用いた。
論文参考訳（メタデータ） (2021-07-19T09:55:21Z)
The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus [0.0]
ランベク・グリシン計算に基づく木に隣接した言語の証明論的特徴付けを行う。純粋に構造的な結合性、有用性、HLGの証明ネットに関するグラフ理論的議論など、いくつかの新しい手法が証明に導入されている。
論文参考訳（メタデータ） (2021-01-10T22:28:05Z)
Montague Grammar Induction [4.321645312120979]
このフレームワークは、帰納文法が従うべき仮定について、アナリストにきめ細かい制御を提供する。本稿では,s(emantic)-selectionとc(ategory)-selectionの関係に着目し,レキシコンスケールの受容可能性判定データセットを入力として利用する。
論文参考訳（メタデータ） (2020-10-15T23:25:01Z)

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