Вычислительная семантика - это изучение того, как автоматизировать процесс построения и рассуждения со значением , означающим представления из выражений естественного языка. Следовательно, он играет важную роль в обработке естественного языка и компьютерной лингвистике.
Некоторые традиционные темы, представляющие интерес: построение смысловых представлений, семантическая недостаточная спецификация, анафора разрешение, пресуппозиция проекция и квантификатор разрешение области. Используемые методы обычно основываются на формальной семантике или статистической семантике. Вычислительная семантика имеет точки соприкосновения с областями лексической семантики (устранение неоднозначности значений слов и маркировка семантических ролей ), семантики дискурса, представления знаний и автоматические рассуждения (в частности, автоматическое доказательство теорем ). С 1999 г. существует специальная группа ACL по вычислительной семантике, SIGSEM.
.