Abstract
Pedagogical research shows that learner errors are seldom random but systematic. Good teachers are capable of inferring from learners’ input the erroneous procedure they are following, and use the result of such deep cognitive diagnoses to repair its incorrect parts. We report a method for the automatic reconstruction of such erroneous procedures based on learner input and the analysis and manipulation of logic programs. The method relies on an iterative application of two algorithms: an innovative use of algorithmic debugging to identify learner errors by the analysis of (initially) correct (sic) Prolog-based procedures, and a subsequent program manipulation phase where errors are introduced into (initially) correct procedures. The iteration terminates with the derivation of an erroneous procedure that was followed by the learner. The procedure, and its step-wise reconstruction, can then be used to inform remedial feedback.
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
Beller, S., Hoppe, U.: Deductive error reconstruction and classification in a logic programming framework. In: Brna, P., Ohlsson, S., Pain, H. (eds.) Proc. of the World Conference on Artificial Intelligence in Education, pp. 433–440 (1993)
Corbett, A.T., Anderson, J.R., Patterson, E.J.: Problem compilation and tutoring flexibility in the lisp tutor. In: Intell. Tutoring Systems, Montreal (1988)
Kawai, K., Mizoguchi, R., Kakusho, O., Toyoda, J.: A framework for ICAI systems based on inductive inference and logic programming. New Generation Computing 5, 115–129 (1987)
Koedinger, K.R., Anderson, J.R., Hadley, W.H., Mark, M.A.: Intelligent tutoring goes to school in the big city. Journal of Artificial Intelligence in Education 8(1), 30–43 (1997)
Maier, P.H.: Der Nussknacker. Schülerbuch 3. Schuljahr. Klett Verlag (2010)
Looi, C.-K.: Automatic debugging of Prolog programs in a Prolog Intelligent Tutoring System. Instructional Science 20, 215–263 (1991)
Mitrović, A.: Experiences in implementing constraint-based modeling in SQL-tutor. In: Goettl, B.P., Halff, H.M., Redfield, C.L., Shute, V.J. (eds.) ITS 1998. LNCS, vol. 1452, pp. 414–423. Springer, Heidelberg (1998)
Muggleton, S.: Inverse Entailment and Progol. New Generation Computing Journal (13), 245–286 (1995)
Ohlsson, S.: Constraint-based student modeling. Journal of Artificial Intelligence in Education 3(4), 429–447 (1992)
Shapiro, E.Y.: Algorithmic Program Debugging. ACM Distinguished Dissertations. MIT Press (1983); Thesis (Ph.D.) – Yale University (1982)
VanLehn, K.: Mind Bugs: the origin of procedural misconceptions. MIT Press (1990)
Weiser, M.: Program Slicing. IEEE Trans. Software Eng. 10(4), 352–357 (1984)
Zinn, C.: Identifying the closest match between program and user behaviour (unpublished manuscript), http://www.inf.uni-konstanz.de/~zinn
Zinn, C.: Algorithmic debugging to support cognitive diagnosis in tutoring systems. In: Bach, J., Edelkamp, S. (eds.) KI 2011. LNCS, vol. 7006, pp. 357–368. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zinn, C. (2013). Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning. In: Albert, E. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2012. Lecture Notes in Computer Science, vol 7844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38197-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-38197-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38196-6
Online ISBN: 978-3-642-38197-3
eBook Packages: Computer ScienceComputer Science (R0)