[論文レビュー] An Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments

Daniel Marcu, Graeme Hirst|ArXiv.org|Apr 26, 1995

Logic, Reasoning, and Knowledge参考文献 18被引用数 5

ひとこと要約

この論文は、マインホルン的存在論とグリスの会話原則に裏打ちされた階層的論理に基づき、言語的前提と存在的コミットメントを一貫して計算する計算的実装された形式的枠組みを提示する。豊富なオントロジーと制限のない量化子の解釈を統合することで、単一で整合性のある論理的体系内で、非存在的および存在的両方の前提を扱いきれる、実行可能で体系的な導出を可能にし、前提計算の完全な自動化を達成している。

ABSTRACT

We rely on the strength of linguistic and philosophical perspectives in constructing a framework that offers a unified explanation for presuppositions and existential commitment. We use a rich ontology and a set of methodological principles that embed the essence of Meinong's philosophy and Grice's conversational principles into a stratified logic, under an unrestricted interpretation of the quantifiers. The result is a logical formalism that yields a tractable computational method that uniformly calculates all the presuppositions of a given utterance, including the existential ones.

研究の動機と目的

• 非存在的および存在的コミットメントを含む、すべての種類の言語的前提を同定・計算する統一された計算フレームワークの開発。
• マインホルンの存在論とグリスの会話原則からの哲学的知見を、自然言語処理のための形式的・論理的システムに統合すること。
• 制限のない量化子の解釈下で、前提の計算を実行可能で自動化可能にする。
• 単一の論理的形式的枠組み内で、非存在的および存在的前提を区別する体系的な方法を提供すること。
• 計算意味論における実用的応用を支援できる形で、形式的枠組みを実装すること。

提案手法

• 異なる種類の意味的コミットメント（特に量化子や参照表現に関連するもの）を表現するために、複数のレベルを持つ階層的論理を採用する。
• オブジェクトとその存在様式（例：存在する、存在しない、不可能なもの）に関するマインホルン的原則を、前提に関する推論を可能にする論理的構造に組み込む。
• 会話原則に基づくグリス的原則を用いて推論プロセスをガイドし、前提が話法的期待と整合するように保証する。
• 参照的および存在的コミットメントの正確な追跡を可能にするために、手作業で作成された豊富なオントロジーを用いる。
• 形式的枠組みを計算システムとして実装し、言語的発話の処理と制限のない量化子の解釈下での論理的推論を通じて、すべての前提を導出する。
• LaTeXベースの実装で、特定のソースファイルと警告の処理を含み、計算意味論におけるテスト用のプロトタイプシステムであることを示している。

実験結果

リサーチクエスチョン

• RQ1 単一の形式的体系が、非存在的および存在的両方の前提を一貫して計算できるか。
• RQ2 マインホルン的オブジェクト性と存在的コミットメントを計算的環境でモデル化するための論理的およびオントロジカルな基盤として何が必要か。
• RQ3 グリス的原則を論理的システムに形式的に統合し、前提推論をガイドする方法は何か。
• RQ4 制限のない量化子を有する階層的論理が、実行可能で完全な前提計算をサポートできるか。
• RQ5 豊富なオントロジーが、正確で体系的な前提導出を可能にする役割は何か。

主な発見

• 形式的枠組みは、非現実的または不可能な実体を含む発話のすべての前提を、単一で統一されたメカニズムによって正しく計算している。
• システムは、定義された記述によって引き起こされる存在的コミットメントが、他の前提と同じ論理枠組みを用いて体系的に導出可能であることを示している。
• マインホルン的オントロジーの統合により、現実世界に存在しない実体の整合的な表現が可能になり、意味的整合性が保たれている。
• グリス的原則の使用により、前提推論が話法的文脈的期待と整合し、自然さと関連性が向上している。
• 実装は完全に動作可能であり、国際計算意味論ワークショップの議事録で示されたように、言語的入力を処理して完全な前提集合を出力できる。
• 論理的に一貫性があり、形式的に根拠付けられた枠組みの下で、臨時の規則を一切必要とせず、前提計算の完全な自動化を達成している。