RALI-OLST Weekly Talks

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

Wednesday 4 April 2018 at 11:30 AM

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.


Follow this link to subscribe to future RALI-OLST announcements.
http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

See all the weekly talks for the year:

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 2020 2021 2022 2023 2024