Abstract
The First International Congress on Tools for Teaching Logic took place in 2000 and the second such congress took place in 2006. The third one takes place in 2011. In the ten years that separate the first and the third congress, the history of the tools for teaching Logic based on the paradigm of intelligent tutoring has been evolving significantly. This article provides a brief review of this history. It also presents a comparative study of 26 such tools and proposes a classification of existing tools with a specific methodology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aczel, J.C., Fung, P., Bornat, R.: Using Computers to Learn Logic: Undergraduates’ Experiences. In: Advanced Research in Computers and Communications in Education, vol. 1(55), pp. 875–882 (1999)
Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive Tutors: Lessons Learned. The Journal of the Learning Sciences 4(2), 167–207 (1995)
Barwise, J., Etchemendy, J.: The Language of First-Order Logic. Cambridge University Press, Cambridge (1992)
Beal, C.R., Qu, L., Lee, H.: Mathematics Motivation and Achievement as Predictors of High School Students’ Guessing and Help-Seeking with Instructional Software. J. Comput. Assisted Learn. 24, 507–514 (2008)
Beal, C.R., Walles, R., Arroyo, I., et al.: On-Line Tutoring for Math Achievement Testing: A Controlled Evaluation. Journal of Interactive Online Learning 26, 43–55 (2007)
Bornat, R., Sufrin, B.: Animating the formal proof at the surface: the Jape proof calculator, Technical Report, Department of Computer Science, Queen Mary & Westfield College, University of London (1996), ftp://ftp.dcs.qmw.ac.uk/jape/papers/
Broda, K., Ma, J., Sinnadurai, G., et al.: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15, 293–304 (2007)
Collins, A., Halverson, R.: The Second Educational Revolution: Rethinking Education in the Age of Technology. J. Comput. Assisted Learn. 26, 18–27 (2010)
Dostalova, L., Lang, J.: ORGANON - the Web Tutor for Basic Logic Courses. Logic Journal of the IGPL 15, 305–311 (2007)
Endriss, U.: The Interactive Learning Environment WinKE for Teaching Deductive Reasoning. In: First International Congress on Tools for Teaching Logic, pp. 23–27 (2000)
Heeren, B., Jeuring, J., van Leeuwen, A., et al.: Specifying Strategies for Exercises. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 430–445. Springer, Heidelberg (2008)
Huertas, A.: Teaching and Learning Logic in a Virtual Learning Environment. Logic Journal of the IGPL 15, 321–331 (2007)
Huertas, M.A., Mor, E.: Tool Development to Support Learning, Immediate Feedback, and Continuous Assesment in Logic. In: Proceedings of the 6th International Conference on Web Information Systems and Technologies. INSTICC Press (2010)
Huertas, A., Humet, J.M., LÃ3pez, L., Mor, E.: The SELL Project: a Learning Tool for E-learning Logic. In: Blackburn, P., et al. (eds.) TICTTL 2011. LNCS (LNAI), vol. 6680, pp. 123–130. Springer, Heidelberg (2011)
Humet, J.: LSD, una herramienta didáctica para el aprendizaje de la lógica. In: JENUI (2001)
Kennewell, S., Tanner, H., Jones, S., et al.: Analysing the use of Interactive Technology to Implement Interactive Teaching. J. Comput. Assisted Learn. 24, 61–73 (2008)
Llorens, F., Mira, S.: ADN (Asistente Para Deducción Natural - Natural Deduction Assistant). In: First International Congress on Tools for Teaching Logic, pp. 65–69 (2000)
Lodder, J., Passier, H., Stuutmann, S.: Using IDEAS in Teaching Logic, Lessons Learned. In: International Conference on Computer Science and Software Engineering, p. 556 (2008)
Manzano, M. (ed.): Proceedings of the First International Congress on Tools for Teaching Logic. Universidad de Salamanca (2000)
Manzano, M. (ed.): Proceedings of the Second International Congress on Tools for Teaching Logic. Universidad de Salamanca (2006)
Moreno, A., Budesca, N.: Mathematical Logic Tutor - Propositional Calculus. In: First International Congress on Tools for Teaching Logic, pp. 99–106 (2000)
Popescu, E.: Evaluating the Impact of Adaptation to Learning Styles in a Web-Based Educational System. In: Spaniol, M., Li, Q., Klamma, R., Lau, R.W.H. (eds.) ICWL 2009. LNCS, vol. 5686, pp. 343–352. Springer, Heidelberg (2009)
Sieg, W.: The AProS Project: Strategic Thinking & Computational Logic. Logic Journal of the IGPL 15, 359–368 (2007)
Simón, A., MartÃnez, A., López, M., et al.: Learning Computational Logic with an Intelligent Tutoring System: SIAL. In: First International Congress on Tools for Teaching Logic, pp. 161–168 (2000)
Van Ditmarsch, H., Manzano, M.: Tools for Teaching Logic. Logic Journal of the IGPL 15, 289–292 (2007)
Van Ditmarsch, H.: Educational Logic Software, http://www.ucalgary.ca/aslcle/logic-courseware
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huertas, A. (2011). Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)