| 研究成果の概要 |
本研究の目的は、形式意味論の推論システムと統合された形式をもつ、語彙意味論および形式オントロジーの記述体系を策定することである。この統合を可能にするのは、近年形式意味論において、自然言語の意味論の記述体系として有望視されている依存型意味論(dependent type semantics)である。DTSは依存型理論に基づいて自然言語に合成的な証明論的意味論を与える体系である。DTSを用いた分析によって、語彙意味論にとって難題であった共述語化(copredication), 強制現象(coercion), メタファー(metaphor)といった諸問題を統一的に解決することに成功した。
|
