Skip to main content
SpringerLink
Log in

Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling

  • Chapter
  • First Online:
Resource-Adaptive Cognitive Processes

Part of the book series: Cognitive Technologies ((COGTECH))

Abstract

Formal domains, such as mathematics, require exact language to communicate the intended content. Special symbolic notations are used to express the semantics precisely, compactly, and unambiguously. Mathematical textbooks offer plenty of examples of concise, accurate presentations. This effective communication is enabled by interleaved use of formulas and natural language. Since natural language interaction has been shown to be an important factor in the efficiency of human tutoring [29], it would be desirable to enhance interaction with Intelligent Tutoring Systems for mathematics by allowing elements of mixed language combining the exactness of formal expressions with natural language flexibility.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Autexier, S., Benzmüller, C., Fiedler, A., Horacek, H., Vo, B.Q. Assertion-level proof representation with under-specification. In: Proceedings of the Mathematical Knowledge Management Symposium, Electronic Notes in Theoretical Computer Science (vol. 93, pp. 5–23) (2004).

    Google Scholar 

  2. Baker, M., Hansen, T., Joiner, R., Traum, D. The role of grounding in collaborative learning tasks. In: Dillenbourg, P. (Ed.), Collaborative Learning. Cognitive and Computational Approaches, Advances in Learning and Instruction Series (pp. 31–63). Amsterdam, The Netherlands: Pergamon (1999).

    Google Scholar 

  3. Baur, J. Syntax und Semantik Mathematischer Texte. Diplomarbeit, Fachrichtung Computerlinguistik. Saarbrücken, Germany. Universität des Saarlandes (1999).

    Google Scholar 

  4. Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B.Q., Wolska, M. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo, K. Yacef, (Eds.), AIED-03 Supplementary Proceedings, Advanced Technologies for Mathematics Education (vol. III, pp. 471–481). Australia: Sydney (2003).

    Google Scholar 

  5. Benzmüller, C., Horacek, H., Kruijff-Korbayová, I., Lesourd, H., Schiller, M., Wolska, M. DiaWozII – A tool for Wizard-of-Oz experiments in mathematics. In: Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI-06), Lecture Notes in Computer Science (vol. 4314, pp. 159–173). Springer-Verlag, Bremen, Germany (2006).

    Google Scholar 

  6. Benzmüller, C., Horacek, H., Lesourd, H., Kruijff-Korbayová, I., Schiller, M., Wolska, M. A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In: Proceedings of the 5th International Conference on Language Resources and Evaluation (LREC-06) (pp. 1766–1769). ELDA, Genoa, Italy (2006).

    Google Scholar 

  7. Benzmüller, C., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Wolska, M. Natural language dialog with a tutor system for mathematical proofs. In R. Lu, J. Siekmann, C. Ullrich, (Eds.), Cognitive Systems, Lecture Notes in Computer Science (vol. 4429, pp. 1–14). New York: Springer (2007).

    Google Scholar 

  8. Bos, J., Klein, E., Lemon, O., Oka, T. Dipper: Description and formalisation of an information-state update dialogue system architecture. In: Proceedings of the 4th SIGdial Workshop on Discourse and Dialogue (pp. 115–124) (2003).

    Google Scholar 

  9. Buckley, M., Benzmüller, C. An Agent-based Architecture for Dialogue Systems. In I. Virbitskaite, A. Voronkov, (Eds.), Proceedings of Perspectives of System Informatics, Lecture Notes in Computer Science (vol. 4378, pp. 135–147). Novosibirsk, Russia: Springer (2006).

    Google Scholar 

  10. Buckley, M., Dietrich, D. Integrating task information into the dialogue context for natural language mathematics tutoring. In B. Medlock, D. Ó Séaghdha, (Eds.), Proceedings of the 10th Annual CLUK Research Colloquium. Cambridge, UK: University of Cambridge (2007).

    Google Scholar 

  11. Buckley, M., Wolska, M. Towards modelling and using common ground in tutorial dialogue. In R. Artstein, L. Vieu, (Eds.), Proceedings of DECALOG, the 2007 Workshop on the Semantics and Pragmatics of Dialogue (pp. 41–48). Rovereto, Italy (2007).

    Google Scholar 

  12. Callaway, C., Dzikovska, M., Matheson, C., Moore, J., Zinn, C. Using Dialogue to Learn Math in the LeActiveMath Project. In: Proceedings of the ECAI-06 Workshop on Language-enabled Educational Technology (pp. 1–8). Riva del Garda, Italy (2006).

    Google Scholar 

  13. Clark, H.H., Schaefer, E.F. Contributing to discourse. Cognitive Science, 13:259–294 (1989).

    Article  Google Scholar 

  14. Core, M.G., Moore, J.D. Robustness versus fidelity in natural language understanding. In R. Porzel, (Ed.), HLT-NAACL-04 Workshop: 2nd Workshop on Scalable Natural Language Understanding (pp. 1–8). Boston, Massachusetts, USA: Association for Computational Linguistics (2004).

    Google Scholar 

  15. Glass, M. Processing language input in the CIRCSIM-tutor intelligent tutoring system. In: Proceedings of the 10th International Conference on Artificial Intelligence in Education (AIED-01) (pp. 210–221). IOS Press, San Antonio (2001).

    Google Scholar 

  16. Graesser, A.C., Person, N.K., Magliano, J.P. Collaborative dialogue patterns in naturalistic one-on-one tutoring. Applied Cognitive Psychology, 9:495–522 (1995).

    Article  Google Scholar 

  17. Graesser, A., Wiemer-Hastings, P., Wiemer-Hastings, K., Harter, D., Person, N. Using latent semantic analysis to evaluate the contributions of students in AutoTutor. Interactive Learning Environments, 8:129–147 (2000).

    Article  Google Scholar 

  18. Heffernan, N.T., Koedinger, K.R. Intelligent tutoring systems are missing the tutor: Building a more strategic dialog-based tutor. In C. Rosé, R. Freedman, (Eds.), Proceedings of the AAAI Fall Symposium on Building Dialogue Systems for Tutorial Applications (pp. 14–19). Menlo Park, CA: AAAI Press (2000).

    Google Scholar 

  19. Heffernan, N.T., Koedinger, K.R. An intelligent tutoring system incorporating a model of an experienced human tutor. In: Proceedings of the 6th International Conference on Intelligent Tutoring Systems (pp. 596–608). London, UK (2002).

    Google Scholar 

  20. Horacek, H., Wolska, M. Fault-tolerant context-based interpretation of mathematical formulas. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 1688–1689). Lawrence Erlbaum Associates Ltd, Edinburgh, Scotland (2005).

    Google Scholar 

  21. Horacek, H., Wolska, M. Interpreting semi-formal utterances in dialogs about mathematical proofs. Data & Knowledge Engineering, 58(1):90–106 (2006).

    Article  Google Scholar 

  22. Horacek, H., Fiedler, A., Franke, A., Moschner, M., Pollet, M., Sorge, V. Representation of mathematical objects for inferencing and for presentation purposes. In: Proceedings of EMCSR-2004 (pp. 683–688). Vienna, Austria (2004).

    Google Scholar 

  23. Jordan, P.W., Makatchev, M., Pappuswamy, U. Relating student text to ideal proofs: Issues of efficiency of expression. In: Proceedings of the AIED-05 Workshop on Mixed Language Explanations in Learning Environments, Amsterdam (pp. 43–50). The Netherlands (2005).

    Google Scholar 

  24. Karagjosova, E. Marked informationally redundant utterances in tutorial dialogue. In: Proceedings of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck) Saarbrücken (2003).

    Google Scholar 

  25. Makatchev, M., Jordan, P., VanLehn, K. Modeling students’ reasoning about qualitative Physics: Heuristics for Abductive Proof Search. In: Proceedings of the International Conference on intelligent tutorial systems (ITS 2004), Lecture Notes in Computer Science (vol. 3220, pp. 699–709). Springer (2004).

    Google Scholar 

  26. Makatchev, M., Hall, B.S., Jordan, P.W., Pappuswamy, U., VanLehen, K. Mixed language processing in the why2-atlas tutoring system. In: Proceedings of the AIED-05 Workshop on Mixed Language Explanations in Learning Environments (pp. 35–42). Amsterdam, The Netherlands (2005).

    Google Scholar 

  27. McArthur, D., Stasz, C., Zmuidzinas, M. Tutoring techniques in algebra. Cognition and Instruction, 7(3):197–244 (1990).

    Article  Google Scholar 

  28. Merrill, D.C., Reiser, B.J., Merrill, S.K., Landes, S. Tutoring: Guided learning by doing. Cognition and Instruction, 13:315–372 (1995).

    Article  Google Scholar 

  29. Moore, J. What makes human explanations effective? In: Proceeding of the 15th Annual Conference of the Cognitive Science Society (pp. 131–136). Hillsdale, NJ (1993).

    Google Scholar 

  30. Pata, K., Sarapuu, T., Archee, R. Collaborative scaffolding in synchronous environment: Congruity and antagonism of tutor/student facilitation acts. In T. Koschman, D. Suthers, T.W. Chan, (Eds.), Computer Supported Collaborative Learning 2005: The next 10 years (pp. 484–493). Dordrecht: Kluwer (2005).

    Chapter  Google Scholar 

  31. Person, N.K., Bautista, L., Kreuz, R.J., Graesser, A.C. The Tutoring Research Group. The dialog advancer network: A conversation manager for autotutor. In: Proceedings of the Workshop on Modeling Human Teaching Tactics and Strategies at the 5th International Conference on Intelligent Tutoring Systems (ITS-00) (pp. 86–92). Montreal, Canada (2000).

    Google Scholar 

  32. 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, California (2000).

    Google Scholar 

  33. Rosé, C.P., Gaidos, A., Hall, B.S., Roque, A., VanLehn, K. Overcoming the knowledge engineering bottleneck for understanding student language input. In: Proceedings of the 11th International Conference on Artificial Intelligence in Education (AIED-03) (pp. 315–322). Sydney, Australia (2003).

    Google Scholar 

  34. Sgall, P., Hajičová, E., Panevová, J. The Meaning of the sentence in its Semantic and Pragmatic Aspects. Dordrecht, The Netherlands: Reidel Publishing Company (1986).

    Google Scholar 

  35. Traum, D. Computational models of grounding in collaborative systems. In S.E. Brennan, A. Giboin, D. Traum, (Eds.), Working Papers of the AAAI Fall Symposium on Psychological Models of Communication in Collaborative Systems, AAAI (pp. 124–131). California: Menlo Park (1999).

    Google Scholar 

  36. Traum, D., Larsson, S. The information state approach to dialogue management. In J. van Kuppevelt, R. Smith, (Eds.), Current and New Directions in Discourse and Dialogue (pp. 325–354). Berlin, Germany: Kluwer (2003).

    Chapter  Google Scholar 

  37. Tsovaltzi, D., Fiedler, A. Human-adaptive determination of natural language hints. In: Proceedings of CMNA 5, 5th Workshop on Computational Models of Natural Argument, IJCAI-05 (pp. 84–88) (2005).

    Google Scholar 

  38. Tsovaltzi, D., Horacek, H., Fiedler, A. Building hint specifications in a NL tutorial system for mathematics. In: Proceedings of the 16th International Florida AI Research Society Conference (FLAIRS-04) (pp. 929–934). Florida, USA (2004).

    Google Scholar 

  39. VanLehn, K., Graesser, A.C., Jackson, G.T., Jordan, P., Olney, A., Rosé, C.P. When are tutorial dialogues more effective than reading? Cognitive Science: A Multidisciplinary Journal 31(1):3–62 (2007).

    Article  Google Scholar 

  40. Vo, B.Q., Benzmüller, C., Autexier, S. Assertion application in theorem proving and proof planning. In: Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. Liverpool, England (2003).

    Google Scholar 

  41. Walker, M. Informational redundancy and resource bounds in dialogue. PhD thesis, University of Pennsylvania, Philadelphia, PA (1993).

    Google Scholar 

  42. Wolska, M., Kruijff-Korbayová, I. Analysis of mixed natural and symbolic language input in mathematical dialogs. In: Proceedings of the 42nd Meeting of the Association for Computational Linguistics (ACL-04) (pp. 25–32). Barcelona, Spain (2004).

    Google Scholar 

  43. Wolska, M., Kruijff-Korbayová, I. Factors influencing input styles in tutoring systems: The case of the study-material presentation format. In: Proceedings of the ECAI-06 Workshop on Language-enabled Educational Technology (pp. 86–91). Riva del Garda, Italy (2006).

    Google Scholar 

  44. Wolska, M., Kruijff-Korbayová, I. Modeling anaphora in informal mathematical dialogue. In: Proceedings of the 10th Workshop on the Semantics and Pragmatics of Dialogue (brandial-06) (pp. 147–154). Potsdam, Germany (2006).

    Google Scholar 

  45. 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: Proceedings of International Conference on Language Resources and Evaluation (LREC-04). ELDA, Lisbon, Potugal (2004).

    Google Scholar 

  46. Zinn, C. A computational framework for understanding mathematical discourse. Logic Journal of the IGPL, 11(4):457–484 (2003).

    Article  MathSciNet  MATH  Google Scholar 

  47. Zinn, C. Flexible dialogue management in natural-language enhanced tutoring. In: Konvens 2004 Workshop on Advanced Topics in Modeling Natural Language Dialog (pp. 28–35). Vienna, Austria (2004).

    Google Scholar 

  48. Zinn, C., Moore, J.D., Core, M.G., Varges, S., Porayska-Pomsta, K. The BE&E tutorial learning environment (BEETLE). In: Proceedings of the Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck). Saarbrucken, Germany (2003).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computational Linguistics & Phonetics, Saarland University, 66123, Saarbrücken, Germany

    Magdalena Wolska, Mark Buckley, Ivana Kruijff-Korbayová & Manfred Pinkal

  2. Department of Computer Science, Saarland University, 66123, Saarbrücken, Germany

    Helmut Horacek

Authors
  1. Magdalena Wolska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Buckley
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Helmut Horacek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ivana Kruijff-Korbayová
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Manfred Pinkal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Magdalena Wolska .

Editor information

Editors and Affiliations

  1. Inst. Computerlinguistik, Universität des Saarlandes, Saarbrücken, 66041, Germany

    Matthew W. Crocker

  2. Deutsches Forschungszentrum für, Künstliche Intelligenz, Universität des Saarlandes, Stuhlsatzenhausweg 3, Saarbrücken, 66123, Germany

    Jörg Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wolska, M., Buckley, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M. (2010). Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling. In: Crocker, M., Siekmann, J. (eds) Resource-Adaptive Cognitive Processes. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89408-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89408-7_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89407-0

  • Online ISBN: 978-3-540-89408-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation