Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Assisted Learning

ICCAL 1989: Computer Assisted Learning pp 267–281Cite as

An intermediate representation for mathematical problem solving

  • Conference paper
  • First Online:

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

Abstract

An intermediate representation for an intelligent tutoring system for elementary combinatorics is presented. The representation appears to satisfy both the requirements for a relevant environment for students' problem solving and for adequate diagnosis of student actions for the domain of interest. We present these ideas in the context of a tutor currently under development.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson, J. R., Boyle, C. F., and Yost, G. "The geometry tutor". Proceedings of the International Joint Conference on Artificial Intelligence, 1985, pp. 1–7.

    Google Scholar 

  2. Bonar, J. "Intelligent tutoring with intermediate representations". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 25–32.

    Google Scholar 

  3. Buchanan, B. G., and Shortliffe, E. H. Rule-Based expert systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Wesley, 1984.

    Google Scholar 

  4. Burton, R. R., and Brown, J. S. "An investigation of computer coaching for informal learning activities". In Intelligent Tutoring Systems (eds.) Sleeman, D. and Brown, J. S. Academic Press, 1982, pp. 79–98.

    Google Scholar 

  5. Fischer, G., and Morch, A. "CRACK: A critiquing approach to kitchen design". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp.176–185.

    Google Scholar 

  6. Langley, P., and Ohlsson, S. "Automated cognitive modeling". Proceedings of the National Conference on Artificial Intelligence, 1984, pp. 193–197.

    Google Scholar 

  7. Miller, J. R. "The role of human-computer interaction in intelligent tutoring systems". In Foundations of Intelligent Tutoring Systems (eds.) Polson, M. C., and Richardson, J. J. Lawrence Erlbaum Associates, 1988.

    Google Scholar 

  8. Reiser, B. J., Anderson, J. R., and Farrell, R. G. "Dynamic student modeling in an intelligent tutor for LISP programming". Proceedings of the International Joint Conference on Artificial Intelligence, 1985, pp. 8–14.

    Google Scholar 

  9. Schank, R. C. "Conceptual dependency: A theory of natural language understanding". Cognitive Psychology 3, pp. 552–631.

    Google Scholar 

  10. Self, J. A. "Bypassing the intractable problem of student modeling". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 18–24.

    Google Scholar 

  11. Weber, G. "Cognitive diagnosis and episodic modeling in an intelligent LISP-tutor". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 207–214.

    Google Scholar 

  12. VanLehn, K. "Student Modeling". In Foundations of Intelligent Tutoring Systems (eds.) Polson, M. C., and Richardson, J. J. Lawrence Erlbaum Associates, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Lowell, Lowell, Massachusetts

    J. F. Koegel

  2. Dept. of Mathematics and Computer Science, University of Denver, Denver, Colorado

    N. Lakshmipathy & J. Schlesinger

Authors
  1. J. F. Koegel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. Lakshmipathy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Schlesinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hermann Maurer

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koegel, J.F., Lakshmipathy, N., Schlesinger, J. (1989). An intermediate representation for mathematical problem solving. In: Maurer, H. (eds) Computer Assisted Learning. ICCAL 1989. Lecture Notes in Computer Science, vol 360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51142-3_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-51142-3_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation