Skip to main content
SpringerLink
Log in
Book cover

International Conference on User Modeling

UM 2003: User Modeling 2003 pp 373–377Cite as

Modeling Hinting Strategies for Geometry Theorem Proving

  • Conference paper
  • First Online:

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

Abstract

This study characterizes hinting strategies used by a human tutor to help students learn geometry theorem proving. Current tutoring systems for theorem proving provide hints that encourage (or force) the student to follow a fixed forward and/or backward chaining strategy. In order to find out if human tutors observed a similar constraint, a study was conducted with students proving geometry theorems individually with a human tutor. When working successfully (without hints), students did not consistently follow the forward and/or backward chaining strategy. Moreover, the human tutor hinted steps that were seldom ones that would be picked by such tutoring systems. Lastly, we discovered a simple categorization of hints that covered 97% of the hints given by the human tutor.

This research was supported by NSF Grant 9720359.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hume, G., J. Michael, A. Rovick, and M. Evens, Hinting as a tactic in one-on-one tutoring. Journal of the Learning Sciences, 1996. 5(1): p. 23–47.

    Article  Google Scholar 

  2. DiPaolo, R.E., A.C. Graesser, D.J. Hacker, and H.A. White, Hints in Human and Computer Tutoring, in The impact of media on technology of instruction, M. Rabinowitz, Editor. 2002, Erlbaum: Mahwah, NJ.

    Google Scholar 

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

    Google Scholar 

  4. Koedinger, K.R. and J.R. Anderson, Reifying implicit planning in geometry: Guidelines for model-based intelligent tutoring system design, in Computers as cognitive tools, S.P. Lajoie and S.J. Derry, Editors. 1993, Lawrence Erlbaum Associates: Hillsdale, NJ. p. 15–45.

    Google Scholar 

  5. Scheines, R. and W. Sieg, Computer Environments for Proof Construction. Interactive Learning Environments, 1994. 4(2): p. 159–169.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Systems Program, University of Pittsburgh, Pittsburgh

    Noboru Matsuda & Kurt VanLehn

Authors
  1. Noboru Matsuda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kurt VanLehn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Sciences, Department of Information Science and Telecommunications, University of Pittsburgh, 135 North Bellefield Avenue, Pittsburgh, PA, 15260, USA

    Peter Brusilovsky

  2. Human Computer Interaction Institute, Carnegie Mellon University, Pittsburgh, PA, 15213, USA

    Albert Corbett

  3. Intelligent Interfaces, Department of Informatics, University of Bari, Via Orabona 4, 70126, Bari, Italy

    Fiorella de Rosis

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Matsuda, N., VanLehn, K. (2003). Modeling Hinting Strategies for Geometry Theorem Proving. In: Brusilovsky, P., Corbett, A., de Rosis, F. (eds) User Modeling 2003. UM 2003. Lecture Notes in Computer Science(), vol 2702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44963-9_51

Download citation

  • DOI: https://doi.org/10.1007/3-540-44963-9_51

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40381-4

  • Online ISBN: 978-3-540-44963-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation