The Logic-ITA in the Classroom: A Medium Scale Experiment

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.

[1]  Kalina Yacef,et al.  Adaptation in the Web-Based Logic-ITA , 2002, AH.

[2]  Maria Virvou,et al.  Adding an Instructor Modelling Component to the Architecture of ITS Authoring Tools , 2001 .

[3]  Jerry Andriessen,et al.  Where is Education Heading and How About AI , 1999 .

[4]  Harold F. O'Neil,et al.  Meta-analytic studies of findings on computer-based instruction. , 1994 .

[5]  Martial Vivet.  Uses of ITS: Which Role for the Teacher? , 1992 .

[6]  Noriko Hara,et al.  Students' Frustrations with a Web-Based Distance Education Course , 1999, First Monday.

[7]  Judy Kay.  Accretion Representation for Scrutable Student Modeling , 2000, Intelligent Tutoring Systems.

[8]  Nicolas van Labeke.  Prise en compte de l'usager enseignant dans la conception des EIAO. Illustration dans calques 3D , 1999 .

[9]  Sher ry Folsom-Meek,et al.  Human Performance , 2020, Nature.

[10]  Kalina Yacef.  Intelligent teaching assistant systems , 2002, International Conference on Computers in Education, 2002. Proceedings..

[11]  Agathe Merceron,et al.  A Web-Based Tutoring Tool with Mining Facilities to Improve Learning and Teaching , 2003 .

[12]  Anne McDougall,et al.  Mainstreaming AIED into Education , 2000 .

[13]  Martial Vivet,et al.  Cooperation between a Pedagogical Assistant, a Group of Learners and a Teacher , 1996 .

[14]  Jens Rasmussen,et al.  Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  Jim E. Greer,et al.  The VCR Tutor: Effective Instruction for Device Operation , 1995 .

[16]  John R. Anderson,et al.  Cognitive Tutors: Lessons Learned , 1995 .

[17]  Richard Scheines,et al.  Computer Environments for Proof Construction , 1994, Interact. Learn. Environ..

[18]  Diana Laurillard,et al.  Rethinking University Teaching: A Framework for the Effective Use of Educational Technology , 1993 .

[19]  John Sweller,et al.  Some cognitive processes and their consequences for the organisation and presentation of information , 1993 .

[20]  Kalina Yacef,et al.  Clustering Students to Help Evaluate Learning , 2004 .

[21]  Guy A. Boy.  Intelligent Assistant Systems , 1991 .

[22]  Albert T. Corbett,et al.  Cognitive Computer Tutors: Solving the Two-Sigma Problem , 2001, User Modeling.

[23]  Marvin J. Croy.  Graphic interface design and deductive proof construction , 1999 .

[24]  Kalina Yacef,et al.  An Intelligent Teaching Assistant System for Logic , 2002, Intelligent Tutoring Systems.

[25]  Kalina Yacef.  Vers un assistant tutoriel intelligent pour la formation d'opérateurs de systèmes complexes et dynamiques , 1999 .

[26]  Nicolas Van labeke.  Nicolas VanLabeke, Prise en compte de l'usager enseignant dans la conception des EIAO. Illustration dans Calques 3D. Thèse de l'université Henri Poincaré - Nancy I, 17 décembre 1999 , 1999 .

[27]  Stéphanie Jean-Daubias.  PEPITE : un système d’assistance au diagnostic de compétences en algèbre , 2000 .

[28]  Ashok Patel,et al.  Human teacher in intelligent tutoring system: a forgotten entity , 2001, Proceedings IEEE International Conference on Advanced Learning Technologies.