Interoperable Competencies Characterizing Learning Objects in Mathematics
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
One Exercise --- Various Tutorial Strategies
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Interactivity of Exercises in ActiveMath
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
An Efficient Student Model Based on Student Performance and Metadata
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
Adapting mathematical domain reasoners
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Student behavior in error-correction-tasks and its relation to perception of competence
EC-TEL'11 Proceedings of the 6th European conference on Technology enhanced learning: towards ubiquitous learning
Understanding the learners' actions when using mathematics learning tools
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
Interactive exercises play a major role in an adaptive learning environment ActiveMath . They serve two major purposes: training the student and assessing his current mastery, which provides a basis for further adaptivity. We present the current state of the knowledge representation format for interactive exercises in ActiveMath . This format allows for representing multi-step exercises, that contain different interactive elements. The answer of the learner can be evaluated semantically. Various types of feedback and hint hierarchies can be represented. Exercise language possesses a construction for specifying additional components generating (parts of) the exercise. One example of such component is a Randomizer, which allows for authoring parametrized exercises. Another example is so-called Domain Reasoner Generator, that automatically generates exercise steps and refined diagnosis upon the learner's answer. This turns ActiveMath system into an ITS as soon as some Domain Reasoner is connected to it. Finally, several tutorial strategies can be applied to the same exercise. This strategies control feedback and the way the exercise is navigated by the learner, and can adapt to the learner.