[論文レビュー] Efficient Construction of Underspecified Semantics under Massive Ambiguity

Jochen Doerre|ArXiv.org|Jun 26, 1997

Natural Language Processing Techniques参考文献 8被引用数 5

ひとこと要約

この論文は、非常に曖昧な構文解析森からコン pact で、不完全に定義された意味的表現を構築するための効率的なアルゴリズムを提示する。制約に基づく意味的規則をパックド・フォレスト構造内で直接処理することにより、この手法は組み合わせ的爆発を回避し、妥当な文法制約のもとで $O(n^4 \log n)$ の時間計算量を達成する。これにより、膨大な曖昧性に直面してもスケーラブルな意味的解析が可能になる。

ABSTRACT

We investigate the problem of determining a compact underspecified semantical representation for sentences that may be highly ambiguous. Due to combinatorial explosion, the naive method of building semantics for the different syntactic readings independently is prohibitive. We present a method that takes as input a syntactic parse forest with associated constraint-based semantic construction rules and directly builds a packed semantic structure. The algorithm is fully implemented and runs in $O(n^4 log(n))$ in sentence length, if the grammar meets some reasonable `normality' restrictions.

研究の動機と目的

• 大量の構文的曖昧性を伴う文に対して完全な意味的表現を生成する際の計算的非効率性に対処すること。
• 個々の構文的読みを独立して処理することに内在する組み合わせ的爆発を克服すること。
• 構文的解析森から直接、コンパクトで共有された意味的表現を構築する手法を開発すること。
• 現実的な文法制約のもとで、意味的構築の効率性とスケーラビリティを保証すること。

提案手法

• この手法は、制約に基づく意味的構築規則でアノテートされた構文的解析森を入力として受ける。
• すべての可能な構文的解析をコン act に符号化するため、パックド・フォレスト表現を用いる。
• 意味的統合はパックド構造全体にわたり段階的に実行され、すべての解析木を明示的に列挙するのを避ける。
• 再帰的計算を避けるためにメモ化を用いた動的計画法のアプローチを採用する。
• 多項式時間計算量を保証するために、文法の正規性条件を適用する。
• コアとなるデータ構造は、曖昧な解析の間で共有される表現を段階的に構築する制約に基づく意味的フォレストである。

実験結果

リサーチクエスチョン

• RQ1 ある文が膨大な数の構文的解析を許容する場合、どのようにして意味的表現を効率的に構築できるか？
• RQ2 すべての可能な構文的解析を列挙せずに、1つのコンパクトな意味的構造を構築できるか？
• RQ3 現実的な文法仮定のもとで、$O(n^4 \log n)$ の計算量を実現するためのアルゴリズム的技術は何か？
• RQ4 制約に基づく意味的規則をどのようにしてパックド・解析森全体に一貫して適用できるか？
• RQ5 どのような文法的構造的性質が、膨大な曖昧性下でも扱える意味的構築を保証するか？

主な発見

• 提案されたアルゴリズムは、妥当な文法正規性制限のもとで、文の長さに関して $O(n^4 \log n)$ の時間計算量を達成する。
• この手法は、個々の構文的読みに対して意味的表現を独立して生成する際の組み合わせ的爆発を回避する。
• 完全に実装されたシステムは、現実世界の曖昧な文に対してこのアプローチの実現可能性を示している。
• パックド意味的構造により、複数の解析に共通する意味的サブコンポーネントを共有することで、コンパクトな表現が可能になる。
• アルゴリズムはフォレスト上で直接制約に基づく意味的統合をサポートし、曖昧性を保持しながら冗長性を最小限に抑える。
• このアプローチは一般性があり、計算言語学における広範な不完全に定義された意味的形式主義に適用可能である。