ИСТИНА

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