[論文レビュー] Semantic Types, Lexical Sorts and Classifiers

Bruno Mery, Christian Retoré|arXiv (Cornell University)|Dec 11, 2013

Natural Language Processing Techniques参考文献 25被引用数 4

ひとこと要約

本論文は、このようなシステムを持つ言語に見られる言語的分類子を、構成的意味解析における基本型の認知的・言語的根拠とするものである。語彙的型を分類子によってモデル化することで、選択制限、多義性、比喩的用法の解消を可能にする細分化された型の区別が可能となり、Boxer や Grail などのシステムにおける意味解析の質が、自然言語意味論に基づくより豊かな多様な型システムによって向上する。

ABSTRACT

We propose a cognitively and linguistically motivated set of sorts for lexical semantics in a compositional setting: the classifiers in languages that do have such pronouns. These sorts are needed to include lexical considerations in a semantical analyser such as Boxer or Grail. Indeed, all proposed lexical extensions of usual Montague semantics to model restriction of selection, felicitous and infelicitous copredication require a rich and refined type system whose base types are the lexical sorts, the basis of the many-sorted logic in which semantical representations of sentences are stated. However, none of those approaches define precisely the actual base types or sorts to be used in the lexicon. In this article, we shall discuss some of the options commonly adopted by researchers in formal lexical semantics, and defend the view that classifiers in the languages which have such pronouns are an appealing solution, both linguistically and cognitively motivated.

研究の動機と目的

• 構成的意味フレームワークにおいて語彙的意味をモデル化する際に、正確な基本型が欠如している問題に対処すること。
• 単一の実体型にとどまらない型システムの精錬を通じて、意味解析における多義性と選択制限を解消すること。
• 形式的意味論的システムにおける語彙的型を定義するための、言語的および認知的根拠に基づいた解決策を提供すること。
• 自然言語からの分類子を意味解析器に統合し、型チェックと比喩検出を改善すること。
• 広域カバレッジの意味解析に適したスケーラブルで言語に適応可能な型システムを確立すること。

提案手法

• 自然言語（例えば、フランス手話、アジア圏の分類子システムなど）の分類子を、多様な型論理における基本型の基盤として用いる。
• 基本型が動的・非動的・生物・物理的対象など語彙的型に対応する多様な型システムを採用する。
• カテゴリカル文法とモンテーリュ風ラムダ計算を用いて、拡張された基本型を伴う意味の構成をモデル化する。
• 語彙的修飾子と階層的な分類子構造を通じて、下位関係（ハイポニム）と上位関係（ハイパニム）をエンコードする。
• 既存の意味解析器（例：Boxer, Grail）に分類子に基づく型システムを統合し、型チェックと曖昧除去を実現する。
• 分類子識別に関する言語的直感と計画された話者ベースのテストを通じて、システムの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 構成的意味論における基本型は、どのように言語的および認知的根拠に基づいて定義できるか？
• RQ2 言語間で共通する分類子システムは、意味解析における語彙的型の原理的基盤として機能できるか？
• RQ3 分類子は、選択制限や多義性の解消に十分な粒度と構造的整合性を提供できるか？
• RQ4 母語に分類子を持たない言語に対しても、分類子に基づく型システムはどのように適応可能か？
• RQ5 意味構成における型の衝突は、比喩的または標準的でない語の使用を検出する手がかりとして利用可能か？

主な発見

• 言語間で共通する分類子システムは、物理的対象の知覚的・相互作用的区別を反映しており、認知的・言語的根拠が極めて高い。
• 分類子を基本型として用いることで、型の衝突を検出可能となり、比喩的または標準的でない語の使用（例：「中尉が吠えた」）を示唆する手がかりが得られる。
• 分類子システムは、特殊化と重複を伴う自然な型の階層を提供し、語彙的意味論における下位関係（ハイポニム）と上位関係（ハイパニム）の関係を支援する。
• 「bank」のような多義語の曖昧除去に成功しており、組織的・能動的意味の区別を別々の型で表現することで実現されている。
• 本システムは Boxer や Grail などの意味解析器に実装されており、地域・経路・時間の型を備えた、経路分析などの制限されたドメインにおいて実用性が確認されている。
• 著者らは、言語間の適応を経て、母語に分類子を持たない言語に対しても、分類子システムが広域カバレッジ型システムを構築するためのテンプレートとして機能可能であると提唱している。