Séminaires RALI-OLST

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 mercredi 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, envoyez un message à l'adresse majordomo@iro.umontreal.ca. Il suffit d'envoyer un message ne contenant que la ligne 'subscribe ralli' (sans les apostrophes).

Liste de tous les séminaires pour l'année :

1991 1992 1993 1994 1995 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019