Отзыв оппонента 2 (Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей)

ОТЗЫВ официального оппонента на диссертационную работу ЗАХАРОВА Андрея С;ергсевичз «Методы я алеорптмы .Моделнроеаннл нрнближенных рассуждений на основе телторальных нечетких байесовских сетей», представленную на соискание ученой степени кандидата технических наук по специальностям 05.13.17 — Теоретические ОснОВы информатики Актуальность. В настоящее время весьма актуальной проблемой в области искусственного интеллекта является проблема моделирования приближенных рассуждений. Основными тенденциями исследований в этой сфере, направленных на решение данной проблемы„являются, во-первых, учет временных зависимостеи* при представлении и обработке экспертных данных, во-вторых, увеличение значимости визуализации и интерпретируемости результатов моделирования.

Указанные тенденции обуславливают актуальность темы диссертационного исследования Захарова А.С., посвященного решению задач создания и исследОВания методОВ, злгоритмОВ и программных средств моделирОвзния приближенных рассуждений на основе темпорзл ьных нечетких байесовских сетей. Представленная работа содержит введение, 4 главы, заключение, список литературы, включающий 113 наименований, 147 страниц текста, 36 рисунков, 12 таблиц„приложение. Во введении показана актуальность тематики диссертационного исследования, постаВлены цель и нйучная задача, Описаны научная новизна и практическая ценность результатов диссертации.

Первая глава посвящена рассмотрению существующих методов, моделей и средства для ~~д~~иро~~~и~ приб~~же~н~~ рассуждений. В рймках дйнной главы выполнено обоснование нечйтких оайесовских сетей доверия в качестве ~~~~вы раз1зйбйтывземых М~Д~~~Й приближенных рассуждений, й тйкже проведен сравнительный анализ существующего программного обеспечения для ре- ализации нечетких байесовских сетей доверия. Кроме того, в главе сформулированы требования к создаваемым моделям, методу и программным средствам ~од~лиро~вин~ приближенных рассуждений в условиях стохастической н нестохастической неопределенности.

Во второй главе диссертации описаны предложенные темпоральные нечеткие байесовские сети, а также разработан способ ее построения. Кроме того, получен ряд результатов для созданного метода приближенные рассуждений: предложена грамматика темпоральных высказываний для нечеткой байесовской сети и способ вычисления нечеткой вероятностной меры истинности для соответствующих высказываний, Создан метод моделирования приближенных рассуждений на базе сети временных ограничений и ~р~длагаемы~ темпоральных нечетких байесовских сетей. Третья глава посвящена рассмотрению архитектуры разработанных программных средств, а также представлению блок-схем алгоритмов, реализующих созданный метод моделирования приближенных рассуждений. Для каждого из рассмотренных алгоритмов приведена оценка его сложности.

В четвертой главе диссертации представлены результаты внедрения и использования разработанных программных средств. В заключении кратко описаны полученные результаты диссертации. В Приложении представлены акты использования результатов диссертации, Научная новизна результатов диссертации заключается в: ° предложенной темпоральной нечеткой байесовская сети ~ТНБС) и способе ее* построения для моделирования приближенных рассуждений, позволяющие задавать причинно-следственные отношения с учетом темпоральных зависимостей при стохастической и нестохастической неопределенности; е созданном методе моделирования приближенных рассуждений на основе ТНБС и сети ~р~~енных ограничений, ~~~ючающ~~ в себя ~~~с~б~ прямого и обратного вывода и позволяющим учесть в процессе моделирования задаваемые темпоральные зависимости для повышения качества результатов моделирования„ ° совокупности предложенных способов для построения ТНБС и применения разработанного метода приближенных рассуждений, в том числе, способа формирования темпоральных высказываний для ТНБС, способа расчета значений нечеткой вероятностной меры истинности темпоральных высказывай й.

