В.С. Зайцев¹, В.Э. Вольфенгаген², С.В. Косиков³, Л.Ю. Исмаилова⁴, И.О. Слепцов⁵

¹ˑ²ˑ⁴Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

³ˑ⁵НАО «ЮрИнфоР» (Москва, Россия)

¹VSZaitsev@mephi.ru, ²VEWolfengagen@mephi.ru, ³kosikov.s.v@gmail.com, ⁴LYIsmailova@mephi.ru, ⁵igor.slieptsov@mail.com

Постановка проблемы. В современном мире люди часто вынуждены осваивать новые знания в максимально короткие сроки (например, в рамках курсов повышения квалификации, смены специализации или в случае работы на стыке областей), что приводит к активному росту сферы электронного образования. При этом продолжающееся развитие современных информационных технологий и постоянно растущий рост доступа к обучающему контенту бросают все больше вызовов традиционным образовательным моделям, заставляя преподавателей искать новые подходы к обучению. Одной из наиболее распространенных проблем в этой области является решение задачи точного и многопланового конфигурирования образовательного контента с целью повышения качества освоения и проверки усвоения материала учащимися.

Цель. Разработать математическую модель конфигурирования обучающего контента, позволяющую обеспечить сборку в соответствии с предъявляемыми требованиями и целями обучения.

Результаты. Приведена схема модели взаимодействия пользователя с обучающей системой. Представлен язык конфигурирования объектов на основе формального языка линейной временной логики. Даны определения основных элементов модели взаимодействия, а также формально описан сам процесс взаимодействия пользователя с системой.

Практическая значимость. Представленный язык и его программная реализация позволяют перейти к этапу погружения имеющейся модели конфигурирования взаимодействия пользователя и обучающей системы в программную среду. Поскольку данный язык основан на строго формальном исчислении, это дает возможность провести автоматическую верификацию создаваемой модели.

Зайцев В.С., Вольфенгаген В.Э., Косиков С.В., Исмаилова Л.Ю., Слепцов И.О. Разработка системы конфигурирования обучающего контента на основе аппликативных вычислительных технологий // Информационно-измерительные и управляющие системы. 2025. Т. 23. № 5. С. 102−109. DOI: https://doi.org/10.18127/j20700814-202505-11

1. Wolfengagen V., Ismailova L., Kosikov S. Logical-applicative computing based on type theory // Biologically Inspired Cognitive Architectures. 2024. P. 426−434. Cham. 2024. Springer Nature Switzerland.
2. Wolfengagen V., et al. Semantic configuration model with natural transformations // Cognitive Systems Research. 2024. № 83.
3. Вольфенгаген В.Э. Конструкции языков программирования. М.: АО «Центр ЮрИнфоР». 2001. 276 с.
4. Meier A. и др. Backdoors for Linear Temporal Logic // Algorithmica. 2019. Т. 81. № 2. С. 476−496.
5. Слепцов И.О. Теоретико-категорная модель процессов пошагового детерминированного взаимодействия объекта с окружением // Информационно-измерительные и управляющие системы. 2024. Т. 22. № 5. С. 46−55.
6. Ismailova L., et al. Specification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems // Studies in Computational Intelligence. 2022. № 1032. P. 164−169.
7. Slieptsov I., Kosikov S., Ismailova L. Development Javascript Library with Implicit Typing // Biologically Inspired Cognitive Architectures. 2024. P. 383−390. Cham. 2024.