Specifying Strategies for Exercises

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes

The feedback given by e-learning tools that support incrementally solving problems in mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback when users make erroneous steps in a calculation. Although we need the power of a full programming language to specify strategies, we carefully distinguish between context-free and non-contextfree sublanguages of our strategy language. This separation is the key to automatically calculating all kinds of desirable feedback.

In Intelligent Computer Mathematics, volume 5144 of Lecture Notes in Computer Science, pages 430-445.
Download paper (© 2008, Springer Berlin Heidelberg, doi)