論文の概要: Conjunctive categorial grammars and Lambek grammars with additives

• arxiv url: http://arxiv.org/abs/2405.16662v1
• Date: Sun, 26 May 2024 18:53:56 GMT
• ステータス: 処理完了
• システム内更新日: 2024-05-28 19:58:15.979616
• Title: Conjunctive categorial grammars and Lambek grammars with additives
• Title（参考訳）: 加法をもつ連結圏文法とランベク文法
• Authors: Stepan L. Kuznetsov, Alexander Okhotin,
• Abstract要約: 基本分類文法を結合操作で強化することにより,新しい分類文法群が提案される。 また、連結な圏文法はランベック計算に自然に結合および共役演算と共役演算を組み込むことが示されている。
• 参考スコア（独自算出の注目度）: 49.1574468325115
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that is, context-free grammars enhanced with conjunction. It is also shown that categorial grammars with conjunction can be naturally embedded into the Lambek calculus with conjunction and disjunction operations. This further implies that a certain NP-complete set can be defined in the Lambek calculus with conjunction. We also show how to handle some subtle issues connected with the empty string. Finally, we prove that a language generated by a conjunctive grammar can be described by a Lambek grammar with disjunction (but without conjunction).
• Abstract（参考訳）: 基本分類文法を結合操作で強化することにより,新しい分類文法群が提案される。 この方法で得られる形式主義は、連結文法と同じ表現力、すなわち文脈自由文法と結合して拡張されることが証明された。 また、連結な圏文法はランベック計算に自然に結合および共役演算と共役演算を組み込むことが示されている。 これはさらに、あるNP完全集合がランベックの計算で同値に定義できることを示唆している。 また、空文字列に関連するいくつかの微妙な問題に対処する方法を示す。 最後に,連結文法が生成する言語は,(接続なしでは)解離したランベック文法で記述できることを証明した。

関連論文リスト

• Grammar Induction from Visual, Speech and Text [91.98797120799227]
  本研究は、新しい視覚音声テキスト文法誘導タスク(textbfVAT-GI)を導入する。 言語文法がテキストを超えて存在するという事実に触発されて、テキストは文法帰納において支配的なモダリティであってはならないと論じる。 そこで本稿では,豊富なモーダル特化機能と補完機能を有効文法解析に活用した,ビジュアル・オーディオ・テキスト・インサイド・アウトサイド・オートエンコーダ(textbfVaTiora)フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-10-01T02:24:18Z)
• Grammar Equations [0.0]
  本稿では,単語内の配線についても述べる。 これにより、等しいか、あるいは密接に関連していると思われる文法的構造を特定できる。 私たちは、単語の配線が事前注文されたモノイドには意味がないという事実に対して、ノーゴ理論を与えます。
  論文  参考訳（メタデータ） (2021-06-14T15:16:09Z)
• VLGrammar: Grounded Grammar Induction of Vision and Language [86.88273769411428]
  共同学習枠組みにおける視覚と言語の基底文法誘導について検討する。 本稿では,複合確率文脈自由文法(pcfgs)を用いて言語文法と画像文法を同時に誘導する手法であるvlgrammarを提案する。
  論文  参考訳（メタデータ） (2021-03-24T04:05:08Z)
• The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus [0.0]
  ランベク・グリシン計算に基づく木に隣接した言語の証明論的特徴付けを行う。 純粋に構造的な結合性、有用性、HLGの証明ネットに関するグラフ理論的議論など、いくつかの新しい手法が証明に導入されている。
  論文  参考訳（メタデータ） (2021-01-10T22:28:05Z)
• Lexically-constrained Text Generation through Commonsense Knowledge Extraction and Injection [62.071938098215085]
  我々は、ある入力概念のセットに対して妥当な文を生成することを目的としているcommongenベンチマークに焦点を当てる。 生成したテキストの意味的正しさを高めるための戦略を提案する。
  論文  参考訳（メタデータ） (2020-12-19T23:23:40Z)
• ConjNLI: Natural Language Inference Over Conjunctive Sentences [89.50542552451368]
  連接文における連接関係の推論は、連接関係のより深い理解にとって重要である。 既存のNLIストレステストでは、結合の非ブール的使用は考慮されていない。 本稿では,接続文に対する自然言語推論のためのストレステストであるConjNLIを紹介する。
  論文  参考訳（メタデータ） (2020-10-20T16:29:13Z)
• 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)
• Syn-QG: Syntactic and Shallow Semantic Rules for Question Generation [49.671882751569534]
  我々は、宣言文を質問応答対に変換する透明な統語規則であるSynQGを開発した。 PropBankの引数記述とVerbNet状態述語を利用して、浅いセマンティックコンテンツを組み込む。 文法的不正確な質問を排除し,構文の流布性を改善するために,これらの構文規則のアウトプットを逆翻訳する。
  論文  参考訳（メタデータ） (2020-04-18T19:57:39Z)
• Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires Cat\'egorielles Abstraites [0.0]
  このインターンシップレポートは、すべてのランベク文法が抽象カテゴリー文法(ACG)で完全にではなく効率的に表現できることを示すものである。 主な考え方は、LGの型書き換えシステムを文脈自由文法(CFG)に変換し、導入規則と除去規則を消去し、カット規則が十分であるように十分な公理を生成することである。 基礎となるアルゴリズムは完全には実装されなかったが、この証明は自然言語処理におけるACGの関連性を支持する別の議論を提供する。
  論文  参考訳（メタデータ） (2020-01-23T18:23:03Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。