Отзыв ведущей организации (1149694), страница 2
Текст из файла (страница 2)
Поставленные задачи линейного программирования позволяют рассматривать фрагменты знаний и свидетельства с интервальными оценками вероятностей. В то же время реализация моделей фрагментов знаний и алгоритмов пропагации (распространения) свидетельства в рамках комплекса программ представляет также и практическую значимость, давая возможность протестировать описанную модель. Кроме того, комплекс программ может быть использован как для проведения вычислительных экспериментов, что немаловажно для тестирования модели в рамках новых исследований, так и в учебном процессе, наглядно демонстрируя изучаемую теорию на конкретных примерах, а также открывая возможность для компаративного анализа, в который будет вовлечена как теория алгебраических байесовских сетей, так и теория байесовских сетей доверия вместе с теориями других вероятностных графических и родственных моделей.
Кроме того, развитие глобального апостериорного вывода вкупе с алгоритмами синтеза вторичной структуры позволяет сделать очередной шаг в распространении результатов локального вывода на операции, связанные с глобальными структурами. Данные результаты являются важными как в рамках синтеза оценок вероятностей истинности, так и в рамках машинного обучения структуры алгебраических байесовских сетей, а на ее основе— и байесовских сетей доверия.
Наконец, стоит также отметить, что алгебраические байесовские сети могут найти применение в теории надежности и оценке степени защищенности от социо-инженерных атак, например, когда в исходных данных скалярные оценки вероятностей недоступны и (или) когда предположение независимости определенных событий (утверждений) нуждается в релаксации.
В целом, результаты диссертации значимы для области искусственного интеллекта как отрасли физико-математической наук, развивая существующие и предлагая новые модели и алгоритмы анализа данных в условиях дефицита информации, а также представления и обработки знаний с неопределенностью. замеча Замечания по тексту диссертации В ходе работы по анализу текста диссертации, было сформулировано несколько ний и вопросов: В формуле 2.8 при описании формирования матрицы Т *1 впервые вводится символ (г.
) (9, однако его определение дается позже, уже в третьей главе; На рисунке 3.1, схематично иллюстрирующем алгоритм пропагации стохастического свидетельства в фрагмент знаний с скалярными оценками вероятностей, носитель фрагмента-свидетельства и фрагмента, куда свидетельство поступает, представлены одинаковыми буквами. Для лучшего понимания рисунка стоило добавить нижние индексы; . При описании способа распространения виртуального свидетельства соискателю можно было упомянуть как полученные результаты употребимы в алгебраических байесовских сетях над фрагментами знаний с иными носителями, им же самим упоминаемыми (идеал дизъюнктов, набор пропозицнй-квантов); . В теореме 3.3.2 при описании векторов, из которых состоит вектор-селектор а "~ допущена помарка — вместо символа использован О; При описании комплекса программ, реализующего алгоритмы апостериорн ого вывода, в третьей главе„вместе с описанием публичного контракта, предлагаемого библиотекой, стоило привести больше примеров использования данного контракта с целью ознакомления; В доказательстве теоремы 3.3.1 соискатель производит преобразования уравнения для решения первой задачи, изложенные в начале 67 страницы, в результате которых Л1 получает произведение Кронекера и матриц на вектор ~ ~.
Здесь автор допускает незначительную ошибку, не убрав указание степени [зги у вектора, занесенного внутрь произведения; В уравнении 3.19 автор переходит от нормирующего множителя для идеала конъюнктов к нормирующему множителю для идеала дизъюнктов, но опускает пояснение данного перехода; В тексте диссертации, рассуждая об уравнениях логико-вероятностного вывода, соискатель использует термин "матрично-векторный", в то время как вектор является вырожденным случаем матрицы, что делает данное словосочетание в некоторой мере тавтологическим; 9.
Допущено несколько незначительных грамматических и лексических ошибок: пропущены запятые около "в противном случае" в разделе 2.6.2; в первом параграфе раздела 3.2 вместо "по принципу" написано "оп принципу*', в первом параграфе раздела 3.4.1 пропущены запятые около вводных слов; в параграфе перед уравнением 3.56 не хватает запятой после деепричастного оборота "Суммируя все вышесказанное..."; в первом параграфе раздела 4.2.3 лишняя запятая после "Говоря..."; Тем не менее, вышеуказанные замечания носят частный характер и не влияют на высокую значимость результатов диссертационного исследования.
Диссертация представляет собой законченную научно-квалификационную работу, соответствующую высоким критериям, предъявляемым к диссертациям на соискание ученой степени кандидата наук. Полученные результаты являются новыми, прошедшими апробацию, а также значимыми как с теоретической, так и с практической точки зрения. Личный вклад А.А. Золотииа описан в явном виде как в автореферате, так и в диссертации, и не вызывает сомнений, а количество публикаций подтверждает характеристику квалифицированного и работоспособного исследователя, Декан факультета информационных технологий и управления, д.т.н., профессор А.А.Мусаев Заключение Содержание диссертационного исследования «Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях» соответствует паспорту специальности 05,13,17 — Теоретические основы информатики в разделах 1, 2, 4, 5 и 8.
Автореферат достаточно полно отражает содержание диссертации, все результаты диссертационного исследования опубликованы, причем все основные результаты, выносимые на защиту, опубликованы в журналах из перечня российских рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора/кандидата наук, и (или) в изданиях, индексируемых в реферативных базах данных %оБЗСОР118. Полученные в ходе диссертационного исследования соискателем результаты в рамках теории алгебраических байесовских сетей и родственных моделей имеют высокую научную ценность, а также теоретическую и практическую значимость„ кроме того, вносят существенный вклад в развитие моделей знаний с неопределенностью и логиковероятностного вывода в условиях неопределенности как соответствующих отраслей теоретических основ информатики, искусственного интеллекта и мягких вычислений.
Каждый из результатов прошел апробацию на конференциях, что еще раз подтверждает их достоверность. Диссертация А.А. Золотина является завершенной научно-квалификационной работой и удовлетворяет всем требованиям действующей редакции "Положения о присуждении ученых степеней", предъявляемым к кандидатским диссертациям, в том числе — всем критериям, перечисленным в Разделе П указанного положения, включая изложенные в п.9 (второй абзац), а сам соискатель Андрей Алексеевич Золотин заслуживает присуждения степени кандидата физико-математических наук по специальности 05.13.17 Теоретические основы информатики.
Доклад Андрея Алексеевича Золотина заслушан на расширенном заседании кафедры системного анализа и информационных технологий СПбГТИ, Диссертационная работа и отзыв обсуждены и одобрены, протокол семинара №8 от "21" марта 2018 года. .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
