ИСТИНА

Было продолжено теоретическое исследование и анализ процессов прямой и обратной инженерии программных систем искусственного интеллекта. В результате проведенного анализа подходов к решению проблем инженерии, а также с учетом специфики и требований программных систем искусственного интеллекта, особое внимание уделялось современным направлениям в области программной инженерии – предметно-ориентированным языкам с визуальной поддержкой процессов инженерии (VDSML). Рассмотрены также методы построения инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ. В ходе второго этапа исследований была выполнена работа в рамках современного подхода, связанного с применением графических предметно-ориентированных языков для представления знаний. Был предложен язык представления знаний систем планирования, основу которого составляет метамодель планирования, определяющая основные термины языка и правила их совместного использования. Язык обладает выразительными средствами, необходимыми для моделирования предметных областей и условий задач, графические примитивы языка дают возможность адекватно и быстро построить модель, по которой могут быть сгенерированы описания на других языках моделирования. Результаты исследований второго этапа работ по проекту в июне 2015 г. были представлены на Международную конференцию по проблемам анализа архитектурных моделей ответственных программно-аппаратных систем и инструментальных средств поддержки, а также частично использованы в учебном процессе при формулировке тем исследований дипломных и квалификационных работ студентов.