САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ФИЛОЛОГИЧЕСКИЙ ФАКУЛЬТЕТ  Образовательная программа «Прикладная и математическая лингвистика» (специальность научных работников 10.02.21 «Прикладная и математическая лингвистика»)  РЕЦЕНЗИЯ на выпускную квалификационную работу аспиранта  Соколова Константина Владимировича «ФОРМАЛЬНЫЕ СПОСОБЫ ПРЕДСТАВЛЕНИЯ КОМПОЗИЦИОНАЛЬНОСТИ  В СЕМАНТИЧЕСКИХ МОДЕЛЯХ» Выпускная работа Соколова Константина Владимировича посвящена крайне сложной и интересной проблеме семантического описания лексики и более сложных единиц (упоминается предложение) формальными и дистрибутивными методами. Эти подходы имеют собственные парадигмы развития, которые вплоть до недавнего времени казались несовместимыми, хотя потребность в объединения была многократно подтверждена. Выпускная работа Константина Владимировича оформлена в виде доклада по ряду статей. При формулировке цели исследования Константин Владимирович выносит на первый план разработку метода композициональности семантических моделей с учетом гибридного характера представления информации. Достижение цели требует выполнения двух задач: — исследование контроля композиции (либо путем унификации с контролем равенства, либо путем внешней дедуктивной системы) и — разработку способов повышения выразительности семантических моделей путем модификации процедуры конструирования методом логического исчисления. Теоретическая значимость работы, с точки зрения Константина Владимировича, обусловлена тем, что предлагаемые методы обобщения механизмов композиции позволят сопоставить собственно формальный и дистрибутивный компоненты в рамках гибридной модели. Практическая значимость определяется тем фактом, что методы позволяют добиться большей выразительности семантической модели (?). Упоминаются возможные области тестирования: голосовое управление оборудованием, обработка больших объемов однотипных запросов в контактных центрах, однако в докладе и статьях примеров подобного тестирования нет за исключением реконструкции глагольных классов на основе таксономии аргументов проекта Лексикограф. Актуальность исследования определяется тем, что имеющиеся собственно алгебраические методы композиции векторов не отображают синтаксическую связь между словами. Новизна исследования эксплицитно не формулируется. Текст выпускной работы написан хорошим научным языком. Константин Владимирович хорошо представляет особенности, сильные и слабые места упоминаемых теорий и формализмов (в списке литературы 67 названий: 4 на русском языке и 63 работы на английском), однако текст зачастую показывает лишь результат рассуждений автора (интересных, но не очевидных). В тексте не представлена аргументированная позиция автора и сходно с формулировкой новизны исследования не ясен конкретный вклад автора исследования в развитие концепции композициональности, гибридного характера систем описания семантики. В дальнейшем диссертационном исследовании необходимо показать систему аргументов в пользу того или иного принимаемого решения.   Практическая часть работы также требует расширения в плане полноты принципов композициональности. Необходимо исчерпывающе представить композиции на уровне словосочетаний (центрированные и нецентрированные синтаксические группы слов: отец и сын, отец с сыном, сад и огород, портрет жены художника, город-сад, три сына и проч.), предложений (с явной и скрытой предикацией, предложения фразеологизированной структуры, фразеосхемы: дети играют в саду; идет дождь; у меня есть автомобиль; у меня нет автомобиля; ехать так ехать и проч.) и что самое главное больших текстовых фрагментов — сферхфразовых единств, текста.   В общем и целом выпускная работа Соколова Константина Владимировича представляет собой законченное квалифицированное исследование, обнаруживающее высокий уровень понимания и изложения научного текста. Потенциал работы Константина Владимировича очевиден, нет сомнений, что на базе защищаемой выпускной работы будет создано значимое диссертационное исследование. Работа отвечает всем требованиям, предъявляемым к работам такого типа, и заслуживает высокой оценки.     Доцент кафедры математической лингвистики к.ф.н., доц. И.В.Азарова