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

«УТВЕ1'ЖЛА1О» Замсститсль директора аботс В.М. Симонов 016 г. ОТЗЫВ ВЕДУЩЕИ О1хГАНИЗАЦИИ Федерально~ о ~ осударствсццого автономного научного учрсждсция «11сцтр информационных тсхцологий и сисгсм оргапов исполцитсльцой власти» (Ф1 'Л11У 1 1И 1'иС) ца дисссрз ацию ЗАХАРОВА Лцдрся Ссргссвича «Методы и а;поритмы моделировании приближенных рассуждений на основе тсмпоральных нечетких байссовских сетей», црсдставлсш1ую на соискание ученой стецсци кандидата гсхцичсских наук по с~~сциальцости 05.13.17 «Теоретические основы информа гики» 1. Степень актуальносги и обоснованности выбранного направления диссср гационного исследования Дисссртациоцпая работа Захарова Лцдрся Сергеевича.

вьшолцсццая в филиале фсдсраш,иого государственного бюджспюго образоватсльцого учреждения высшего образования «11ациоцальцый исследовательский уцивсрситст «М'.)И» в г. Смоленске„цосвягцсца решению актуальной проблемы создания мстодов, моделей, алгоритмов и программш ~х средств моделирования цриближсцных рассуждений ца основе гсм1юральиых цсчстких байссовских сетей для цовышсция качества и оперативности обработки информации и знаний в ицтсллсктуальцы х систсмах, 11ссмогря ца активцыс исследования в сфере создапия нау пюмстодичсскш о„алгоритмического и црш раммцого обссцсчсция для модслировация рассуждений в условиях цсоирсдслсццости, сугцсствусз целый ряд цроолсм, существенно затрудця1ощих рсшсние как тсорсгичсских, так и прикладных задач в ггой области.

Суьцссгасццой проблемой являстся посгросцис адекватных модслсй рассуждений в условиях неопределенности разли шого типа 1стохастичсской, статистической, цсстохастичсской) с учетом временных зависимостей. В этих условиях, как правило, цслссообразцо использовать методы и модели тсории нечетких множеств, нечетких вычислений и теории всроя.пюстсй. Одцако лля извесп)ых моделей рассужлеиий в ус>п>виях стохастичсской. Статистической и псстохастичсской псоирелслсипости, и в час'!Ил)сти, лля байссовских се гей ло- ВсРиЯ» !юиЯтис ВРсмспи ис 11>!)Рма.'!изОВапо, а сУИ)сствУИ)1иис мстОлы и а;)гОРитмы прямою и обратно!.о вывода с использоваиисм тгих молслсй ие;!Оста!Очно ориентированы иа рсшсиие задач молслироваиия рассуждений в ус,и)виях иеои- РСЛЕЛЕИПОСтИ С УЧЕЯ!Х>м ВРСМСИИЫХ ПРИЧ)ЛШ!О-СЛСЛСтВСИИЫХ СВЯЗЕЙ.

11отн)му особую актуальность приобретьиот задачи исследования и разработки мс)олов, алгоритмо)з и программи),1х срс»1ств молсли1зоваиия ир))ближеииых рассужлсний с учетом временных зависимостей. Все вьш)ссказашюс позволяет слслаз.ь вывод, что тема.1ика лаииого лиссср!ациошн>!о исслсЛоваиия выбрана обое)иплаио„а сама Лиссертация посвящена рсшсиию актуальиой научной задачи, имеющей суп!сствешюе теоретическое и практическое зиачсиис. В лаипой лисссртациошюй работе автором решается широкий спектр залач исследования и разработки научно-мстолического и алгоритмического обеспечения, а также создания ирограммиых срс;1ств молслироваиия приближенных рассуждений с учетом временных зависимостей.

2. Структура н краткое описание солержаннн днссертапноьнпп о нсслелованнн Диссертация Захарова Л.С. включает в себя ввслепие, четыре главы, зак.иочеиие, список литературы и приложение. Солсржаиис диссертации изложе!и иа 147 страпицах машинописного текста. Список литературы включает в себя 113 наименований и содержит основные совремеппыс публикации )ю рассма)- риваеьюй проблематике, иа ко>орые в тексте лиссертации слслаиы коррскпп!с ссылки.

