Автор: Николай Юрьевич Морозов
Аннотация:
СТАТЬЯ ДЛЯ СПЕЦВЫПУСКА УБС-2021
С быстрым развитием технологий компьютерное обучение все больше интегрируется с методами искусственного интеллекта с целью разра-ботки более персонализированных образовательных систем. Такие си-стемы известны как интеллектные обучающие системы (ИОС). Рассмат-ривается возможность применение логических методов для расширения функционала ИОС. Предлагается метод автоматического получения ре-шения упражнений средствами дедукции языка L. Предлагается метод автоматической генерации упражнений по заданной спецификации сред-ствами абдукции языка L.
Ключевые слова:
интеллектные обучающие системы, абдуктивные рассуждения, дедук-тивный вывод, искусственный интеллект, интеллектное управление, математическая логика.