論文の概要: A dependently-typed calculus of event telicity and culminativity

• arxiv url: http://arxiv.org/abs/2506.06968v1
• Date: Sun, 08 Jun 2025 02:14:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-10 16:33:10.59065
• Title: A dependently-typed calculus of event telicity and culminativity
• Title（参考訳）: 事象の重心性および卓越性の依存型計算法
• Authors: Pavel Kovalev, Carlo Angiuli,
• Abstract要約: 本報告では, 事象の重大性と有意性を分析するために, 依存型クロス言語的枠組みを提案する。 英語の文をモデル化するためのフレームワークの例を示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present a dependently-typed cross-linguistic framework for analyzing the telicity and culminativity of events, accompanied by examples of using our framework to model English sentences. Our framework consists of two parts. In the nominal domain, we model the boundedness of noun phrases and its relationship to subtyping, delimited quantities, and adjectival modification. In the verbal domain we define a dependent event calculus, modeling telic events as those whose undergoer is bounded, culminating events as telic events that achieve their inherent endpoint, and consider adverbial modification. In both domains we pay particular attention to associated entailments. Our framework is defined as an extension of intensional Martin-L\"of dependent type theory, and the rules and examples in this paper have been formalized in the Agda proof assistant.
• Abstract（参考訳）: 本稿では,事象の重大さと重大さを解析するための言語間相互関係の枠組みを提案する。 私たちのフレームワークは2つの部分で構成されています。 名詞領域では名詞句の有界性とそのサブタイプ,制限量,形容詞修飾との関係をモデル化する。 言語領域では、依存するイベント計算を定義し、下位のイベントが境界づけられたイベントとしてモデル化し、イベントを固有のエンドポイントを達成するテリックイベントとして決定し、副詞の修正を検討する。 どちらのドメインでも、関連するエンタテインメントに特に注意を払う。 我々のフレームワークは依存型理論の拡張として定義されており、本論文のルールと例はAgda証明アシスタントで定式化されている。

関連論文リスト

• An action language-based formalisation of an abstract argumentation framework [2.6988814189407937]
  抽象的議論グラフをモデル化するための新しいフレームワークを提案する。 報酬の順序を考慮に入れることで、各対話に固有の結果を導出する手段が得られます。
  論文  参考訳（メタデータ） (2024-09-29T09:24:29Z)
• Discourse Relations Classification and Cross-Framework Discourse Relation Classification Through the Lens of Cognitive Dimensions: An Empirical Investigation [5.439020425819001]
  We show that discourse relations can be effectively capture by some simple Cognitively inspired dimensions by Sanders et al.(2018) クロスフレームな談話関係分類(PDTB & RST)に関する実験により,あるフレームワークの談話関係に関する知識を,これらの次元を用いて他のフレームワークに伝達できることが実証された。
  論文  参考訳（メタデータ） (2023-11-01T11:38:19Z)
• Unsupervised Mapping of Arguments of Deverbal Nouns to Their Corresponding Verbal Labels [52.940886615390106]
  デバーバル名詞は英語の文章でよく使われる動詞で、出来事や行動やその議論を記述している。 名前付けされた構成の引数を扱うために存在する解決策は意味論的アノテーションに基づいている。 本稿では,より統語的アプローチを導入し,デバーバル名詞の議論を対応する動詞構成にマッピングする。
  論文  参考訳（メタデータ） (2023-06-24T10:07:01Z)
• PropSegmEnt: A Large-Scale Corpus for Proposition-Level Segmentation and Entailment Recognition [63.51569687229681]
  文中の各命題の文的含意関係を個別に認識する必要性について論じる。 提案するPropSegmEntは45K以上の提案のコーパスであり, 専門家によるアノテートを行う。 我々のデータセット構造は、(1)文書内の文章を命題の集合に分割し、(2)異なるが、トポジカルに整合した文書に対して、各命題の含意関係を分類するタスクに類似している。
  論文  参考訳（メタデータ） (2022-12-21T04:03:33Z)
• ClarET: Pre-training a Correlation-Aware Context-To-Event Transformer for Event-Centric Generation and Classification [74.6318379374801]
  本稿では,イベント中心推論のための一般相関対応コンテキスト・イベント変換器(ClarET)の事前学習を提案する。 提案されたClarETは、幅広いイベント中心の推論シナリオに適用できる。
  論文  参考訳（メタデータ） (2022-03-04T10:11:15Z)
• Plurality and Quantification in Graph Representation of Meaning [4.82512586077023]
  我々のグラフ言語は、モナディックな2階変数のみを用いた自然言語意味論の本質を網羅している。 単純な構文意味インタフェースで意味グラフを構築するための統一型機構を提案する。 現在のグラフ形式は、分配的述語、カテゴリー横断接続、および量化表現のスコープ置換における言語問題に適用される。
  論文  参考訳（メタデータ） (2021-12-13T07:04:41Z)
• Did the Cat Drink the Coffee? Challenging Transformers with Generalized Event Knowledge [59.22170796793179]
  Transformers Language Models (TLMs) を数学的適合のテクトダイナミックな評価のためのベンチマークで検証した。 以上の結果から, TLM は SDM に匹敵する性能が得られることが示された。 しかし、さらなる分析は、TLMがイベント知識の重要な側面を捉えていないことを一貫して示唆している。
  論文  参考訳（メタデータ） (2021-07-22T20:52:26Z)
• Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
  本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。 本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
  論文  参考訳（メタデータ） (2021-06-02T06:49:19Z)
• Discourse Relation Embeddings: Representing the Relations between Discourse Segments in Social Media [8.51950029432202]
  対話関係を高次元連続空間の点として表現することを提案する。 言葉とは異なり、談話関係はしばしば表面形式を持たない。 談話関係の埋め込みを自動的に生成する新しい手法を提案する。
  論文  参考訳（メタデータ） (2021-05-04T05:58:27Z)
• A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing [75.36126971685034]
  我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。 また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
  論文  参考訳（メタデータ） (2020-10-23T21:22:50Z)

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

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