XLVIII Международная филологическая научная конференция

Описание семантики естественного языка с помощью интенсиональной дескрипционной логики

Артем Викторович Андреев
Докладчик
младший научный сотрудник
Институт лингвистических исследований РАН

193
2019-03-21
14:45 - 15:05

Ключевые слова, аннотация

Дескрипционная логика, интенсиональная семантика, грамматическая семантика, RDF-онтологии.

Тезисы

В докладе будет рассмотрен подход к описанию семантики естественного языка
на основе обобщения дескрипционной логики. Подобно тому, как модальная логика
расширятся до интенсиональной логики Монтегю с помощью подъема типов (т. е.
замены объектов на функции), стандартная дескрипционная логика может быть
превращена в интенсиональную посредством замены концептов/ролей на
функции над концептами/ролями. Такая процедура позволяет, по нашему представлению,
избежать некоторых трудностей, свойственных модальной интенсиональной семантике
(в частности, проблемы эквивалентности противоречивых высказываний и проблемы области связывания кванторных переменных), и в то же время построить дескрипционную логику, обладающую свойством синтактико-семантического изоморфизма. В нашем формализме каждому языковому выражению сопоставляется оператор обобщенной композиции ролей. Такие операторы могут комбинироваться двумя возможными способами, соответствующими, в первом приближении, образованию эндо- и экзоцентрических конструкций. В докладе будет описаны некоторые разновидности операторов обобщенной композиции, пригодные для описания различных грамматических категорий (таких как время, падеж, число, эвиденциальность), и их связь с операторами классической модальной логики.
Хотя описываемая модель представляет собой в узком смысле только формализацию глубинного
синтаксиса, оказывается возможным, вводя небольшое число поверхностно-синтаксических
аннотаций, построить работающий прототип системы анализа естественного языка, интерпретирующей выражения интенсиональной дескрипционной логики относительно графов RDF. Некоторые примеры работы такой системы будет также представлены в докладе.