The Logic-ITA in the classroom: a medium scale experiment

Abstract : This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Teaching Assistant system, aimed at alleviating some of the problems caused by large classes or distance learning. Its domain of application is the construction of formal proofs in logic. The system acts as an intermediary between teacher and students: on one hand, it provides students with an environment to practice formal proofs with feedback and on the other hand it allows teachers to monitor the class's progress and mistakes. It is complementary in the sense that it does not aim to replace any of the existing interactions between teachers and students. Since its introduction, over 600 students have used the tool. Evaluation shows a significant improvement in students' assessment results with an effect size of around 1 sigma. (http://aied.inf.ed.ac.uk/members05/archive/Vol_15/Yacef/Yacef05.html)
Type de document :
Article dans une revue
International Journal of Artificial Intelligence in Education (IJAIED), 2005, 15, pp.41-62
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://telearn.archives-ouvertes.fr/hal-00257107
Contributeur : Jerome Zeiliger <>
Soumis le : lundi 18 février 2008 - 15:40:22
Dernière modification le : vendredi 27 mars 2015 - 14:57:34
Document(s) archivé(s) le : vendredi 28 septembre 2012 - 09:56:08

Fichier

Yacef05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00257107, version 1

Collections

Citation

Kalina Yacef. The Logic-ITA in the classroom: a medium scale experiment. International Journal of Artificial Intelligence in Education (IJAIED), 2005, 15, pp.41-62. 〈hal-00257107〉

Partager

Métriques

Consultations de la notice

317

Téléchargements de fichiers

195