8333

Автор(ов): 

2

Параметры публикации
Тип публикации: 
Доклад
Название: 
Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: методы и реализация
Наименование конференции: 
Конференция «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010)
Наименование источника: 
Труды конференции «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010)
Город: 
Казань
Издательство: 
Вертолет
Год издания: 
2010
Страницы: 
250-261
Аннотация
В продолжение обсуждения архитектуры интеллектуальных обучающих систем (ИОС), рассмотрим их методическое обеспечение и некоторые аспекты реализации. Интересной и недавно разработанной ИОС, основанной на автоматическом доказательстве теорем (АДТ), является «Why2-Atlas». Эта система содержит 7 вычислительных задач по вводному курсу механики. Дидактический цикл выглядит так: система выдает ученику одну из задач и просит его ввести ответ с объяснением. Затем она обсуждает с ним этот ответ и, после обсуждения, как правило, просит уточнить объяснение. Последний шаг повторяется, пока не будут устранены все недочеты в ответе обучаемого.
Библиографическая ссылка: 
Васильев С.Н., Смирнова Н.В. Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: методы и реализация / Труды конференции «Современные технологии - ключевое звено в возрождении отечественного авиастроения» (Казань, 2010). Казань: Вертолет, 2010. С. 250-261.