計算意味論

計算意味論は計算言語学のサブ分野です。^{[ 1 ]}その目標は、人間における意味の生成と解釈を支える認知メカニズムを解明することです。通常、特定の意味現象をシミュレートする計算モデルを作成し、それらのモデルを人間の参加者からのデータと比較して評価します。計算意味論は科学分野ですが、現実世界で多くの応用があり、人工知能と大きく重なり合っています。

大まかに言えば、この分野は言語学の内部構造を反映した領域に細分化できる。例えば、語彙意味論とフレーム意味論は、計算言語学の中で活発な研究コミュニティを持っている。^{[ 2 ]}また、いくつかの一般的な手法は、伝統的な言語学から強い影響を受けている。最も顕著なのは、大規模言語モデルの埋め込みと内部構造の研究を支える分布意味論の分野であり、これはゼリッグ・ハリスの研究にルーツがある。^{[ 3 ]}

計算意味論における伝統的な関心対象には、意味表現の構築、意味的不完全指定、照応解決、^{[ 4 ]}前提投影、量化子スコープ解決などがあります。用いられる手法は通常、形式意味論または統計意味論に基づいています。計算意味論は、語彙意味論（語義曖昧性解消および意味役割ラベリング）、談話意味論、知識表現、自動推論（特に自動定理証明）の分野と接点があります。1999 年以来、 ACL には計算意味論に関する特別関心グループ SIGSEM があります。

• 談話表現理論
• 形式意味論（自然言語）
• 最小再帰意味論
• 自然言語理解
• 意味圧縮
• 意味解析
• セマンティックウェブ
• SemEval
• ワードネット

• Blackburn, P.、および Bos, J. (2005)、『自然言語の表現と推論：計算意味論入門』 、 CSLI Publications。ISBN 1-57586-496-7。
• Bunt, H.、および Muskens, R. (1999)、Computing Meaning、第 1 巻、Kluwer Publishing、ドルドレヒト。ISBN 1-4020-0290-4。
• Bunt, H.、Muskens, R.、および Thijsse, E. (2001)、Computing Meaning、第 2 巻、Kluwer Publishing、ドルドレヒト。ISBN 1-4020-0175-4。
• Copestake, A.、Flickinger, DP、Sag, IA、Pollard, C. (2005)。最小再帰意味論入門。言語と計算に関する研究3:281–332。
• Eijck, J. van、および C. Unger (2010): 関数型プログラミングによる計算意味論。ケンブリッジ大学出版局。ISBN 978-0-521-75760-7
• Wilks, Y.、Charniak, E. (1976)、『計算意味論：人工知能と自然言語理解への入門』、North-Holland、アムステルダム。ISBN 0-444-11110-7。

• 計算言語学会（ACL）の計算意味論に関する特別研究グループ（SIGSEM）
• IWCS - 国際計算意味論ワークショップ（SIGSEM後援）
• ICoS - 計算意味論における推論（SIGSEMによる承認）