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)
Document type :
Journal articles
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://telearn.archives-ouvertes.fr/hal-00257107
Contributor : Jerome Zeiliger <>
Submitted on : Monday, February 18, 2008 - 3:40:22 PM
Last modification on : Tuesday, September 17, 2019 - 10:39:04 AM
Long-term archiving on : Friday, September 28, 2012 - 9:56:08 AM

File

Yacef05.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

349

Files downloads

269