Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search |
| Πηγή: |
Приборы и системы. Управление, контроль, диагностика. |
| Στοιχεία εκδότη: |
The Publishing House "NAUCHTEHLITIZDAT", 2020. |
| Έτος έκδοσης: |
2020 |
| Θεματικοί όροι: |
преобразование символьных неравенств, игрофикация, education, automated solution verification, transformations of symbolic inequalities, gamification, образование, правила преобразований, автоматическая проверка решений, transformation rules |
| Περιγραφή: |
При решении многих задач в области технических наук требуются навыки совершения преобразований над символьными неравенствами. Для закрепления этих навыков обучаемым требуется решить большие объемы задач на преобразования неравенств, что влечет необходимость проверки полученных обучаемыми решений. На сегодняшний день уже реализовано множество платформ, позволяющих автоматизировать проверку решений. Но, как правило, они проверяют исключительно ответ, но не ход решения задачи. Такой подход к проверке оставляет возможность получения правильного ответа и засчитанного задания при не до конца продуманном или неправильном решении. В статье предлагается способ автоматической проверки решений задач, основанный на последовательной проверке совершенных обучаемым преобразований неравенств над символьными выражениями путем эффективного перебора правил, по которым эти преобразования могли быть совершены. Система на каждом шаге решения перебирает допустимые преобразования, пытаясь найти использованное обучаемым. Проблемы неоднозначности формы записи решаются комбинацией методов тестирования, унификации и структурирования правил записи решения. Предложенный способ автоматической проверки был опробован на студентах младших курсов Политехнического и Электротехнического Университетов и показал неплохие результаты: производительность преподавательского труда при проверке задач повысилась более, чем в 4 раза. Lots of technical sciences problems require the skills of performing transformations of symbolic inequalities to be solved. To consolidate these skills, learner need to solve a large volume of tasks on inequalities transformations, that entails the need of verifi cation of the solutions. Many platforms have already been implemented that allow to automate the verification of solutions. Generally, these systems only check the answer, but not the progress of the problem. This approach of verification leaves the possibility of getting the correct answer and the task counted if the decision is not fully thought out or incorrect. The article proposes a method for automatic verifi cation of problem solutions based on sequential verification of completed transformations by efficiently iterating through the rules that allowed these transformations to be performed. At each step of the solution, the system iterates through the allowed transformations, trying to find one, that learner used. Problems of ambiguity of the recording form are solved by a combination of testing method, unification, and structuring of the recording rules. The proposed method of automatic verification was tested on students of junior courses of the Polytechnic and Electrical engineering Universities and showed good results: the productivity of teaching staff when checking tasks increased more than 4 times. |
| Τύπος εγγράφου: |
Article |
| Γλώσσα: |
Russian |
| ISSN: |
2073-0004 |
| DOI: |
10.25791/pribor.11.2020.1221 |
| Αριθμός Καταχώρησης: |
edsair.doi...........8d3736674267e8045215a01cb63b879b |
| Βάση Δεδομένων: |
OpenAIRE |