Sciweavers

Share
AISC
2010
Springer

Adapting Mathematical Domain Reasoners

10 years 7 months ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing feedback to students solving interactive exercises requires domain reasoners for doing the exercisespecific calculations. Since a domain reasoner has to solve an exercise in the same way a student should solve it, the structure of domain reasoners should follow the layered structure of the mathematical domains. Furthermore, learners, teachers, and environment builders have different requirements for adapting domain reasoners, such as providing more details, disallowing or enforcing certain solutions, and combining multiple mathematical domains in a new domain. In previous work we have shown how domain reasoners for solving interactive exercises can be expressed in terms of rewrite strategies, rewrite rules, and views. This paper shows how users can adapt and configure such domain reasoners to their own need...
Bastiaan Heeren, Johan Jeuring
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where AISC
Authors Bastiaan Heeren, Johan Jeuring
Comments (0)
books