Abstract
Logic is a fundamental discipline for Computer Science, and Engineering students. However, despite its importance, there are several problems with the teaching of this discipline in graduate courses. Trying to improve this situation, we designed, and developed a new tutoring system for Logic, called Heraclito. This system implements a dynamic and adaptive student model, which is able to automatically solve the problems presented to students in a way similar to the employed by teachers, and, at the same time, is able to follow, and adapt itself to the form of reasoning used by students. The paper presents the main components of Heraclito’s student model, including the formal definition its similarity measurement function, and the similarity experiments conducted with Logic proofs generated by this system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alonso, J.A., Aranda, G.A., Martn–Mateos, F.J.: KRRT: Knowledge Representation and Reasoning Tutor System. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 400–407. Springer, Heidelberg (2007)
Barnes, T., Stamper, J.: Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. Educational Technology & Society 13(1), 3–12 (2010)
Baronett, S.: Logic. Pearson (2008)
Chiru, C.-G., Trausan-Matu, S.: Identification and Classification of the Most Important Moments from Students’ Collaborative Discourses. In: Cerri, S.A., Clancey, W.J., Papadourakis, G., Panourgia, K. (eds.) ITS 2012. LNCS, vol. 7315, pp. 330–339. Springer, Heidelberg (2012)
Gluz, J.C., Vicari, R.M., Passerino, L.M.: An Agent-Based Infrastructure for the Support of Learning Objects Life-Cycle. In: Cerri, S.A., Clancey, W.J., Papadourakis, G., Panourgia, K. (eds.) ITS 2012. LNCS, vol. 7315, pp. 696–698. Springer, Heidelberg (2012)
Luckin, R., du Boulay, B.: Ecolab: The Development and Evaluation of a Vygotskian Design Framework. Int. J. of Artificial Intelligence in Education 10(2), 198–220 (1999)
Lukins, S., Levicki, A., Burg, J.: A tutorial program for propositional logic with human/computer interactive learning. SIGCSE Bull 34(1), 381–385 (2002)
Markov, Z., Larose, D.T.: Data Mining the Web: Uncovering Patterns in Web Content, Structure, and Usage. John Wiley & Sons, Hoboken (2007)
Stamper, J., Barnes, T., Croy, M.: Enhancing the Automatic Generation of Hints with Expert Seeding. In: Aleven, V., Kay, J., Mostow, J. (eds.) ITS 2010, Part II. LNCS, vol. 6095, pp. 31–40. Springer, Heidelberg (2010)
Vygotsky, L.S.: Thought and Language. The M.I.T. Press, Cambridge (1986)
Yacef, K.: The Logic-ITA in the classroom: A medium scale experiment. Int. J. of Artificial Intelligence in Education 15(1) (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gluz, J.C., Penteado, F., Mossmann, M., Gomes, L., Vicari, R. (2014). A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning. In: Trausan-Matu, S., Boyer, K.E., Crosby, M., Panourgia, K. (eds) Intelligent Tutoring Systems. ITS 2014. Lecture Notes in Computer Science, vol 8474. Springer, Cham. https://doi.org/10.1007/978-3-319-07221-0_60
Download citation
DOI: https://doi.org/10.1007/978-3-319-07221-0_60
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07220-3
Online ISBN: 978-3-319-07221-0
eBook Packages: Computer ScienceComputer Science (R0)