Extraction de graphes de preuves contraints dans un contexte didactique

Fabienne Venant, Michel Gagnon, Philippe R Richard (venant (point) fabienne <at> uqam (point) ca, michel (point) gagnon <at> polymtl (point) ca, philippe (point) r (point) richard <at> umontreal (point) ca)

Mathématique-UQAM, Ecole Polytechnique, Didactique UdeM

Le 4 avril 2018 à 11 h 30

Salle 3195, Pavillon André-Aisenstadt


Nous présentons QED-Tutrix, un système tutoriel intelligent pour soutenir l’apprentissage de la démonstration en géométrie. L’idée d’assister les enseignants de mathématiques avec des outils technologiques n’est pas nouvelles et de nombreux logiciels éducatifs ont été développés, en particulier en géométrie. Le système que nous développons possède l’originalité de prendre en compte les contraintes didactiques habituelles de la classe, et de permettre à l’apprenant d’explorer librement le problème qu’il doit résoudre. L’élève reçoit une aide personnalisée, quelle que soit la démonstration qu’il propose et l’ordre dans lequel il introduit les éléments de démonstration. Une condition minimale pour réaliser cet objectif est la représentation et la navigation dans l’ensemble des preuves possibles pour un problème donné. Pour cela, nous modélisons les preuves sous forme de graphes. Nous détaillons ici les enjeux informatiques et didactiques autour de la génération automatique de ces graphes à partir des énoncés de problèmes.


Pour recevoir les annonces hebdomadaires par courriel, visitez http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

Liste des autres séminaires