Understanding the Learners' Actions when using Mathematics Learning Tools
arXiv:1207.2280 · doi:10.1007/978-3-642-31374-5
Abstract
The use of computer-based mathematics tools is widespread in learning. Depending on the way that these tools assess the learner's solution paths, one can distinguish between automatic assessment tools and semi-automatic assessment tools. Automatic assessment tools directly provide all feedback necessary to the learners, while semi-automatic assessment tools involve the teachers as part the assessment process. They are provided with as much information as possible on the learners' interactions with the tool. How can the teachers know how the learning tools were used and which intermediate steps led to a solution? How can the teachers respond to a learner's question that arises while using a computer tool? Little is available to answer this beyond interacting directly with the computer and performing a few manipulations to understand the tools' state. This paper presents SMALA, a web-based logging architecture that addresses these problems by recording, analyzing and representing user actions. While respecting the learner's privacy, the SMALA architecture supports the teachers by offering fine-grained representations of the learners' activities as well as overviews of the progress of a classroom.
Proceedings of CICM 2012; Intelligent Computer Mathematics 2012; http://www.springerlink.com/content/978-3-642-31373-8/
Cited by in corpus (9)
- Truth Table Invariant Cylindrical Algebraic Decomposition
- Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
- The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
- Cylindrical Algebraic Decomposition with Equational Constraints
- Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
- Implicit and Explicit Proof Management in KeYmaera X
- Proof in Context -- Web Editing with Rich, Modeless Contextual Feedback
- Evaluating Haskell expressions in a tutoring environment
- Proceedings Second International Workshop on Formal Integrated Development Environment