В данной статье проводится демонстрация полезности и обоснование возможности смещения образовательных акцентов вузов с учета посещаемости на учет успеваемости. Центральную роль в этом играет задача автоматической проверки правильности решения задач студентами с помощью методов символического искусственного интеллекта.
This article demonstrates the usefulness and substantiates the possibility of shifting the educational emphasis of universities from accounting for attendance to accounting for academic performance. The main role is played by the task of automatically checking the correctness of solving problems by students using the methods of symbolic artificial intelligence.