Skip to main content
SpringerLink
Log in

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2562))

Included in the following conference series:

Abstract

We propose an interesting application of Constraint Logic Programming to automatic generation and explanation of mathematics exercises. A particular topic in mathematics is considered to investigate and illustrate the advantages of using the CLP paradigm. The goal is to develop software components that make the formulation and explanation of exercises easier. We describe exercises by grammars which enables us to get specialized forms almost for free, by imposing further conditions through constraints. To de.ne the grammars we concentrate on the solving procedures that are taught instead of trying to abstract an exercise template from a sample of similar exercises. Prototype programs indicate that Constraint Logic Programming frameworks may be adequate to implement such a tool. These languages have the right expressiveness to encode control on the system in an elegant and declarative way.

Work partially supported by funds granted to LIACC through Programa de Financiamento Plurianual, Fundação para a Ciência e Tecnologia and Programa POSI.

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. Bryc, W., Pelikan, S.: Online Exercises System. Univ. of Cincinnati, US (1996)

    Google Scholar 

  2. Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In Proceedings of PLILP’97, LNCS 1292. Springer-Verlag, (1997) 191–206

    Google Scholar 

  3. Cohen, A. M., Cuypers, H., Sterk, H.: Algebra Interactive, Springer-Verlag (1999)

    Google Scholar 

  4. Damas, L., Santos Costa, V., Reis, R., Azevedo, R.: YAP User’s Guide and Reference Manual. Univ. Porto (1998) http://www.ncc.up.pt/~vsc/YAP

  5. Gang, X.: WIMS-An Interactive Mathematics Server. J. Online Mathematics and its Applications, 1, MAA (2001) http://wims.unice.fr

  6. Holzbaur, C.: OFAI clp(q,r) Manual, Edition 1.3.3. Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09 (1995)

    Google Scholar 

  7. Kent, P.: Computer-Assisted Problem Posing in Undergraduate Mathematics. Institute of Education, Univ. of London (1996) http://metric.ma.ic.ac.uk

  8. Klai, S., Kolokolnikov, T., Van der Bergh, N.: Using Maple and the web to grade mathematics tests. Int. Workshop on Advanced Technologies, Palmerston North, New Zealand (2000) http://allserv.rug.ac.be/~nvdbergh/aim/docs

  9. Leal, J. P., Moreira, N.: Using matching for automatic assessment in computer science learning environments. In: Proceedings of Web-based Learning Environments Conference (2000) http://www.ncc.up.pt/~zp/ganesh

  10. Maple, Waterloo Maple Corporate. http://www.maplesoft.com

  11. Marriott, K., and Stuckey, P.: Programming with Constraints-An Introduction. The MIT Press (1998)

    Google Scholar 

  12. Mathematica, Wolfram Research Inc. http://www.wolfram.com/

  13. Melis, E. et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. Int. J. Artificial Intelligence in Education, 12(4) (2001) 385–407 http://www.activemath.org/

    Google Scholar 

  14. Moore, L., Smith, D. et al.: Connected Curriculum Project CCP. Duke University (2001) http://www.math.duke.edu/education/ccp

  15. Sangwin, C.J.: New opportunities for encouraging higher level mathematical learning by creative use of emerging computer aided assessment. Univ. of Birmingham, UK (2002)

    Google Scholar 

  16. Moura Santos, A., Santos, P. A., Dionísio F. M., Duarte P.: CAL-A System for generating multiple choice questions and delivering them by Internet. In: Proc. of the Workshop on Electronic Media in Mathematics, Coimbra, Portugal (2001)

    Google Scholar 

  17. Schrönert, M. et al.: GAP-Groups, Algorithms, and Programming. Lehrstuhl D für Mathematik, Rheinisch Westfälische Tecnhische Hochschule, Germany (1995)

    Google Scholar 

  18. Tomás, A. P., Vasconcelos, P.: Generating Mathematics Exercises by Computer. Internal Report DCC-2001-6, DCC-FC & LIACC, University of Porto. Presented at Workshop CSOR’01, Porto (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DCC-FC & LIACC, Universidade do Porto, Portugal

    Ana Paula Tomás & José Paulo Leal

Authors
  1. Ana Paula Tomás
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Paulo Leal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department Logic and Functional Programming Group, Simon Fraser University, 8888 University Drive, V5A 1S6, Burnaby B.C., Canada

    Veronica Dahl

  2. Avaya Labs, 233 Mount Airy Road, Basking Ridge, 07920, NJ, USA

    Philip Wadler

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tomás, A.P., Leal, J.P. (2003). A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-36388-2_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00389-2

  • Online ISBN: 978-3-540-36388-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation