Development of a prototype intelligent web-based system for learning mathematics through an adaptive scenario

Oleksandr Yevdokymov, Oksana Luchsheva

Abstract


The subject of the study is the architecture and functional implementation of a prototype web-oriented intelligent tutoring system for adaptive mathematics learning in an online environment. The purpose of the work is to develop and substantiate the concept of an intelligent web-based system that provides parameterized generation of mathematical problems, automated answer validation, a multi-level hint mechanism, and an individual learning trajectory based on a probabilistic knowledge mastery tracing model. To achieve the goal, the following tasks were addressed: the analysis of modern approaches to building intelligent tutoring systems and knowledge tracing models; the formation of a domain model using a knowledge graph with prerequisite links; the development of modules for template-based problem generation and automated answer validation; the formalization of an adaptive learning scenario based on Bayesian updating of mastery probability; the design of a three-level contextual hint mechanism; the creation of interface solutions for entering mathematical expressions and providing immediate formative feedback; and the evaluation of the potential use of generative artificial intelligence for automating learning content creation. The research methods include systems analysis, functional decomposition, a comparative literature review on intelligent tutoring systems and computer-aided mathematics assessment, the implementation of the classical probabilistic knowledge tracing model, and prototyping of a client-server web system (with an Angular frontend). Conclusions. The developed prototype implements a closed-loop adaptive learning cycle that includes dynamic problem generation, answer input and validation, the provision of contextual hints, the updating of knowledge mastery assessment, and the selection of the next learning step. The system is already operational as a public web prototype and creates a foundation for the empirical evaluation of the effectiveness of adaptive mathematics learning. The scientific novelty lies in the comprehensive integration within a single web platform of: template-based problem generation, automated validation of mathematical expressions, a hierarchical hint mechanism, a probabilistic knowledge tracing model for trajectory management, a knowledge graph with prerequisites, and the justification for the use of generative artificial intelligence in automating content creation and error diagnostics.

Keywords


intelligent tutoring system; adaptive learning; mathematics education; web-based system; Bayesian knowledge tracing; problem generation; hints; knowledge graph

References


Bloom B. S. The 2 sigma problem: the search for methods of group instruction as effective as one-to-one tutoring. Educational Researcher, 1984, vol. 13, no. 6, pp. 4–16.

Woolf B. P. Building intelligent interactive tutors: student-centered strategies for revolutionizing e-learning. Morgan Kaufmann, Burlington, 2010. 480 p.

VanLehn K. The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems. Educational Psychologist, 2011, vol. 46, no. 4, pp. 197–221. DOI: 10.1080/00461520.2011.611369.

Ma W., Adesope O. O., Nesbit J. C., Liu Q. Intelligent tutoring systems vs. other tutoring systems: a meta-analysis. Educational Psychologist, 2014, vol. 49, no. 4, pp. 249–266. DOI: 10.1080/00461520.2014.965891.

Corbett A. T., Anderson J. R. Knowledge tracing: modeling the acquisition of procedural knowledge. User Modeling and User-Adapted Interaction, 1995, vol. 4, no. 4, pp. 253–278. DOI: 10.1007/BF01099821.

Piech C., Bassen J., Huang J., Ganguli S., Sahami M., Guibas L. J., Guestrin C. Deep knowledge tracing. Advances in Neural Information Processing Systems 28 (NIPS 2015), 2015, pp. 505–513.

Brusilovsky P. Adaptive hypermedia. User Modeling and User-Adapted Interaction, 2001, vol. 11, pp. 87–110. DOI: 10.1023/A:1011143116306.

Shen S., Liu F., Weng H., Yu Z. A survey of knowledge tracing: models, variants, and applications. IEEE Transactions on Learning Technologies, 2021, vol. 14, no. 2, pp. 155–171. DOI: 10.1109/TLT.2021.3058565.

Sangwin C. Computer aided assessment of mathematics. Oxford University Press, Oxford, 2013. 314 p.

Greenhow M. Effective computer-aided assessment of mathematics: principles, practice and results. Teaching Mathematics and Its Applications, 2015, vol. 34, no. 3, pp. 117–137. DOI: 10.1093/teamat/hrv012.

de Moura L., Kong S., Avigad J., van Doorn F., von Raumer J. The Lean Theorem Prover (System Description). In: Automated Deduction – CADE-25. LNCS 9195. Cham, Springer, 2015, pp. 378–388. DOI: 10.1007/978-3-319-21401-6_26.

Hanna G., Larvor B., Yan X. K. Using the Proof Assistant Lean in Undergraduate Mathematics Classrooms. ZDM – Mathematics Education, 2024, vol. 56, no. 7, pp. 1517–1529. DOI: 10.1007/s11858-024-01577-9.

Chukhray, A., Stoliarenko, T., Yevdokymov, O., Demyanenko, V. Mozhlyvosti vykorystannya intelektualnykh navchalnykh system (ITS) u kursakh vyshchoi matematyky [Possibilities of using intelligent tutoring systems (ITS) in higher mathematics courses]. Vidkryti informatsiyni ta kompyuterni intehrovani tekhnolohiyi, 2025, no. 102, pp. 92–119. DOI: 10.32620/oikit.2024.102.07 (In Ukrainian).

Kulik A., Zeleniak O., Chukhray A., Prokhorov O., Yashyna O., Havrylenko O., Yevdokymov O., Torzhkov A., Zayarnyi O. The concept of intelligent training system for Ukrainian school final STEM exam preparation. System research and information technologies, 2025, pp. 125–138. DOI: 10.20535/SRIT.2308-8893.2025.2.09.




DOI: https://doi.org/10.32620/aktt.2026.2.06