Computational semantics とは

計算セマンティクスは、自然言語表現の意味表現を用いて構築および推論のプロセスを自動化する方法の研究です。その結果、自然言語処理と計算言語学において重要な役割を果たします。
関心のある伝統的な話題の中には、意味表現の構築、意味の不明瞭化、アノフォラの解決、前提の投影、量子範囲の解決などがあります。採用される方法は、通常、形式的意味論または統計的意味論から導かれる。計算セマンティクスは、語彙セマンティクス(語義曖昧性解消および意味役割ラベル付け)、談話セマンティクス、知識表現および自動推論(特に、自動定理証明)の分野との接点を有する。 1999年以来、SIGSEMの計算セマンティクスに関するACL特別利益団体が存在しています。