Skip to main content
SpringerLink
Log in

An Intelligent Teaching Assistant System for Logic

  • Conference paper
  • First Online:
Intelligent Tutoring Systems (ITS 2002)

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

Included in the following conference series:

Abstract

This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic Tutor, the LT-Configurator and the LT-Analyser. The Logic Tutor is an intelligent tutoring system destined to the students. The other two tools are dedicated to the teacher. The LT-Configurator manages teaching configuration settings and material. The LT-Analyser is for monitoring the class’ progress and collect data.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K. (2001). The Logic Tutor: A multimedia presentation, Interactive Multimedia Electronic Journal of Computer-Enhanced Learning, October 2001 issue (http://imej.wfu.edu/articles/2001/2/03/index.asp).

  2. Anderson, J.R., Corbett, A.T., Koedinger, K.R. & Pelletier, R. (1995). Cognitive tutors: lessons learned. The Journal of the Learning Sciences, 4(2), pp 167–207.

    Article  Google Scholar 

  3. Brusilovsky, P., Schwarz, E., and Weber, G. (1996). ELM-ART: An intelligent tutoring system on World Wide Web. In C. Frasson, G. Gauthier, & A. Lesgold (Eds.), Third International Conference on Intelligent Tutoring Systems, ITS-96 (Lecture Notes in Computer Science, Vol. 1086), Berlin: Springer Verlag, pp. 261–269.

    Google Scholar 

  4. Croy, M.J. (1989) CAI and Empirical Explorations of Deductive Proof Construction. In The Computers and Philosophy Newsletter, Vol 4, 111–127.

    Google Scholar 

  5. Kay, J. (2000). Invited keynote: Stereotypes, student models and scrutability. In Gauthier, G, Frasson, C & VanLehn, K (Eds): 5th International Conference on Intelligent Tutoring Systems, 19–30.

    Google Scholar 

  6. Kay, J. (2001). Learner control. International Journal on User Modeling and User-Adapted Interaction, 11(1/2):111–127, Kluwer Academic Publishers.

    Article  MATH  Google Scholar 

  7. Kobsa, A. (2001). Tailoring Privacy to Users’ Needs (Invited Keynote). In M. Bauer, P. J. Gmytrasiewicz and J. Vassileva, eds.: User Modeling 2001: 8th International Conference. Berlin-Heidelberg: Springer Verlag, 303–313.

    Google Scholar 

  8. Mark, M.A. & Greer, J.E. (1995). The VCR tutor: Effective Instruction for device operation. The Journal of the Learning Sciences, 4(2), 209–246.

    Article  Google Scholar 

  9. Scheines, R. & Sieg W. (1994). Computer Environments for Proof Construction. Interactive Learning Environments, 4(2), 159–169.

    Article  Google Scholar 

  10. Wiggins, G & Trewin, S. (2000). A System for Concerned Teaching of Musical Aural Skills. In Proceedings of the 5th International Conference on Intelligent Tutoring Systems, Gauthier, G., Frasson, C & VanLehn, K (Eds), pp 494–503.

    Google Scholar 

  11. Yacef, K (2002). Intelligent Teaching Assistant Systems. University of Sydney Technical Report 533.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technologies, University of Sydney, Australia

    Leanna Lesta & Kalina Yacef

Authors
  1. Leanna Lesta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kalina Yacef
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIRMM, University of Montpellier II and CNRS, Montpellier, France

    Stefano A. Cerri

  2. LIUPPA, IUT de Bayonne - University of Pau, Bayonne, France

    Guy Gouardères

  3. Department of Information Technologies, Universidade Federal de Alagoas, MaceiĂł, Brazil

    Fàbio Paraguaçu

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lesta, L., Yacef, K. (2002). An Intelligent Teaching Assistant System for Logic. In: Cerri, S.A., Gouardères, G., Paraguaçu, F. (eds) Intelligent Tutoring Systems. ITS 2002. Lecture Notes in Computer Science, vol 2363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47987-2_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-47987-2_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47987-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation