ОТЗЫВ

Научного руководителя на выпускную квалификационную работу Потаповой В.В.

«Метаэвристический поиск как средство вывода в вероятностном программировании»

Данная работа посвящена разработке и реализации методов метаэвристического поиска, в частности, генетических алгоритмов и имитации отжига, для весьма нестандартных объектов – следов выполнения вероятностных программ. Данное исследование представляется актуальным как для области вероятностного программирования, в которое оно привносит новый тип языковых конструкций – оптимизационные запросы (которые, как показали эксперименты, могут быть более эффективны, чем семплирующие запросы в вероятностных языках программирования, разрабатываемых в Оксфордском университете и МТИ), так и для области генетического программирования, для которого оно предоставляет подход к построению универсальных библиотек генетического программирования. В этой связи и научная новизна работы не представляет сомнения. При этом результаты работы опубликованы в 7 статьях, в том числе в научных изданиях, входящих в Scopus, в том числе без соавторства научного руководителя, и лично докладывались студентом на двух конференциях (одна из которых – международная конференция по общему искусственному интеллекту).
Стоит подчеркнуть существенную нетривиальность решенной задачи: в обычных генетических алгоритмах скрещивание и мутации выполняются над массивами фиксированной длины; в генетическом программировании они выполняются над кодами программ; здесь же они выполняются над программами в процессе их выполнения. Последнее требует встраивания генетического программирования и имитации отжига в процесс интерпретации программ на вероятностном языке. Самостоятельное решение данной задачи студентом свидетельствует о достаточно глубоком понимании принципов работы как интерпретаторов, так и методов поиска.
В целом поставленные в работе цели и задачи достигнуты, сама работа удовлетворяет требованиям, предъявляемым к выпускным квалификационным работам бакалавра и заслуживает оценки «отлично» (A).