Все материалы. содержащиеся в лиссерзации, оформлспы в соотвстс)вии с ирелъявлясмыми трсбоваииями, снабжены исобхолимым лля обосповашюго рецеизироваиия числом рисунков, таблиц, формульиых выражений. Лвгореферат влекла гио и иолио отражает солержапие лисссртации. ВНИИ Исг СРтаин бОС ЮН~Н~ аК »ПЗ ВВ С>г ИИ»» ОП ~ »ПЕ ППС- сертации, сформулированы цель, научная заЛача и частные задачи исслеловашля, определены объект и прелмет исслсловаиия, отражена )гаучпая 1ювизиа, практическая ценность рсзульта!Ов, а также ирсдстшллсиы вьшосимые иа )аилиту 1и)ложсиил. 1» ппрнон и» с Пи сдр впво (сто.

13-44) провсвсн аннина ~у пс" вро вин~ мстолов, молслсй и программных средств моделирования рассуждспи)л в условиях псопрслелс)шости. СЭиисаца специфика мстолов вывода в условиях исоирелелешюсти. 11роаиализировапы су!цествуюплие вероятиостиыс ).рафичсскис модели, используемые лля реализации вероятиосзш>го вывода. 1!рсдс>валс)га клас- СИЧ)ИКВЦИЯ И Лапа СРсп>ИИ1С'И»паЯ ОЦСИКВ ИРО!'РВММИЫХ СРС„'1С'1'В МОЛЕЛИРОВпп)ИЯ ириближсш)ых рассуждений )га основе байесовских сетей доверия. 0дс!гаии1»!с (ю )эсзу!11»!я! ам прове»!сивого аиа!1и га н!»1во;и»1 !(О !ВО:!или ОООО" иовать актуальность, !Соре!.ичсскчо и практическую зиачикп!сгь выбрашк1й в диссертации иаучиой задачи и выполнить развсриутую (юстаиовку за,гач исслсдоваиия. Во вго!зой главе (сгр.

45 — 92) разрабо(аи новый тии исчстких байссовских ссгсй доверия — гсмиоральиыс исчсткис байссовскис сети — для модслироваиия рассуждений в условиях стохастичсской и исстохастичсской исоирсдслс!шости. ! )рсдложси способ построения указаииых модслсй. Создяи мс !.од модслироваиия ириближсииых рассуждений иа осцовс ирсдложсииых моделей, который вклн1- чает в себя глюсобы как прямого, так и обратного вывода. В(трупдйги» ( тр Ор((6(црыыгг я и(и раарЫ ааиыс р тиы ыодслироваиия ириближсшгьгх рассуждений иа основе тсмиоральиых нечетких байссовских ссгсй, ориситироваииыс иа рсшсиис коикрстиых ирактичсских задач и основывающиеся иа ирсд»к!жсииых во второй главе с!к!сооях ирямо(о и обрап(<по выводя, а также иа их совмсстиом исиользовги(ии. ! )а осиовс ирсдложсниых методов, моделей и алоритмов сироскгироваиы и рсализовяпы ирограммш 1с срсдсгва модслироваиия ириближсииых рассуждений, ировсдсиа оцсика глюжиости их реализации, вьшо шсио тсстироваиис и указаны рскомсидусмыс аииаратиыс требования.

(!ля встраивания в существу!ощие системы и оптимизации иаиболсс часто вьшолиясмых задач создана библиотека ирограммиых фуикций. В тожр~вт псаис (стр. ((т — (т(! .««» нона окрика тффскти юсти (а~~- с ! ва и оисративиосги) исиользоваиия созданных методов, модслсй, алгори гмов и разработаииых ирограммиых средств иа примерах реп(сиия задач модслироваиия приближенных ряссуждсиий в различных ирсдмстиых областях: ири аиализс головиой боли иаиряжсиия ищиситов с учетом сопутствующих факторов; ири оцсикс рисков иссчастиых случаев иа оиасиых ироизводствсииых объск(ах.

В закл!очсиии ирсдставлсиы 1к!лучсииыс иаучиыс и ирактичсскис результаты диссертационного исследования. В изи!(ожсиии представлены акты об использовании рс!ульгггтов диссертации в 000 «Лечебно-диагиостичсская клиника «Еардиойита», 000 «Софт-Сервис», в филиале Ф! ЬОУ ВО «))ИУ «М".зИ» в г. Смоленске. 3. Значнмосг1, результатов, лично полученных автором диссертации, длн теории н практики Разработьишыс в диссертации гсмиоралы(ая исчсткая байссовская ссгь и метод приближенных рассуждсиий позволя(от учитывагь стохас(ичсскую и исстохастичсскук! исоирсдслсииость обрабатываемых да!шых, а такжс тсмиоральиыс иричииио-с!(сдствс!шыс зависимости и ьч(ося( сущссп<сииый вклад в совсршсиствоваиис извсстиых подходов к модслироваии(о приближенных рассуждений.

! !а основе прсдла> асмых в работе тсмпоральных нечетких байссовских сетей создан метод моделирования приближенных рассуждений, ориентированный на про> раммпую реализацию. Для рсали>ации предлагаемых методов и моделей разрабгпапо алп>ритмическое обеспечение и программные срсдсзва моделирования приближспшях рассуждений, включающие в себя модули: визуально> о редактора. описания нечетких чисел, нечеткой арифметики, валидации параметров моделирования„сети временных ограничений, прямых рассуждений.

обратных рассуждений, анализа результатов моделирования рассуждений, визуализации результатов анализа„построения и редактирования, валидации тсмпоральцой нечеткой байссовской сети, описания тсмпоральной нечеткой байссовской сети и доступа к данным. /!ля обеспечения возможности встраивания в сущсствующис системы моделирования рассуждений и автоматизированные информацио>шыс системы создана библио гека программных функций.

Вес теоретические и практические резульгаты, отраженные в материалах диссертации, получены автором лично. 4. Достоверность, обоснованность и соответствие паспорту специальности резулыа сов диссертации Обоснованность и досп>верность научных >юложспий и выводов, сформулированных в диссертации, подтверждается корректностью формулировок, использованием адскваззюго аппарата моделирования, анализа, а также проектирования про> раммш >х средств. Результаты практического применения нрсдлагасмых моделей и мстода согласованы с теоретическими выводами.

Выводы и предложения диссертационного исследования нс противоречат известным теоретическим и практическим рсзуз>ьтатам, содср>кащимся в работах отсчсствснн>ях и зарубежных ученых по вопросам исследования и разработки мсп>дов средств представления знаний, отражаюп!их динамику процессов, а также моделирования рассуждений различных типов. ) 1аучныс положения, выводы и рекомендации диссертации соответствуют паспорту специальности 05.13. ! 7, а именно; пункту 4, «Исследование и разработка средств представления знаний. 11ринцип>я создания языков представления знаний, в гом числе „щя п.юхо структуриров шных предметных областей и слабоструктурированных задач; разрабо>- ка интегрированных средств представления знаний, средств представления знаний, отражающих динамику процессов, концспзуальпых и семиотических моделей предметных областей» в части разработки способа построения тсмпоральной нечеткой байссовской сети, которая позволяет создавать как одномомсчгп>ыс, гак и врсмспныс причшн>о-следственные связи, учитына>ощис стохастичсскис и нсстохастичсскис ~сопрсдслсн*ости„.

пункту 8. «Исследование и когпитивнос моделирование и>п.сллскта, вклк>- чая моделирование поведения, моделирование рассуждений различных типов„ моделирование образного мьшшсния»: в части создания могола моделирования приближенных рассуждений иа основе темпоральпой нечеткой б>айссовсксэй сети, включакпций в себя способы прямого и обратного вывода и позволякпций за счет учета временных зависимостей повысить качество и оперативность результатов моделирования.