論文の概要: Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)
- arxiv url: http://arxiv.org/abs/2311.17813v1
- Date: Wed, 29 Nov 2023 17:04:15 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-30 20:33:15.372689
- Title: Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)
- Title（参考訳）: 高階ディスコキャット(peirce-lambek-montague semantics)
- Authors: Alexis Toumi and Giovanni de Felice
- Abstract要約: 本稿では,高階DisCoCat(カテゴリー構成分布)モデルの新たな定義を提案する。
私たちのモデルは、プリミティブが論理式ではなく文字列図形に作用する計算に基づいて、モンタギュー意味論の変種と見なすことができる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We propose a new definition of higher-order DisCoCat (categorical
compositional distributional) models where the meaning of a word is not a
diagram, but a diagram-valued higher-order function. Our models can be seen as
a variant of Montague semantics based on a lambda calculus where the primitives
act on string diagrams rather than logical formulae. As a special case, we show
how to translate from the Lambek calculus into Peirce's system beta for
first-order logic. This allows us to give a purely diagrammatic treatment of
higher-order and non-linear processes in natural language semantics: adverbs,
prepositions, negation and quantifiers. The theoretical definition presented in
this article comes with a proof-of-concept implementation in DisCoPy, the
Python library for string diagrams.
- Abstract（参考訳）: 本稿では,単語の意味が図式ではなく,図式で評価された高階関数である高階DisCoCat(カテゴリー構成分布)モデルについて,新しい定義を提案する。
我々のモデルは、プリミティブが論理式ではなく文字列ダイアグラムに作用するラムダ計算に基づくモンタギュー意味論の変種と見なすことができる。
特別な場合として、ランベック計算から一階述語論理に対するパースのシステムベータへの変換方法を示す。
これにより、自然言語意味論(副詞、前置詞、否定詞、量化詞)において、高次および非線形のプロセスを純粋に図式的に扱うことができる。
本記事で示した理論的定義は、文字列ダイアグラム用のpythonライブラリであるdiscopyの概念実証実装に付属する。
関連論文リスト
- Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。
この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。
我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
論文 参考訳（メタデータ） (2023-10-23T04:35:58Z) - Hierarchical Phrase-based Sequence-to-Sequence Learning [94.10257313923478]
本稿では、学習中の帰納バイアスの源として階層的フレーズを取り入れ、推論中の明示的な制約として、標準的なシーケンス・ツー・シーケンス(seq2seq)モデルの柔軟性を維持するニューラルトランスデューサについて述べる。
本手法では,木が原文と対象句を階層的に整列するブラケット文法に基づく識別的導出法と,整列した句を1対1で翻訳するニューラルネットワークセク2セックモデルという2つのモデルを訓練する。
論文 参考訳（メタデータ） (2022-11-15T05:22:40Z) - Novel Ordering-based Approaches for Causal Structure Learning in the
Presence of Unobserved Variables [22.201414668050123]
我々は、構造学習のc-orderよりも有利なため、取り外し可能な順序(r-order)と呼ばれる新しい順序を提唱する。
実世界のネットワークとランダムに生成されたネットワークにおける提案手法の性能と拡張性を評価する。
論文 参考訳（メタデータ） (2022-08-14T23:09:55Z) - Few-Shot Semantic Parsing with Language Models Trained On Code [52.23355024995237]
Codexは同等のGPT-3モデルよりもセマンティックパーシングが優れていることがわかった。
GPT-3とは異なり、Codexは意味表現を直接ターゲットとする場合、おそらく意味解析で使われる意味表現がコードと似た構造になっているように、同じように機能する。
論文 参考訳（メタデータ） (2021-12-16T08:34:06Z) - Rationales for Sequential Predictions [117.93025782838123]
シーケンスモデルは現代のNLPシステムにおいて重要な要素であるが、それらの予測は説明が難しい。
モデル説明は有理だが、個々のモデル予測を説明できる文脈のサブセットを考える。
この目的を近似する効率的なグリードアルゴリズムを提案する。
論文 参考訳（メタデータ） (2021-09-14T01:25:15Z) - Superposition with Lambdas [59.87497175616048]
匿名関数を含むがブール関数を除いた拡張多型高階論理のクラスフラグメントに対する重ね合わせ計算を設計する。
推論ルールは$betaeta$-equivalence class of $lambda$-termsで動作し、難解な完全性を達成するために高階統一に依存する。
論文 参考訳（メタデータ） (2021-01-31T13:53:17Z) - On embedding Lambek calculus into commutative categorial grammars [0.0]
我々は、古典的(直観主義的ではなく)線形論理に基づく「可換」文法の例であるテンソル文法を考える。
基本的な要素はテンソル項であり、証明ネットの符号化と一般化と見なすことができる。
論文 参考訳（メタデータ） (2020-05-20T14:08:56Z) - Superposition for Lambda-Free Higher-Order Logic [62.997667081978825]
本稿では,意図的および拡張的クラス数$lambda$-free高階論理に対して,難解な完全重ね合わせ計算を導入する。
計算は完全単調でなくてもよい項順でパラメタ化され、$lambda$フリーの高次語彙パスとKnuth-Bendixの順序を使うことができる。
論文 参考訳（メタデータ） (2020-05-05T12:10:21Z) - Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires
Cat\'egorielles Abstraites [0.0]
このインターンシップレポートは、すべてのランベク文法が抽象カテゴリー文法(ACG)で完全にではなく効率的に表現できることを示すものである。
主な考え方は、LGの型書き換えシステムを文脈自由文法(CFG)に変換し、導入規則と除去規則を消去し、カット規則が十分であるように十分な公理を生成することである。
基礎となるアルゴリズムは完全には実装されなかったが、この証明は自然言語処理におけるACGの関連性を支持する別の議論を提供する。
論文 参考訳（メタデータ） (2020-01-23T18:23:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。