An Adaptive System for Generating and Evaluating Propositional Logic Exercises Based on Student Profiles
摘要
We present an adaptive system that generates and evaluates propositional logic exercises based on student profiles. By combining Answer Set Programming (DLV) with Python coordination, the system adapts difficulty, provides real-time feedback, and updates learner models. Grounded in Mastery Learning and Cognitive Load Theory, it aims to foster conceptual reasoning and reduce cognitive overload. Preliminary results suggest improved accuracy and engagement, supporting its potential as a scalable tool for logic education.