Диссертация соответствует профилю совета и специальности 05. 13. 17 теоретические основы информатики по физико-математическим наукам

Члены комиссии: д.ф.-м.н., профессор С.В.Алешин, д.ф.-м.н., профессор М.И.Кумсков

1. 
   Диссертация соответствует профилю совета и специальности 05.13.17 – теоретические основы информатики по физико-математическим наукам.
   
2. 
   Основные результаты диссертации опубликованы в открытой печати в 13 работах автора, 3 из которых в изданиях, входящих в «Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертаций на соискание учёных степеней доктора и кандидата наук». Получено свидетельство о регистрации компьютерной программы. Представленные в диссертации материалы в надлежащей полноте отражены в работах, опубликованных диссертантом. Результаты других авторов, упомянутые в тексте диссертации, отмечены соответствующими ссылками.
   
3. 
   Текст автореферата соответствует содержанию диссертации.
   
4. 
   Рекомендуемые официальные оппоненты и ведущая организация:
   

• 
  д.ф.-м.н., проф. И.Б.Бурдонов, вед.н.с. Института системного программирования РАН;
  
• 
  д.т.н., проф. Ю.Ю.Громов, директор Института автоматики и информационных технологий ФГБОУ ВПО «Тамбовский государственный технический университет;
  
• 
  НИУ МГТУ им. Н.Э.Баумана.
  

Они являются специалистами в исследуемой области (имеются работы, близкие к теме диссертации соискателя).

Разработана новая методология обратного вывода в логических системах продукционного типа, направленная на снижение числа обращений к внешним устройствам.

Предложены, обоснованы и апробированы различные способы выбора параметров релевантности для процессов релевантного и кластерно-релевантного LP-вывода.

Разработаны параллельные алгоритмы релевантного и кластерно-релевантного LP-вывода, а также параллельные алгоритмы вычисления истинных прообразов в LP-структурах.

Создана новая версия интегрированного программного пакета LPExpert, предназначенного для разработки и эксплуатации продукционно-логических систем. Она реализует все перечисленные выше алгоритмы, параллельные вычисления и стратегии релевантности.

Выполнены массированные вычислительные эксперименты и проведено подробное исследование полученных результатов методами математической статистики. Таким образом формально обоснованы преимущества новой методологии обратного вывода в различных ее модификациях.

Выносимые на защиту научные результаты диссертации получены лично автором, являются новыми и обоснованы строгими математическими доказательствами и статистической обработкой результатов тестирования. Результаты других авторов, упомянутые в тексте диссертации, отмечены соответствующими ссылками.

Результаты исследования докладывались на следующих конференциях и семинарах:

• 
  IV Международной научной конференции «Современные проблемы прикладной математики, теории управления и математического моделирования» (ПМТУММ-2011) (Воронеж, 2011);
  
• 
  III Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2011) (Новосибирск, 2011);
  
• 
  X Всероссийской научной конференции «Нейрокомпьютеры и их применение» (НКП-2012) (Москва, 2012);
  
• 
  Международной молодежной конференции-школе «Современные проблемы прикладной математики и информатики» (MPAMCS’2012) (Дубна, 2012);
  
• 
  V Международной научной конференции «Современные проблемы прикладной математики, теории управления и математического моделирования» (ПМТУММ-2012) (Воронеж, 2012);
  
• 
  Международной конференции «Актуальные проблемы прикладной математики, информатики и механики» (Воронеж, 2012);
  
• 
  XI Всероссийской научной конференции «Нейрокомпьютеры и их применение» (НКП-2013) (Москва, 2013);
  
• 
  International Conference “Distributed Intelligent Systems and Technologies (DIST’2013)” (St. Petersburg, July 1–4, 2013);
  
• 
  International Conference “Mathematical Modeling and Computational Physics” (MMCP’2013) (Dubna, July 8–12, 2013);
  
• 
  Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2013) (Новосибирск, 2013);
  
• 
  научном семинаре «Проблемы современных вычислительных систем» механико-математического факультета МГУ имени М.В. Ломоносова, рук. В.А. Васенин (Москва, 2013);
  

