Выписка из протокола заседания диссертационного совета (1149690), страница 2
Текст из файла (страница 2)
Также актуальность подтверждается широтой области применения иного класса вероятностно-графических моделей, являющихся родственными разрабатываемому в рамках исследования, — байесовских сетей доверия. Они используются в множестве областей. включая медицину, оценку рисков, финансы, задачи классификации и иные; алгебраические байесовские сети могут стать промежуточным звеном машинного обучения байесовских сетей доверия в условиях «несовершенства> информации (ппрег)ес! ш(оппа!)оп), на основе которой производится обучение. Практическая значимость результатов диссертационного исследования заключается в том, что ее результаты позволили спроектировать комплекс программ на языке С4 для проведения вычислительных экспериментов.
Кроме того, теоретические результаты исследования могут быть использованы при подготовке дисциплин для студентов математических и технических специальностей. Наконец, факт развития аппарата логико-вероятностного вывода в диссертационной работе А.А. Золотина позволяет сделать шаг в развитии синтеза байесовских сетей доверия на основании данных с неопределенностью различных видов. Обоснованность и достоверность полученных результатов подтверждается широкой апробацией результатов исследования на 15 конференциях и публикациями по материалам диссертации (37 публикаций), включая 1 монографию, 9 статей в журналах, входящих в перечень российских рецензируемых научных журналов„в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук, 9 публикаций в изданиях, входящих в международные реферативные базы Бсорця/ЖеЬ от Бс)енсе, и ! свидетельство о государственной регистрации программы для ЭВМ.
Все выносимые на защиту результаты в достаточной мере отражены в опубликованных работах. Диссертация прошла проверку в системе Ап11р!ая)а! на предмет выявления объема текстовых совпадений между текстом диссертации и источниками, авторство которых установлено. для рассмотрения диссертации как оригинальной научно-квалификационной работы. Текстовых совпадений 6%. Диссертация Золотина Андрея Алексеевича может считаться полностью оригинальной авторской научной работой. В диссертации отсутствуют недостоверные сведения о работах, опубликованных соискателем. В работе Золотина Андрея Алексеевича: 1.
Сформулированы и доказаны теоремы о матрично-векторных уравнениях локального апостериорного вывода для различных видов фрагментов знаний и типов оценок вероятностей истинности элементов; описан алгоритм выражения предложенных векторов через вектора малой размерности: 2/4 2. Исследована модель фрагмента знаний, построенная над идеалом дизъюнктов и предложены матрицы перехода от вектора вероятностей элементов идеала дизъюнктов к векторам вероятностей элементов идеала конъюнктов и набора пропозиций-квантов; 3. Разработан алгоритм покомпонентного вычисления векторов, участвующих в расчете нормирующих множителей в алгоритмах апостериорного вывода; 4. Сформулированы, с учетом новой матрично-векторной формализации, ограничения и построены задачи линейного программирования для первой и второй задач апостериорного вывода в случае неточного свидетельства или интервальных оценок вероятностей элементов фрагмента знаний; 5.
Предложен способ, описывающий пропагацию виртуального свидетельства между двумя фрагментами знаний алгебраической байесовской сети, основу которого составляет матрица, указанная в пункте 2 итогов исследования; 6. Разработаны методы оценки чувствительности и дана оценка чувствительности первой задачи уравнений локального апостериорного вывода для фрагментов знаний над идеалом конъюнктов, идеалом дизъюнктов и набором пропозиций-квантов; 7. Спроектирован и разработан комплекс программ на языке Сл, реализующий локальные структуры и алгоритмы логико-вероятностного вывода, включая априорный вывод, апостериорный вывод, проверку и поддержание непротиворечивости для проведения вычислительных экспериментов; разработан графический пользовательский интерфейс, дающий доступ ко всем функциям комплекса программ, а также веб-интерфейс, дающий возможность коллаборативной работы с рассматриваемыми структурами и их визуализациями. Все полученные результаты являются новыми, причем математические результаты строго доказаны и достоверны, а комплекс программ исполыювался в вычислительных экспериментах.
Комиссия считает, что диссертация Золоти на Андрея Алексеевича соответствует критериям, которым должна отвечать диссертация на соискание ученой степени кандидата наук (пп. 9 — 11, 13,14 «Положения о присуждении ученых степеней»). Комиссия рекомендует принять к защите на диссертационном совете Д 212.232.51 диссертацию на соискание ученой степени кандидата наук Золотина Андрея Алексеевича «Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях» по специальности 05.13.17— Теоретические основы информатики (физико-математические науки). Комиссия рекомендует утвердить официальными оппонентами компетентных в соответствующей отрасли науки ученых, имеющих публикации в областях математической логики, информатики, искусственного интеллекта, знаний с неопределенностью, нечетких систем и мягких вычислений: 3/4 1, Доктора физико-математических наук, заведующего кафедрой математического обеспечения ЭВМ факультета прикладной математики, информатики и механики Воронежского государственного университета Махортова Сергея Дмитриевича 2.
Кандидата физико-математических наук, доцента, заместителя декана факультета прикладной математики и кибернетики ПМиК по научной работе, доцента кафедры информационных технологий Тверского государственного университета Солдатенко Илью Сергеевича Комиссия рекомендует утвердить в качестве ведущей организации широко известный своими достижениями в области информатики и информационных технологий, автоматизации процессов и способный определить научную ценность диссертации ведущий университет: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский Государственный Технологический Институт (Технический Университет)».
Косовская Татьяна Матвеевна Председатель комиссии: Члены комиссии: Бурова Ирина Герасимовна Поздняков Сергей Николаевич «-~-~~ февраля 2018 г. 4/4 .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
