ГЕНЕРАЦИЯ ЗАДАНИЙ ДЛЯ ИНТЕЛЛЕКТУАЛЬНОЙ ОБУЧАЮЩЕЙ СИСТЕМЫ НА ОСНОВАНИИ АБДУКТИВНО-ДЕДУКТИВНЫХ МЕТОДОВ

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