1. 
   Болотова С.Ю. Алгоритмы релевантного обратного вывода, основанные на решении продукционно-логических уравнений / С.Ю. Болотова, С.Д. Махортов // Искусственный интеллект и принятие решений. – 2011. – № 2. – С. 40–50.
   
2. 
   Болотова С.Ю. Алгебраическая модель релевантного обратного вывода на основе решения уравнений / С.Ю. Болотова // Математическое моделирование. – 2012. – № 12, т. 24. – С. 3–8.
   
3. 
   Болотова С.Ю. Применение многопоточности в релевантном LP-выводе / С.Ю. Болотова // Нейрокомпьютеры. Разработка, применение. – 2013, № 9. – С. 53–57.
   
4. 
   Болотова С.Ю. О релевантном обратном выводе в системах знаний продукционного типа / С.Ю. Болотова, С.Д. Махортов // Третья Всероссийская конференция с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2011). Новосибирск, 3–5 октября 2011г.: Материалы конференции. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2011. – Т.1. – С. 73–77.
   
5. 
   Болотова С.Ю. Релевантный обратный вывод и верификация знаний на основе решения уравнений / С.Ю. Болотова // X Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2012), Москва, 20 марта 2012 года. Тезисы докладов. – М: МГППУ, 2012. – С. 12.
   
6. 
   Болотова С.Ю. Алгебраическая модель релевантного обратного вывода на основе решения уравнений / С.Ю. Болотова // Современные проблемы прикладной математики и информатики (MPAMCS’2012): Тезисы докладов международной молодежной конференции-школы (Дубна, 22–27 августа 2012г.). – Дубна: ОИЯИ, 2012. – С. 67–69.
   
7. 
   Болотова С.Ю. Использование параллельных вычислений в методе релевантного обратного вывода / С.Ю. Болотова // XI Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2013), Москва, 19 марта 2013 года. Тезисы докладов. – М: МГППУ, 2013. – С. 16.
   
8. 
   Bolotova S. Multi-threaded relevant LP-inference / S. Bolotova, S. Makhortov // Distributed Intelligent Systems and Technologies (DIST’2013): Proceedings of the International Conference (St. Petersburg, July 1–4, 2013). – St. Petersburg: Spbstu, 2013. – Pp. 7–14. (In English)
   
9. 
   Bolotova S. Using multi-threading in the relevant LP-inference method / S. Bolotova, S. Makhortov // Mathematical Modeling and Computational Physics (MMCP’2013): Book of Abstracts of the International Conference (Dubna, July 8–12, 2013). – Dubna: JINR, 2013. – P. 58. (In English)
   
10. 
    Болотова С.Ю. Использование параллельных вычислений в методе релевантного обратного вывода / С.Ю. Болотова // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2013). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. – Т.1. – С. 50–59.
    
11. 
    Болотова С.Ю. Стратегии релевантного обратного вывода на основе решения логических уравнений / С.Ю. Болотова // Современные проблемы прикладной математики, теории управления и математического моделирования (ПМТУММ-2011): материалы IV Международной научной конференции. – Воронеж : ИПЦ ВГУ, 2011. – С. 37–40.
    
12. 
    Болотова С.Ю. Статистика релевантного обратного вывода / С.Ю. Болотова // Современные проблемы прикладной математики, теории управления и математического моделирования (ПМТУММ-2012): материалы V Международной научной конференции (Воронеж, 11–16 сентября 2012 г.) – Воронеж : ИПЦ ВГУ, 2012. – С. 48–50.
    
13. 
    Болотова С.Ю. Статистические результаты релевантного обратного вывода / С.Ю. Болотова // Актуальные проблемы прикладной математики, информатики и механики: Сб. трудов Международной конференции (Воронеж, 26–28 ноября 2012 года), ч.2. – Воронеж : ИПЦ ВГУ, 2012. – С. 45–49.
    
14. 
    Болотова С.Ю. Библиотека ParallelLPInference / С.Ю. Болотова // Свидетельство о государственной регистрации программы для ЭВМ. – М.: Федеральная служба по интеллектуальной собственности. – № 2013617293 от 04.10.2013.