Тип публикации: диссертация
Год издания: 2022
Ключевые слова: прецеденты, продукции, модельно-ориентированный подход, трансформации, базы знаний, интеллектуальные системы, программные средства, языки, методы
Аннотация: Цель диссертационного исследования состоит в разработке методов, языков, алгоритмов и программных средств, повышающих эффективность создания интеллектуальных систем с декларативными базами знаний продукционного и прецедентного типа пользователями – специалистами в предметных областях (конечными пользователями – неспециалистами в ИТПоказать полностью) за счет поддержки визуального программирования, повторного использования концептуальных моделей и их трансформаций. В диссертации создан оригинальный метод проектирования декларативных баз знаний интеллектуальных систем, который в отличие от известных реализаций модельно-ориентированного подхода обеспечивает использование новых моделей, языков и платформ, реализующих возможность непосредственного участия пользователей – специалистов в предметных областях (конечных пользователей – неспециалистов в ИТ) на всех этапах процесса разработки. Разработан визуальный язык программирования продукционных баз знаний – RVML (Rule Visual Modeling Language), базирующийся на UML, характерной особенностью которого являются специализированные графические обозначения для представления элементов декларативных баз знаний и генерации программного кода. Предложен оригинальный текстовый декларативный язык программирования трансформаций концептуальных моделей – TМRL (Transformation Model Representation Language), который в отличие от известных описывает не только преобразуемые структуры и связи между ними, но и обеспечивает вызов внешних программных компонентов трансформаций. Разработаны методы проектирования программ трансформаций концептуальных моделей и программных компонентов-конверторов концептуальных моделей, отличающиеся от подобных использованием языка описания трансформаций моделей TMRL и реализацией принципов визуального программирования. Созданы алгоритмы и архитектура программных средств, обеспечивающие поддержку вышеупомянутых языков и методов, объединенные общей идеологией модельных трансформаций и формирующие новую технологическую платформу создания интеллектуальных систем с декларативными базами знаний продукционного и прецедентного типа. Разработанные методы и средства обеспечивают повышение эффективности обработки данных и знаний на основе модельных трансформаций в контексте создания программного обеспечения систем ИИ ?конечными (непрограммирующими) пользователями.