[論文レビュー] A Computational Approach to Aspectual Composition

Michael Wood White|ArXiv.org|Jul 1, 1995

Syntax, Semantics, Linguistic Variation参考文献 18被引用数 25

ひとこと要約

本稿は、Jackendoffの横断的種別的区別を基盤として、Hinrichs、Krifka、Jackendoffの知見を統合する sortal アプローチに基づいた、アスペクト的構成のための計算フレームワークを提示する。このフレームワークは、限定性、測定句、イベント対プロセスの区別といったアスペクト的現象を説明できることを示し、最終的状態の計算体系を実装することで、主要な言語的帰結を生成する。

ABSTRACT

In this paper, I argue, contrary to the prevailing opinion in the linguistics and philosophy literature, that a sortal approach to aspectual composition can indeed be explanatory. In support of this view, I develop a synthesis of competing proposals by Hinrichs, Krifka and Jackendoff which takes Jackendoff's cross-cutting sortal distinctions as its point of departure. To show that the account is well-suited for computational purposes, I also sketch an implemented calculus of eventualities which yields many of the desired inferences. Further details on both the model-theoretic semantics and the implementation can be found in (White, 1994).

研究の動機と目的

• 言語学および哲学における一般的な見解、すなわち種別的アプローチがアスペクト的構成に関して本質的に説明的でないという見解に挑戦すること。
• Hinrichs、Krifka、Jackendoffのアスペクト理論の対立する説を、Jackendoffの横断的種別的区別を基盤として統合する包括的フレームワークを構築すること。
• 種別的区別が、説明的かつ計算的に実行可能なアスペクト的構成モデルを支持できることを示すこと。
• 限定性、持続時間、測定句に関連する帰結を捉える、最終的状態の計算体系を実装すること。
• 最終的状態に基づく表現が、アスペクト的構成における時間的および空間的副詞の文法的妥当性と解釈を自然に説明できることを示すこと。

提案手法

• 最終的状態をイベント、プロセス、その他のタイプに分類するための、Jackendoffの横断的種別的区別をコアの意味的枠組みとして使用する。
• 属性値表現を構造化して最終的状態を符号化し、種別（イベント、プロセス、物体、物質など）を明示的にタイプ化する。
• 複雑な最終的状態を単純なものの集合としてモデル化するための「composed-of」マッピングを導入する。特にプロセスに特化して適用する。
• 時間的および空間的測定句（例：「20分間」、「2マイル分」）を構造的測定句として扱い、限定性や範囲を課す。
• 文法的妥当性を説明するため、区別された経路と区別されない経路を区別する。
• 予測に関する形式的制約（例：距離は区別された経路にのみ適用可能）を課すモデル理論的意味論を用いて、妥当性条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 種別的アプローチが、言語学および哲学のコンSENSUSとは対照的に、アスペクト的構成に関して説明的である可能性はあるか？
• RQ2 Jackendoffの横断的種別的区別は、HinrichsとKrifkaの対立するアスペクト理論を統合するためにどのように利用可能か？
• RQ3 種別的区別は、最終的状態の限定性または非限定性を決定づける役割を果たすか？
• RQ4 なぜ特定の測定句（例：「2マイル分」）はある文脈では文法的だが、他の文脈ではそうではないのか？
• RQ5 実装済みの最終的状態の計算体系は、アスペクト的構成における正しい帰結をどのように生成するのか？

主な発見

• 本稿は、特に時間的および空間的測定句に関連して、種別的区別が限定性といったアスペクト的現象を説明できることを明確に示した。
• 「Jackは川沿いを2マイル走った」といった文の文法的妥当性は、区別されない経路を区別することで説明でき、これは近接距離を支持するが、総距離を支持しない。
• 「Jackは橋まで2マイル走った」という文が不文法的であるのは、経路がすでに指定されている状況で「for」が総距離を導入できないことから説明できる。
• 実装済みの最終的状態の計算体系は、単一のプロセス表現から「Jackは20秒間、水をバケツAに注いだ」といった帰結を正しく生成する。
• モデルは、イベントおよびプロセスの最終的状態を形式的に区別し、合成可能であることを示し、自然言語理解における不特定性および帰結を支持する。
• 構造的に異なる文（例：「Jackは川沿いを2マイル走った」と「Jackは川沿いを2マイル走った」）の間で、異なるが互換性のある表現を通じて、相互に含意関係を成立させることを可能にする。