АВТОМАТИЧЕСКАЯ ПРОВЕРКА ЦЕПОЧЕК ПРЕОБРАЗОВАНИЙ НАД СИМВОЛЬНЫМИ ФАКТАМИ НА ОСНОВЕ МЕТОДА ПЕРЕБОРА ЛОГИЧЕСКИХ ПРАВИЛ
Жарияланған күні
21.09.2020
Баспа
Федеральное государственное бюджетное образовательное учреждение высшего образования «Пензенский государственный технологический университет»
Басылым атауы
XXI век: итоги прошлого и проблемы настоящего плюс, № 3(51) 21.09.2020
DOI
10.46548/21vek-2020-0952-0003
Автор(лар)
Кацман Виктор Игоревич - Санкт-Петербургский Политехнический Университет Петра Великого
Новиков Федор Александрович - Санкт-Петербургский Политехнический Университет Петра Великого
Аннотация(лар)
Дним из наиболее важных элементов современного образовательного процесса в области технических наук является решение задач на преобразование фактов над символьными выражениями. В ходе решения таких задач обучаемым требуется вывести новое для них решение задачи опираясь на изученные ими правила. Закрепление навыков требует решения больших объемов задач, что влечет необходимость проверки полученных обучаемыми решений. Уже реализовано множество платформ, позволяющих автоматизировать проверку решений. Как правило, они проверяют исключительно ответ, но не ход решения задачи. Такой подход к проверке оставляет возможность получения правильного ответа и засчитанного задания при не до конца продуманном или неправильном решении. Мы предлагаем способ автоматической проверки решения задач, основанный на последовательной проверке совершенных преобразований путем эффективного перебора правил, по которым эти преобразования могли быть совершены. Система на каждом шаге решения перебирает допустимые преобразования, пытаясь найти использованное обучаемым. Проблемы неоднозначности формы записи решаются комбинацией методов тестирования, унификации и структурирования правил записи решения. Предложенный способ автоматической проверки был опробован на студентах младших курсов Политехнического и Электротехнического Университетов и показал неплохие результаты: производительность преподавательского труда при проверке задач повысилась более, чем в 4 раза.
Мақаланың толық мәтіні
| Кацман.pdf |
|---|