Теоретическая значимость полученных результатов заклочается в развитии теории моделирования приближенных рассуждений за счет предложенных автором моделей, метода и алгоритмов. Практическую значимость результатов диссертации составляют: е разработанные алгоритмы: валидации ТНБС, определения согласованности темпоральных операгоров и отношений, обхода очередей узлов темпоральной н~четкоЙ байесовской сстй, прямого и обрат~ого вывода йа ТНБС; ° созданные программные средства для моделирования приближенных рассужден~Й для задач аналйза психозмоционального состо~ння пацйентов й оценкй рйсков небла~~~р~ят~~~ ~и~уациЙ на опасных пройзводственных объектах. Обосйоваийость йаучйых положений, взводов й рекомендаций, сформулированных и представленных в диссертации, подтверждаются корректным использованием методов исследования, включая методы моделирования рассуждений. темпоральной логики, теории нечетких множеств и отношений, теории нечетких вычислений.

Достоверность подтверждается успешной апробацией научных и практических результатов в ООО «Софт-Сервис»„000 «Лечебно-диагностическая клйиика «КардйоВита», а также йх внедрением в учебный процесс фйлиала ФГБОУ ВО «Национальный исследовательский университет «МЗИ» в г. Смоленске, что подтверждено актамй об использованйи результатов дйссертацйонной работы. Апробаций результатов и публикации. Основные результаты диссертационной работы опубликованы автором в 14 научных работах, 4 из которых— статьи в журналах из перечня ВАК при Минобрнауки России.

Опубликованные работ~ в ~ОЛНОЙ мере сражают содержание диссертации. По содержанию диссертации имеются следующие замечания: 1) Из материалов диссертационной работы не в полноЙ мере очевидно, чем обоснован выбор используемого способа введения нечеткости в байесовскне сети доверия, 2) Автор не уточняет, к ка~ому классу из рассмотренных в подразделе 1.4 Он ОтнОсит разрабОтанные программные средства моделирования приближенных рассуждений. 3) Рассматриваемый в подразделе 2.4 пример реализации метода приближенных рассуждений иллюстрирует, в основном, лишь способ прямого вывода на ТНБС„ однако, способ обратного вывода проиллюстрирован этим примером недостаточно подрооно. 4) В работе для вычисления значений нечеткой вероятностной меры истинности темпоральных высказываний 1с модальностью «когда-либо в прошлом») предлагается использовать предварительное ранжирование нечетких чисел путем упорядочивания нх индексов и приводятся примеры таких индексов, однако не указано,, какоЙ и~лекс бьш ис~ользован для решения практических задач, и в ка~ой мере зависят ре~уль~аты приближенно~о ~од~лирования От выбора данного индекса.

Указанные замечания не снижают научного уровня диссертационной работы, ее научной и практической значимости, Заключение. Диссертация Захарова А.С. Содержит решение поставленной научной задачи, имеющей существенное значение: создание и исследование методов и алгоритмов моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей. Решение указанной задачи позволяет повысить качество и оперативность моделирования приближенных рассуждений в условиях стохастической и нестохастической неопределенности.

Все поставленные задачи диссертационного исследования выполнены в полном объеме и с высоким качеством. Матерйал дйссертацйй йзложен логйчно и последовательно, создает целостное представление о развитии автором методов моделирования рассуждений. Содержащиеся в работе рисунки и таблицы представлены наглядно и хорошо иллюстрируют материалы диссертации. Представленная работа является самостоятельным и завершенным диссертационным йсследованием в областй развития научно-методйческого, алгоритмйческого й аппаратного ооеспеченйя моделйрованйя прйблйженйых рассуждений.

Диссертация выполнена на высоком научном уровне, характеризуется теоретической и практической значимостью. Полученные результаты достоверны, выводы и заключения обоснованы. Автореферат полностью отражает содержание диссертации, предоставляет необходимую информацию, характеризующую полученные результаты, основные положения и выводы. Представленная работа удовлетворяет требованиям «Положения о порядке присуждения ученых степеней» ВАК Минобрнауки России, а ее автор— Захаров Андрей Сергеевич заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13,17 — Теоретические основы информатики.

Ведущий научный сотрудник отдеча интеллектуальных систем Вычислительного центра им. А.А. Дородницына ФИЦ «Информатика и управление» РЛН доцент, к.ф.-м.н. Аверкин Алексую'Ййколавцйч У' ".ь Адрес:Москва, 117333, ул. Вавилова, 40„ ВЦ им. Л.Л. Дородницына ФИЦ «Информатика и управление» РАН Телефон; +74991354098 Е-тпа11: ачетЫп2003~айпЬох.ги .