[論文レビュー] Principle Based Semantics for HPSG

Anette Frank, Uwe Reyle|ArXiv.org|Oct 5, 1994

Natural Language Processing Techniques被引用数 34

ひとこと要約

本稿は、ドイツ語における量化子のスコープの曖昧さおよび集合的／分配的曖昧さを扱うために、不完全な話題表現（UDRS）を用いた、原則に基づくヘッド駆動型句構造文法（HPSG）の意味論を提示する。量化子のスコープに関する文法的制約を統合し、修正されたクーパー記憶メカニズムを介して意味的特徴を分配することで、複数の完全な解釈を生成せずに、単調で段階的な解釈が可能となる。これにより、更げられた曇りの解消と推論が効率的に行える。

ABSTRACT

The paper presents a constraint based semantic formalism for HPSG. The advantages of the formlism are shown with respect to a grammar for a fragment of German that deals with (i) quantifier scope ambiguities triggered by scrambling and/or movement and (ii) ambiguities that arise from the collective/distributive distinction of plural NPs. The syntax-semantics interface directly implements syntactic conditions on quantifier scoping and distributivity. The construction of semantic representations is guided by general principles governing the interaction between syntax and semantics. Each of these principles acts as a constraint to narrow down the set of possible interpretations of a sentence. Meanings of ambiguous sentences are represented by single partial representations (so-called U(nderspecified) D(iscourse) R(epresentation) S(tructure)s) to which further constraints can be added monotonically to gain more information about the content of a sentence. There is no need to build up a large number of alternative representations of the sentence which are then filtered by subsequent discourse and world knowledge. The advantage of UDRSs is not only that they allow for monotonic incremental interpretation but also that they are equipped with truth conditions and a proof theory that allows for inferences to be drawn directly on structures where quantifier scope is not resolved.

研究の動機と目的

• スキャニングや移動によって引き起こされる量化子スコープの曖昧さを扱える、制約ベースのHPSG意味論形式を構築すること。
• 複数名詞句における集合的／分配的区別の原因となる曖昧さを解消すること。
• 文法が直接的に量化子スコープおよび分配的性に関する文法的条件を意味論と文法のインターフェースに埋め込むこと。
• 複数の完全な解釈を生成するのではなく、不完全な意味表現（UDRS）を用いて単調的かつ段階的な解釈を可能にすること。
• 部分的に指定された構造においても真理条件と証明理論を統合し、スコープを解決しないまま推論を可能にすること。

提案手法

• クーパー記憶メカニズムをHPSGで修正し、QSTOREをCONTENTの特徴構造に組み込むことで、取得されない場合でも量化子の意味を保持する。
• スタックベースのQUANTSリストを、任意の位置に挿入可能な柔軟なリストに置き換え、順序とスコープの解釈を分離する。
• 文法レベルの制限（例：主語名詞句は常に広いスコープを取る、量化子は節内に限定される）を特徴継承を通じて強制することで、スコープに関する文法的制約を導入する。
• 量化子スコープがまだ解決されていない部分的意味表現としてUDRSを用い、制約を段階的に追加可能にする。
• 意味論の原則を定義し、意味のヘッドからNUCLEUSのみを投影する一方で、QUANTSはQSTOREからの取得を通じて段階的に構築する。
• 文法、意味論、文脈的・実用的知識との明確なインターフェースを確立し、推論モジュールとの相互作用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 HPSG意味論をどのように修正すれば、複数の完全な解釈を生成せずに、量化子スコープの曖昧さを表現できるか？
• RQ2 スコープに関する文法的制約（例：主語名詞句の広いスコープ、節内限定性）を文法に直接埋め込むにはどうすればよいか？
• RQ3 一貫した意味論枠組み内で、複数名詞句の集合的読解と分配的読解をどのように扱えるか？
• RQ4 不完全な表現が単調的かつ段階的な解釈および推論をどのように支援できるか？
• RQ5 部分的に指定された意味的構造においても、真理条件と証明理論をどのように維持できるか？

主な発見

• 提案された形式は、1文につき1つの不完全なUDRSを生成し、複数の代替表現を生成する必要がなくなる。
• 量化子スコープの曖昧さは、事前に計算された解釈をフィルタリングするのではなく、UDRSに制約を追加することで段階的に解消される。
• 文法と意味のインターフェースが、主語名詞句が常に広いスコープを取ることなどの文法的制限を直接に埋め込んでいる。
• 量化子の節内限定性は、境界ノードを超えて被量化名詞句の意味を投影しないことで強制される。
• UDRSフレームワークは、スコープが未解決であっても真理条件と証明理論的推論をサポートする。
• このアプローチは、効率的な曇りの解消と、文脈的および実用的推論モジュールとの統合を可能にする。