В статье рассматриваются методы генерации тестовых заданий, в которых используются базы знаний учебных дисциплин, формируемые на основе продукционной модели знаний, а также аппарат формальных грамматик. Представлены две экспериментальные экспертно-обучающие системы Formula Tutor и «Теоретик», ориентированные в основном на изучение точных дисциплин. Приведенные в статье примеры иллюстрируют достоинства описанных методов.
автоматизированная система обучения, экспертно-обучающая система, продукционная модель знаний, продукционное правило, контекстно-свободная формальная грамматика, шаблон, выборочно-конструируемый ответ