Résumé
Le projet Mentoniezh («géométrie», en breton) vise à développer un tuteur intelligent pour la démonstration en géométrie euclidienne plane, à destination des classes de quatrième. Le tuteur guide et corrige l’élève durant les deux phases de la résolution du problème: le tracé de la figure et l’élaboration de la démonstration. Dans cet article, nous décrivons uniquement la seconde phase. Le système s’articule autour des modules usuels aux tuteurs intelligents: l’expertise du domaine est détenue par un démonstrateur qui détermine à l’avance les différentes solutions d’un problème, le modèle de l’élève est construit par un reconnaisseur de plan qui interprète le chemin suivi par l’élève, et enfin le professeur peut préciser des consignes pédagogiques pour adapter le comportement du tuteur.
Abstract
The project Mentoniezh («geometry») aims at developing an intelligent tutoring system in euclidian plane geometry, for children aged 13-15. The tutor guides and corrects the pupil during the two stages of problem-solving: figure drawing and proof writing. In this paper, we only describe the second stage. The system is based on the usual modules of ITS: the expert module is an automated theorem prover which calculates beforehand the different solutions for the problem, the student model is elaborated by a plan recognizer which interprets the student’s behaviour, and the teacher can specify pedagogical orders to adapt the interaction.
Resumen
El proyecto Mentoniezh («geometría») tiene como objectivo el desarollo de un tutor inteligente para la demostración en geometría euclidiana plana; el cual esta utilizado en cursos de liceo (estudiantes entre 13 y 15 años). El tutor guia y corrige al alumno durante las dos fases de la resolución del problema, el trazado de la Þgura y la elaboración de la demostración. En este artículo, describiremos solamente la segunda fase. El sistema utilisa los modulos clásicos de los tutores inteligentes. En efecto, los conocimientos de geometría estan contenidos en un demonstrador que determina las diferentes soluciones de un problema. El modelo del alumno esta construido por un sistema de reconocimiento de planos, que interpreta el camino seguido por el alumno. Finalmente, el profesor puede precisar las consignas pedagógicas para adaptar el comportamiento del tutor.