Extraction d' Information Pédagogique à l'aide de Fouilles de Données: une étude de cas
Résumé
Les systèmes d'apprentissage qui utilisent les TIC peuvent enregistrer
sous forme électronique de nombreuses données. Ces données peuvent être
fouillées par des logiciels adéquats pour en retirer des informations
pédagogiques. Cet article illustre cette approche en prenant pour exemple le
Logic-ITA, un système d'apprentissage pour les preuves formelles en logique.