Advertisement

Handling Errors in Mathematical Formulas

  • Helmut Horacek
  • Magdalena Wolska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4053)

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.

Keywords

Error Category Tutorial System Intelligent Tutorial System Handling Error Replacement Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Helmut Horacek
    • 1
  • Magdalena Wolska
    • 2
  1. 1.Fachrichtung InformatikSaarland UniversityGermany
  2. 2.Fachrichtung Allgemeine LinguistikSaarland UniversityGermany

Personalised recommendations