Abstract
In tutorial systems, effective progress in teaching the problem-solving target is frequently hindered by expressive sloppiness and low-level errors made by the student, especially in conventionalized expressions such as formulas. In order to improve the effectiveness of tutorial systems in teaching higher-level skills, we present a fault-tolerant formula interpreter that aims at finding plausibly intended, formally correct specifications from student statements containing formal inaccuracies. The interpretation consists of local changes based on categorization of errors, a fault-tolerant structure building, and testing contextually-motivated alternations. The error interpretation component is intended to enhance the analysis component of a tutorial system that teaches mathematical proving skills.
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
Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Language Phenomena in Tutorial Dialogs on Mathematical Proofs. In: Proc. of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbrücken, Germany, pp. 165–166 (2003)
Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Tutorial Dialogs on Mathematical Proofs. In: IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12–22 (2003)
Benzmüller, C., Vo, Q.B.: Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs. In: Proc. of the 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, PA, pp. 516–522 (2005)
Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics. In: Suppl. Proc. of the 11th International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 471–481 (2003)
Croteau, E.A., Heffernan, N.T., Koedinger, K.R.: Why Are Algebra Word Problems Difficult? Using Tutorial Log Files and the Power Law of Learning to Select the Best Fitting Cognitive Model. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 240–250. Springer, Heidelberg (2004)
Horacek, H., Wolska, M.: Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. In: Meziane, F., Métais, E. (eds.) NLDB 2004. LNCS, vol. 3136, pp. 26–38. Springer, Heidelberg (2004)
Horacek, H., Wolska, M.: Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. In: Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), poster, Edinburgh, Scotland, pp. 1688–1691 (2005)
Makatchev, M., Jordan, P.W., VanLehn, K.: Modeling Students’ Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 699–709. Springer, Heidelberg (2004)
Popescu, O., Koedinger, K.R.: Towards understanding geometry explanations. In: Building Dialogue Systems for Tutorial Applications, Papers from the 2000 AAAI Fall Symposium, pp. 80–86. AAAI Press, Menlo Park (2000)
Siekmann, J., Benzmüller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Kohlhase, M., Meier, A., Melis, E., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C.-P., Zimmer, J.: Proof Development with Ωmega. In: Proc. of the 18th Conference on Automated Deduction, Copenhagen, Denmark, pp. 144–149 (2002)
Tsovaltzi, D., Horacek, H., Fiedler, A.: Building Hint Specifications in an NL Tutorial System for Mathematics. In: Proc. of the 17th Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), pp. 929–934. AAAI Press, Menlo Park (2004)
Vo, B.Q., Benzmüller, C., Autexier, S.: Assertion Application in Theorem Proving and Proof Planning. In: Proc. of International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 1343–1344 (2003)
Wolska, M., Kruijff-Korbayová, I.: Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs. In: Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004), Barcelona, Spain, pp. 25–32 (2004)
Wolska, M., Vo, B.Q., Tsovaltzi, D., Kruijff-Korbayová, I., Karagjosova, E., Horacek, H., Gabsdil, M., Fiedler, A., Benzmüller, C.: An annotated corpus of tutorial dialogs on mathematical theorem proving. In: Proc. of 4th International Conference on Language Resources and Evaluation, Lisbon, pp. 1007–1010 (2004)
Zinn, C., Moore, J.D., Core, M.G., Varges, S., Porayska-Pomsta, K.: The BE&E Tutorial Learning Environment (BEETLE). In: Proc. of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbrücken, Germany, pp. 209–210 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horacek, H., Wolska, M. (2006). Handling Errors in Mathematical Formulas. In: Ikeda, M., Ashley, K.D., Chan, TW. (eds) Intelligent Tutoring Systems. ITS 2006. Lecture Notes in Computer Science, vol 4053. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11774303_34
Download citation
DOI: https://doi.org/10.1007/11774303_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35159-7
Online ISBN: 978-3-540-35160-3
eBook Packages: Computer ScienceComputer Science (R0)