Логические модели и интеллектуальные технологии для предметных областей с объектами сложной структуры

Цель диссертации – развитие класса логических моделей и технологии реализации инструментальных и прикладных интеллектуальных систем для автоматизации процессов решения прикладных задач в наукоемких предметных областях с объектами сложной структуры. Объект исследования – семейство предметных областей с объектами сложной структуры. Методы исследования: математическая логика, искусственный интеллект. Актуальность работы – необходимость создания технологий объяснимого искусственного интеллекта. Достигнутые результаты работы: 1) Разработан класс логических моделей. 2) Разработана технология автоматизации процесса формирования многоуровневых онтологий и баз знаний. 3) Разработаны методы создания интеллектуальной платформы. 4) Разработана технология создания систем с базами знаний. Область применения: разработка интеллектуальных платформ. Теоретическая значимость – разработка технологий реализации интеллектуальных систем. Практическая значимость: 1) разработана интеллектуальная платформа для создания интеллектуальных систем; 2) разработана интеллектуальная система решения классов задач определения реакционных способностей; 3) результаты использовались в учебном, научном процессах.