Advertisement

TUDER: An ITS for symbolic derivation

  • E. Millán
  • J. L. Pérez-de-la-Cruz
  • F. Triguero-Ruiz
  • L. Vázquez-Sáenz
Posters on Applications in Science and Engineering
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1108)

Abstract

In this paper, the design and implementation of a tutoring system for symbolic derivation is described. Thanks to a grammar-based problem generator, our system is able to produce problems involving the desired rules and at the right level of difficulty. It can also solve those problems and decide about the goodness of the students answers.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Lesgold, A. Towards a theory of curriculum for use in designing intelligent instructional systems. In Mandl, H. and Lesgold, A. (eds), Learning issues for Intelligent Systems. Berlin, Springer, 1988.Google Scholar
  2. 2.
    Pérez-de-la-Cruz J.L., Morales, R. et al. Intelligent Tutoring Systems for exercise-based domains. Proceedings of the 7th International Conference on System Research, Informatics and Cybernetics, Volume II, Baden-Baden 1994. pp 37–42.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • E. Millán
    • 1
  • J. L. Pérez-de-la-Cruz
    • 1
  • F. Triguero-Ruiz
    • 1
  • L. Vázquez-Sáenz
    • 1
  1. 1.Departamento de Lenguajes y Ciencias de la ComputaciónE.T.S.I. de InformáticaMálaga

Personalised recommendations