[論文レビュー] Computing Parallelism in Discourse

Claire Gardent, Michael Kohlhase|ArXiv.org|May 1, 1997

Logic, programming, and type systems参考文献 10被引用数 13

ひとこと要約

本稿は、話法における並列性の形式的・計算的理論を提示する。これは、二つの発話間の並列要素を予測するために、タイプ付き高階帰納的記法を用いる。話法理論と高階統合の知見を統合し、並列性が話法意味論に与える影響を捉える統一的枠組みを提供する。

ABSTRACT

Although much has been said about parallelism in discourse, a formal, computational theory of parallelism structure is still outstanding. In this paper, we present a theory which given two parallel utterances predicts which are the parallel elements. The theory consists of a sorted, higher-order abductive calculus and we show that it reconciles the insights of discourse theories of parallelism with those of Higher-Order Unification approaches to discourse semantics, thereby providing a natural framework in which to capture the effect of parallelism on discourse semantics.

研究の動機と目的

• 言語理論において広範に議論されてきたものの、話法における並列性の形式的・計算的理論の欠如に応えること。
• 話法的並列性理論の知見と、話法意味論に基づく高階統合的手法の知見を調和させること。
• 並列性が話法意味をどのように構造化するかを形式的に捉える枠組みを構築すること。
• 意味的および構文的構造に基づき、二つの発話におけるどの要素が並列であるかを予測するメカニズムを提供すること。
• 話法的並列構造の意味的解釈を支援する計算モデルを確立すること。

提案手法

• 並列性の推論のためのコア形式的体系として、タイプ付き高階帰納的記法を採用する。
• 帰納的推論を用いて、二つの発話内の要素間の可能な対応付けを計算する。
• 話法構造と意味統合の制約を統合し、推論プロセスをガイドする。
• 高階統合技術を適用して、話法セグメント間の意味的および構文的対応関係を解消する。
• 型別項をサポートし、話法関係について構造的な推論を可能にする形式的記法を定義する。
• 記法を用いて、発話間で意味的および構文的パターンを照合することで、並列要素を予測する。

実験結果

リサーチクエスチョン

• RQ1 構文的および意味的構造を尊重する形で、話法における並列性を形式的にモデル化・計算する方法は何か？
• RQ2 二つの発話間の並列要素を、話法文脈において予測するための形式的メカニズムは何か？
• RQ3 話法的並列性理論は、高階統合に基づく形式的アプローチとどのように調和させられるか？
• RQ4 並列性は、話法意味論の解釈にどのような影響を及えるか？
• RQ5 自然言語話法における並列構造の系統的同定を支援する計算枠組みは何か？

主な発見

• 提示された高階帰納的記法は、構文的および意味的制約を組み合わせることで、二つの発話間の並列要素を的確に同定する。
• この枠組みは、話法理論と高階統合の知見を統合し、話法における並列性の整合的かつ一貫した説明を提供する。
• 理論は、形式論理を用いて並列性を体系的に計算可能であることを示し、正確な意味的解釈を可能にする。
• 本手法は、IJCAI'97の議事録に掲載された話法例への適用を通じて検証され、実用的妥当性が示された。
• 構造的推論を通じて、同等性や対比といった並列性の意味的効果をモデルが捉えている。
• 形式的記法は型別項をサポートしており、話法並列性のモデル化における表現力と正確性を高めている。