Treffer: Fuzzy Logic-Driven Assessment Model for Mathematical Proof Grading in Education.

Fuzzy logic has become a critical tool in handling uncertainty in decision-making systems, especially those that require subjective human judgment. This paper aims to introduce an advanced fuzzy logic-based grading system for evaluating mathematical proofs with improved consistency, flexibility, and automation of grading processes in mathematical education. This study proposes a refined fuzzy logic system implemented in Python to assess the correctness of students' proofs based on four core questions: assumptions and conclusions, correct definitions, appropriate proof methods, and logical reasoning. The proposed system utilized the fuzzy logic technique of fuzzification, rule-based inference, and defuzzification to evaluate a score between "Correct" and "False" in points from 0 to 10. The system was tested using student data while fuzzy grades were assessed together with the grades assigned by the professor. The results show that the system provides a subtler and more reliable grading procedure, which handles partial correctness better than the traditional binary methods. It addresses the gap in grading the mathematical proof by introducing an adaptive, computationally efficient, and consistent solution. [ABSTRACT FROM AUTHOR]

Copyright of European Journal of Pure & Applied Mathematics is the property of New York Business Global LLC and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)