1 |
1 января 2014 г.-31 декабря 2014 г. |
Моделеориентированный подход в инженерии программных систем искусственного и нтеллекта |
Результаты этапа: Было проведено теоретическое исследование и анализ процессов прямой и обратной инженерии программных систем искусственного интеллекта. В результате проведенного анализа подходов к решению проблем инженерии, а также с учетом специфики и требований программных систем искусственного интеллекта (адекватность и наглядность представления знаний, управление знаниями), в качестве основы была выбрана объектно-ориентированная парадигма программирования. При этом проблема адекватности представления обеспечивается тем, что знания представляются посредством классов, ассоциаций, объектов и соединений; а наглядность представления должна быть обеспечена за счёт использования графических объектных языков.
В ходе первого этапа исследований был предложен подход к решению задач инженерии знаний при помощи языка UML (Unified Modeling Language) и универсальных инструментов разработки программных систем, в частности, систем целенаправленного планирования. Рассмотрена проблема трансформации традиционного для программных систем искусственного интеллекта текстового описания предметных областей, задач и планов в объектные модели с целью последующего использования языков универсального моделирования как основы современных технологических инструментов программной инженерии.
|
2 |
1 января 2015 г.-31 декабря 2015 г. |
Моделеориентированный подход в инженерии программных систем искусственного и нтеллекта |
Результаты этапа: Было продолжено теоретическое исследование и анализ процессов прямой и обратной инженерии программных систем искусственного интеллекта. В результате проведенного анализа подходов к решению проблем инженерии, а также с учетом специфики и требований программных систем искусственного интеллекта, особое внимание уделялось современным направлениям в области программной инженерии – предметно-ориентированным языкам с визуальной поддержкой процессов инженерии (VDSML). Рассмотрены также методы построения инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ.
В ходе второго этапа исследований была выполнена работа в рамках современного подхода, связанного с применением графических предметно-ориентированных языков для представления знаний. Был предложен язык представления знаний систем планирования, основу которого составляет метамодель планирования, определяющая основные термины языка и правила их совместного использования. Язык обладает выразительными средствами, необходимыми для моделирования предметных областей и условий задач, графические примитивы языка дают возможность адекватно и быстро построить модель, по которой могут быть сгенерированы описания на других языках моделирования.
Результаты исследований второго этапа работ по проекту в июне 2015 г. были представлены на Международную конференцию по проблемам анализа архитектурных моделей ответственных программно-аппаратных систем и инструментальных средств поддержки, а также частично использованы в учебном процессе при формулировке тем исследований дипломных и квалификационных работ студентов.
|
3 |
1 января 2016 г.-31 декабря 2016 г. |
Моделеориентированный подход в инженерии программных систем искусственного и нтеллекта |
Результаты этапа: Выполнено теоретическое исследование и анализ процессов прямой и обратной инженерии программных систем искусственного интеллекта. Проведен анализ методов построения инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ.
С учетом специфики и требований программных систем искусственного интеллекта, в ходе исследования подходов к решению проблем инженерии, особое внимание уделялось современным подходам и направлениям в области программной инженерии – предметно-ориентированным языкам с визуальной поддержкой процессов инженерии (VDSML). Проведено исследование проблемы моделирования знаний решателей задач и планировщиков средствами языка универсального языка моделирования (UML), разработан подход к валидация описаний на унифицированном языке моделирования с использованием текстовых объектных спецификаций и методов трансформации поведенческой части модели. В ходе исследований по проекту была выполнена работа в рамках современного подхода, связанного с применением графических предметно-ориентированных языков для представления знаний. Был предложен язык представления знаний систем планирования, основу которого составляет метамодель планирования, определяющая основные термины языка и правила их совместного использования. Язык обладает выразительными средствами, необходимыми для моделирования предметных областей и условий задач, графические примитивы языка дают возможность адекватно и быстро построить модель, по которой могут быть сгенерированы описания на других языках моделирования.
Результаты исследований по проекту были представлены на трех Международных конференциях |