Анализ и синтез систем управления

Генерация заданий для интеллектной обучающей системы на основании абдуктивно-дедуктивных методов

Н. Ю. Морозов

ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва

Аннотация: Методы искусственного интеллекта в компьютерном обучении позволяют разрабатывать более персонализированные образовательные системы. Такие системы известны как интеллектные обучающие системы (ИОС). Рассматривается возможность применение логических методов для расширения функционала ИОС. Предлагается метод автоматического получения решения упражнений средствами дедукции языка L. Предлагается метод автоматической генерации упражнений по заданной спецификации средствами абдукции языка L на примере генерации физических задач.

Ключевые слова: интеллектные обучающие системы, абдуктивные рассуждения, дедуктивный вывод, автоматическая генерация заданий, математическая логика.

УДК: 519.7 + 37.04
ББК: 32.813

Поступила в редакцию: 12 ноября 2021 г.
Опубликована: 31 июля 2022 г.

DOI: 10.25728/ubs.2022.98.3