Skip to main content
SpringerLink
Log in

Specifying Strategies for Exercises

  • Conference paper
Intelligent Computer Mathematics (CICM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5144))

Included in the following conference series:

Abstract

The feedback given by e-learning tools that support incrementally solving problems in mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback when users make erroneous steps in a calculation. Although we need the power of a full programming language to specify strategies, we carefully distinguish between context-free and non-context-free sublanguages of our strategy language. This separation is the key to automatically calculating all kinds of desirable feedback.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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. Anderson, J.R.: Rules of the Mind. Lawrence Erlbaum Associates (1993)

    Google Scholar 

  2. Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: lessons learned. The Journal of the Learning Sciences 4(2), 167–207 (1995)

    Article  Google Scholar 

  3. Anderson, J.R., Skwarecki, E.: The automated tutoring of introductory computer programming. Communications of the ACM 29(9), 842–849 (1986)

    Article  Google Scholar 

  4. Beeson, M.J.: Design principles of Mathpert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)

    Google Scholar 

  5. Bouwers, E.: Improving automated feedback – a generic rule-feedback generator. Master’s thesis, Utrecht University, department of Information and Computing Sciences (2007)

    Google Scholar 

  6. Brown, J.S., Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills. Cognitive Science 2, 155–192 (1978)

    Article  Google Scholar 

  7. Brown, J.S., VanLehn, K.: Repair theory: A generative theory of bugs in procedural skills. Cognitive Science 4, 379–426 (1980)

    Article  Google Scholar 

  8. Bundy, A.: The Computer Modelling of Mathematical Reasoning. Academic Press, London (1983)

    MATH  Google Scholar 

  9. Chaachoua, H., et al.: Aplusix, a learning environment for algebra, actual use and benefits. In: ICME 10: 10th International Congress on Mathematical Education (2004) (retrieved May 2008), http://www.itd.cnr.it/telma/papers.php

  10. Cohen, A., Cuypers, H., Jibetean, D., Spanbroek, M.: Interactive learning and mathematical calculus. In: Mathematical Knowledge Management (2005)

    Google Scholar 

  11. Cohen, A., Cuypers, H., Barreiro, E.R., Sterk, H.: Interactive mathematical documents on the web. In: Algebra, Geometry and Software Systems, pp. 289–306. Springer, Heidelberg (2003)

    Google Scholar 

  12. Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. Electron. Notes Theor. Comput. Sci. 174(1), 17–34 (2007)

    Article  Google Scholar 

  13. Erev, I., Luria, A., Erev, A.: On the effect of immediate feedback (2006), http://telem-pub.openu.ac.il/users/chais/2006/05/pdf/e-chais-erev.pdf

  14. Goguadze, G., González Palomo, A., Melis, E.: Interactivity of exercises in ActiveMath. In: International Conference on Computers in Education, ICCE 2005 (2005)

    Google Scholar 

  15. Heeren, B., Jeuring, J., van Leeuwen, A., Gerdes, A.: Specifying strategies for exercises. Technical Report UU-CS-2008-001, Utrecht University (2008)

    Google Scholar 

  16. Hennecke, M.: Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German). PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik / Kommunikationstechnik; 605. Düsseldorf: VDI-Verlag (1999)

    Google Scholar 

  17. Hinze, R., Jeuring, J., Löh, A.: Comparing approaches to generic programming in Haskell. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 72–149. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Horacek, H., Wolska, M.: Handling errors in mathematical formulas. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol. 4053, pp. 339–348. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  19. Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys 28A(4) (December 1996)

    Google Scholar 

  20. Hutton, G.: Higher-order Functions for Parsing. Journal of Functional Programming 2(3), 323–343 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  21. Issakova, M.: Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment. PhD thesis, University of Tartu (2007)

    Google Scholar 

  22. Lämmel, R., Jones, S.P.: Scrap your boilerplate: a practical approach to generic programming. ACM SIGPLAN Notices 38(3), 26–37 (2003); TLDI 2003

    Article  Google Scholar 

  23. R. Lämmel, E. Visser, J. Visser.: The Essence of Strategic Programming. In: Draft, p. 18 , October15 (2002), http://www.cwi.nl/~ralf

  24. Lodder, J., Jeuring, J., Passier, H.: An interactive tool for manipulating logical formulae. In: Manzano, M., Pérez Lancho, B., Gil, A. (eds.) Proceedings of the Second International Congress on Tools for Teaching Logic (2006)

    Google Scholar 

  25. Passier, H., Jeuring, J.: Feedback in an interactive equation solver. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pp. 53–68. Oy WebALT (2006)

    Google Scholar 

  26. Paulson, L.C.: ML for the Working Programmer., 2nd edn. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  27. Jones, S.P., et al.: Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, Cambridge (2003); A special issue of the Journal of Functional Programming, http://www.haskell.org/

    Google Scholar 

  28. Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: ICFP 2007, New York, NY, USA, pp. 141–152 (2007)

    Google Scholar 

  29. Sweller, J., van Merriënboer, J.J.G., Paas, F.: Cognitive architecture and instructional design. Educational Psychology Review 10, 251–295 (1998)

    Article  Google Scholar 

  30. Swierstra, S.D., Duponcheel, L.: Deterministic, error-correcting combinator parsers. In: Launchbury, J., Sheard, T., Meijer, E. (eds.) AFP 1996. LNCS, vol. 1129, pp. 184–207. Springer, Heidelberg (1996)

    Google Scholar 

  31. VanLehn, K.: Mind Bugs – The Origins of Procedural Misconceptions. MIT Press, Cambridge (1990)

    Google Scholar 

  32. Visser, E., Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: ICFP 1998, pp. 13–26 (1998)

    Google Scholar 

  33. Zinn, C.: Supporting tutorial feedback to student help requests and errors in symbolic differentiation. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol. 4053, pp. 349–359. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands

    Bastiaan Heeren, Johan Jeuring & Alex Gerdes

  2. Department of Information and Computing Sciences, Universiteit Utrecht,  

    Johan Jeuring & Arthur van Leeuwen

Authors
  1. Bastiaan Heeren
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Johan Jeuring
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arthur van Leeuwen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alex Gerdes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Serge Autexier John Campbell Julio Rubio Volker Sorge Masakazu Suzuki Freek Wiedijk

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heeren, B., Jeuring, J., van Leeuwen, A., Gerdes, A. (2008). Specifying Strategies for Exercises. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds) Intelligent Computer Mathematics. CICM 2008. Lecture Notes in Computer Science(), vol 5144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85110-3_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85110-3_36

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85109-7

  • Online ISBN: 978-3-540-85110-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation