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