Developing intelligent tutoring systems for mathematics

This work presents Protema, an environment for accessing and/or constructing intelligent tutoring systems for mathematics. It uses a general representation model for mathematical knowledge and it proposes a system architecture for intelligent tutoring systems in any mathematical subdomain (Arqtema) as well as an authoring environment (Tootema) for constructing Arqtema-based tutoring systems in a chosen subdomain. The general representation model maps any mathematical theory into a complex relationship among concepts, results and examples. Arqtema extends this model by including a bug catalog with the most common students misconceptions as well as a set of related exercises, which all together constitute the domain module.