[論文レビュー] The partition semantics of questions, syntactically

Chung-chieh Shan, Balder ten Cate|ArXiv.org|Sep 4, 2002

Natural Language Processing Techniques参考文献 10被引用数 9

ひとこと要約

本稿は、質問の分割意味論（GroenendijkとStokhof）における答えの性質を句法学的に特徴づけ、答えが質問のインスタンスから構成される論理式に正確に一致することを示している。質問・答え理論の比較のための三重枠組み（同値性、原子的答え、合成的答え）を導入し、Prologなどのモデルにおける意味的含意と答えの性質と整合するように、句法学的構成がどのように機能するかを示している。

ABSTRACT

Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition theory. Two central notions in this theory are entailment between questions and answerhood. For example, the question "Who is going to the party?" entails the question "Is John going to the party?", and "John is going to the party" counts as an answer to both. Groenendijk and Stokhof define these two notions in terms of partitions of a set of possible worlds. We provide a syntactic characterization of entailment between questions and answerhood . We show that answers are, in some sense, exactly those formulas that are built up from instances of the question. This result lets us compare the partition theory with other approaches to interrogation -- both linguistic analyses, such as Hamblin's and Karttunen's semantics, and computational systems, such as Prolog. Our comparison separates a notion of answerhood into three aspects: equivalence (when two questions or answers are interchangeable), atomic answers (what instances of a question count as answers), and compound answers (how answers compose).

研究の動機と目的

• 質問の分割意味論における答えの性質を、純粋にモデル理論的定義に依存せずに、句法学的に特徴づけること。
• 答えの合成方法を明確にし、同値性、原子的答え、合成的答えという3つの側面に区別すること。
• 分割理論と他のアプローチ（例：Hamblin や Karttunen の意味論）および計算システム（例：Prolog）との間で、体系的な比較を可能にすること。
• 答えの句法学的構成が、意味的含意およびモデル理論的性質とどのように関係するかを調査すること。

提案手法

• 質問を ?ϕ として定義し、ϕ が自由変数を含む一階論理式であるとし、割り当てごとの真理値の同値性によって可能な世界の分割として解釈する。
• 論理結合子と量化子を用いて原子的答えから答えを構文的に構成する「発展（development）」の概念を導入する。
• 答えの性質を、質問のインスタンスから構文的に構成された論理式として特徴づけ、これは意味論的分割に基づく定義と一致することを示す。
• モデル理論的意味論を用いて構文的構成を検証し、操作に対する構文的閉包性が部分モデルにおける保存性と結びつくようにする。
• 合成的答えの形成および結合の仕方の違いを分析することで、分割理論と他の枠組みとの比較を行う。
• 存在量化を含まない発展の修正定義を提案し、それがモデル理論における部分モデルにおける保存性と関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 モデル理論的意味論に依存せずに、分割意味論における答えの性質を純粋に句法学的に特徴づける方法は何か？
• RQ2 原子的答えと合成的答えは、構文的および意味的合成の観点からどのように区別されるか？
• RQ3 言語的理論（例：Hamblin や Karttunen）と計算的システム（例：Prolog）は、答えの合成に関してどのように異なるか？
• RQ4 答え形成における句法学的制約を、部分モデルにおける保存性などのモデル理論的性質と結びつけることは可能か？
• RQ5 特定の質問文脈では、なぜある種の答え（例：全称量化）が他の答え（例：存在量化）よりも自然に感じられるのか？

主な発見

• 分割意味論における答えは、論理演算子を用いて質問のインスタンスから構文的に構成可能な論理式に正確に一致する。これにより、答えの性質に対する句法学的特徴づけが確立される。
• この理論は、答えの性質を3つの明確に区別された次元に分ける：同値性（質問・答えの交換可能性）、原子的答え（基本的な答えとして認められるもの）、合成的答え（答えがどのように結合されるか）。
• 答えの構文的構成は、モデル理論的分割意味論と整合しており、構文的アプローチが意味論的に妥当であることが裏付けられる。
• 全称量化およびブール演算（論理積、論理和、否定）を用いて構成される合成的答えは、直感的な答えの性質とより自然に一致するが、存在量化を含むものはそれほど自然ではない。
• 存在量化を含まない発展の修正定義は、部分モデルにおける保存性と一致し、直感的な答えの好みに対するモデル理論的根拠を示唆する。
• この枠組みにより、質問・答えシステムの原理的な比較が可能となり、Prologが分割理論の答えの性質の計算的実装として解釈可能であることが示された。