Skip to main content

SINT — a symbolic integration tutor

  • Conference paper
  • First Online:

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

Abstract

We present an intelligent tutoring system in the area of symbolic integration. The system is capable of solving problems step-by-step along with the student. SINT monitors the student while solving problems, informs the student of errors and provides individualized help and advice when appropriate. The main focus of the research was on student modeling. The technique developed, referred to as INSTRUCT, builds on two well-known paradigms, reconstructive modeling and model tracing, at the same time avoiding their major pitfalls. The approach is not only incremental but truly interactive, since it involves the student in explicit dialogues about his/her goals. The student model is used to guide the generation of instructional actions, like generation of explanations and new problems.

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., Corbett, A.T. and Lewis, M.W.: Cognitive Modeling and Intelligent Tutoring. AI 42 (1990) 7–49

    Google Scholar 

  2. Lewis, M.W., Milson, R., Anderson, J.R.: The Teacher's Apprentice: Designing Authoring System for High School Mathematics. In: G.P. Kearsley (ed.): Artificial Intelligence and Instruction — Applications and Methods. Reading: Addison-Wesley (1987) 269–301

    Google Scholar 

  3. Michalski, R.: A Theory and Methodology of Inductive Learning. AI 20 (1983) 111–161

    Google Scholar 

  4. Mitrović, A., Djordjević, S: Interactive Reconstructive Student Modeling: a Machine Learning Approach. Int. J. Human-Computer Interaction 7(4) (1995) 385–401.

    Google Scholar 

  5. Moore, J.D., Paris, C.L.: Exploiting User Feedback to Compensate for the Unreliability of User Models. User Modeling and User-Adapted Interaction 2(4) (1992) 287–330.

    Google Scholar 

  6. Ohlsson, S., Langley, P.: Psychological Evaluation of Path Hypotheses in Cognitive Diagnosis'. In: H. Mandl and A. Lesgold (eds.): Learning Issues for Intelligent Tutoring Systems, New York: Springer-Verlag (1988) 42–62.

    Google Scholar 

  7. Ohlsson, S: Constraint-based Student Modeling. In: J.E. Greer and G.I. McCalla (eds.): Student Modeling: the Key to Individualized Knowledge-based Instruction. Berlin: Springer-Verlag NATO ASI Series (1994) 167–189.

    Google Scholar 

  8. Self, J.: Formal Approaches to Student Modeling. In: J.E. Greer and G.I. McCalla (eds.): Student Modeling: the Key to Individualized Knowledge-based Instruction. Berlin: Springer-Verlag NATO ASI Series (1994) 295–352.

    Google Scholar 

  9. Sleeman, D.H., Langley, P., Mitchell, T.M.: Learning from Solution Paths: an Approach to the Credit Assignment Problem. Al Magazine 3(1) (1982) 48–52.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Claude Frasson Gilles Gauthier Alan Lesgold

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mitrović, A. (1996). SINT — a symbolic integration tutor. In: Frasson, C., Gauthier, G., Lesgold, A. (eds) Intelligent Tutoring Systems. ITS 1996. Lecture Notes in Computer Science, vol 1086. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61327-7_158

Download citation

  • DOI: https://doi.org/10.1007/3-540-61327-7_158

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61327-5

  • Online ISBN: 978-3-540-68460-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics