[論文レビュー] Semantic Ambiguity and Perceived Ambiguity

Massimo Poesio|ArXiv.org|May 16, 1995

Logic, Reasoning, and Knowledge参考文献 48被引用数 76

ひとこと要約

本稿は、意味的曖昧さと認識された曖昧さのための、言語的および認知的根拠に基づいた理論を、不完全に指定された表現を用いて展開し、デフォルト論理を用いて弁証的推論を形式化することで、自然言語処理における組み合わせ的爆発問題を回避する。全解釈の列挙を避ける代わりに、人間の曖昧さ解消原理に類似した文脈依存的推論に依存する。

ABSTRACT

I explore some of the issues that arise when trying to establish a connection between the underspecification hypothesis pursued in the NLP literature and work on ambiguity in semantics and in the psychological literature. A theory of underspecification is developed `from the first principles', i.e., starting from a definition of what it means for a sentence to be semantically ambiguous and from what we know about the way humans deal with ambiguity. An underspecified language is specified as the translation language of a grammar covering sentences that display three classes of semantic ambiguity: lexical ambiguity, scopal ambiguity, and referential ambiguity. The expressions of this language denote sets of senses. A formalization of defeasible reasoning with underspecified representations is presented, based on Default Logic. Some issues to be confronted by such a formalization are discussed.

研究の動機と目的

• 自然言語処理における不完全指定、意味的曖昧さ、人間の曖昧さ処理の間の関係を確立すること。
• 句構造的曖昧さとスコープ的曖昧さが指数関数的に多くの解釈を生じるという組み合わせ的爆発問題に、解釈の全列挙を避けることで対処すること。
• モデル理論的意味論と認知的妥当性に根拠を置いた、第一原理からの不完全指定理論を構築すること。
• 認識された曖昧さを、意味の多義性そのものではなく、対立する弁証的推論の結果として形式化すること。
• スコープの曖昧さ解消、参照解消、および対話解釈を、一つの推論フレームワークで統合すること。

提案手法

• 意味的曖昧さを、言語的表現が複数の意味を持つこととして、モデル理論的に定義する。
• 表現が複数の意味の集合を表す不完全に指定された言語を導入し、単一の解釈にコミットしない。
• デフォルト論理を用いて、不完全に指定された表現における弁証的推論を形式化し、文脈依存的解釈を可能にする。
• 認知的妥当性を保証するため、反ランダム仮説および対話解釈の条件を用いて推論規則に制約を課す。
• ピンカルの明確化命令から対話解釈の条件を導出し、H型（参照的）曖昧さの解消と関連付ける。
• 語彙的曖昧さ、スコープ的曖昧さ、参照的曖昧さを処理できるようにフレームワークを拡張し、句構造的曖昧さについても予備的な取り扱いを実施する。

実験結果

リサーチクエスチョン

• RQ1 言語的に正確かつ認知的に妥当な不完全指定理論をどのように構築できるか。
• RQ2 対話解釈において、意味的曖昧さ（複数の意味）と認識された曖昧さ（対立する推論）の違いは何か。
• RQ3 不完全に指定された表現を用いた弁証的推論が、なぜ自然言語処理システムにおける組み合わせ的爆発問題を回避できるか。
• RQ4 解釈プロセスが非ランダムで文脈依存的であることを保証するために必要な制約は何か。
• RQ5 スコープの曖昧さ解消と参照解像が、統一された解釈フレームワーク内でどのように相互作用するか。

主な発見

• 理論は、認識された曖昧さが意味の多義性そのものではなく、対立する弁証的推論の結果として生じることをうまくモデル化した。
• 不完全に指定された表現の使用により、すべての可能な解釈を生成する必要がなくなり、組み合わせ的爆発問題が緩和された。
• 明確化命令から導出された対話解釈の条件により、H型曖昧さが文脈依存的推論によって解消されることが保証された。
• デフォルト論理による形式化により、不完全に指定された表現に対する原理的で整合性のある弁証的推論のメカニズムが得られた。
• フレームワークは語彙的曖昧さ、スコープ的曖昧さ、参照的曖昧さを統一的に扱えるものであり、句構造的曖昧さについても予備的な拡張が可能である。
• 理論はSAD-93システムの基盤をなしており、TASK-93デモで実用応用が確認された。