САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ФИЛОЛОГИЧЕСКИЙ ФАКУЛЬТЕТ

Образовательная программа «Прикладная и математическая лингвистика»
(специальность научных работников 10.02.21 «Прикладная и математическая лингвистика»)

ОТЗЫВ

о выпускной квалификационной работе аспиранта
Соколова Константина Владимировича,
выполненной на тему: «Формальные методы представления композициональности в семантических моделях»

Научный проект К.В. Соколова посвящен созданию интегрированной модели описания семантического уровня естественного языка. 
Новаторский подход автора к решению данной проблемы состоит в совмещении логической трактовки композиционности в формально-семантических теориях и дистрибутивно-статистических методов описания некомпозиционных сочетаний (конструкций) в корпусно-ориентированных исследованиях. 
Актуальность проекта объясняется востребованностью методологического аппарата семантических исследований, позволяющего создать эмпирический базис для логических теорий композиционной семантики и одновременно усилить выразительность векторных моделей корпусов текстов. По существу, предлагаемые К.В. Соколовым логические преобразования, комбинируемые с известными операциями над контекстными векторами, расширяют возможности исследователей при описании полисемии, фразеологии и ряда других контекстно-обусловленных явлений. 
Теоретическая значимость проекта заключается в построении механизмов контроля композициональности на основе унификации с контролем равенства и на основе функционального применения с внешним контролем средствами дедуктивной системы.
Практическое применение результатов проекта лежит в области имплементации семантических модулей для систем голосового управления, обработки запросов к базам данных и знаний, логического вывода по тексту и т.д. 
Проект прошел апробацию: проведение отдельных этапов исследования было осуществлено при решении производственных задач (разработка систем класса «Умный дом», автоматическое распределение сообщений в системе обмена информацией внутри организации), по результатам работы опубликовано 3 статьи, 1 статья принята к печати. Материалы проекта используются в курсе «Понимание естественного языка», читаемом К.В.Соколовым в СПбГПУ им. Петра Великого.
Тем самым, проект К.В. Соколова, представленный в докладе по ВКР,  является законченным исследованием высокой научной значимости с практическим внедрением результатов. Автор отнесся к решению поставленных задач как зрелый исследователь, как профессионал в области компьютерной лингвистики и инженерии знаний. 
Текст доклада по ВКР написан прекрасным научным языком, автор сумел заинтересовать читателей, убедить в важности и высоком качестве полученных данных. Теоретические разделы содержат практически исчерпывающий и объективный обзор существующей литературы по вопросу. Практические разделы содержат ясное описание алгоритмов, хода работы, процедуры обработки результатов.

Недостатки и замечания по ВКР отсутствуют.

Рекомендуемая оценка ВКР: «отлично».




Научный руководитель: 
Захаров Виктор Павлович, 
кандидат филологических наук, 
доцент кафедры математической лингвистики



                                .                                                                                _________________
                                                                                                                        (подпись)

Научный консультант:
Митрофанова Ольга Александровна, 
кандидат филологических наук, 
доцент кафедры математической лингвистики



                                                                                                                _________________
                                                                                                                        (подпись)

«27»  июня 2016 г