Role-Based Specification Of The Behaviour Of An Agent For The Interactive Resolution Of Mathematical Problems

In this paper we describe how a computer system, which includes an authoring tool for teachers and an execution tool for students, is able to generate interactive dialogs in a Mathematics teaching application. This application is named ConsMath, and allows students to learn how to solve problems of Mathematics that involve symbolic calculations. This is done by means of an agent that is in charge of delivering the dialogs to students. The design process entails the dynamic generation of the user interface intended for learners with the insertion of decision points. During the execution, a tracking agent matches students' actions with the ones previously associated to decision points by the designer, thereby activating dynamic modifications in the interface by using a hierarchy of production rules. Students can use ConsMath both at their own pace or in a collaborative setting.