name: Методы и программные средства создания интеллектуальных систем с декларативными базами знаний на основе модельных трансформаций
keyword_list: прецеденты продукции модельно-ориентированный подход трансформации базы  знаний интеллектуальные системы программные средства языки методы
abstract: Цель диссертационного исследования состоит в разработке методов, языков, алгоритмов и программных средств, повышающих эффективность создания интеллектуальных систем с декларативными базами знаний продукционного и прецедентного типа пользователями – специалистами в предметных областях (конечными пользователями – неспециалистами в ИТ)  за счет поддержки визуального программирования, повторного использования концептуальных моделей и их трансформаций. В диссертации создан оригинальный метод проектирования декларативных баз знаний интеллектуальных систем, который в отличие от известных реализаций модельно-ориентированного подхода обеспечивает использование новых моделей, языков и платформ, реализующих возможность непосредственного участия пользователей – специалистов в предметных областях (конечных пользователей – неспециалистов в ИТ) на всех этапах процесса разработки. Разработан визуальный язык программирования продукционных баз знаний – RVML (Rule Visual Modeling Language), базирующийся на UML, характерной особенностью которого являются специализированные графические обозначения для представления элементов декларативных баз знаний и генерации программного кода. Предложен оригинальный текстовый декларативный язык программирования трансформаций концептуальных моделей – TМRL (Transformation Model Representation Language), который в отличие от известных описывает не только преобразуемые структуры и связи между ними, но и обеспечивает вызов внешних программных компонентов трансформаций. Разработаны методы проектирования программ трансформаций концептуальных моделей и программных компонентов-конверторов концептуальных моделей, отличающиеся от подобных использованием языка описания трансформаций моделей TMRL и реализацией принципов визуального программирования. Созданы алгоритмы и архитектура программных средств, обеспечивающие поддержку вышеупомянутых языков и методов, объединенные общей идеологией модельных трансформаций и формирующие новую технологическую платформу создания интеллектуальных систем с декларативными базами знаний продукционного и прецедентного типа. Разработанные методы и средства обеспечивают повышение эффективности обработки данных и знаний на основе модельных трансформаций в контексте создания программного обеспечения систем ИИ 
  конечными (непрограммирующими) пользователями.
chairman_dissertation_council.name: Александр
chairman_dissertation_council.surname: Толстоногов
chairman_dissertation_council.patronymic: Александрович
chairman_dissertation_council.position: советник
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Член-корреспондент РАН
chairman_dissertation_council.wos_research_id: A-5963-2016
chairman_dissertation_council.scopus_author_id: 55982959100
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Игорь
organization_supervisor.surname: Бычков
organization_supervisor.patronymic: Вячеславович
organization_supervisor.position: директор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.05.13
rubrics.name: Технология программирования. Автоматизация программирования.
rubrics.code: 28.23.39
rubrics.name: Интеллектуальные базы знаний
rubrics.code: 28.23.29
rubrics.name: Программная реализация интеллектуальных систем
rubrics.code: 28.23.13
rubrics.name: Инженерия знаний.
rubrics.code: 28.23.11
rubrics.name: Языки представления и языки манипулирования знаниями
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
oecds.code: 01.02.EP
oecds.name: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
supervisors.fio: Бычков И.В.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Геоинформатика
supervisors.responsible_type: Научный руководитель
opponents.fio: Гаврилова Т.А.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
opponents.responsible_type: Оппонент
opponents.fio: Еремеев А.П.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
opponents.fio: Ноженкова Л.Ф.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Вычислительные машины, комплексы и компьютерные сети
opponents.responsible_type: Оппонент
protection_organization.short_name: ИДСТУ СО РАН
protection_organization.name: Федеральное государственное бюджетное учреждение науки Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук)
protection_organization.ogrn: 1023801757000
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ИДСТУ СО РАН
author_organization.name: Федеральное государственное бюджетное учреждение науки Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук)
author_organization.ogrn: 1023801757000
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения