[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

On the formal evaluation of learning systems

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

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

Included in the following conference series:

Abstract

In this paper, we present an attempt towards formal evaluation of learning systems (LSs) based on a LS description framework. Moreover, the central issues of completeness and efficiency pertinent to evaluation are elicited with the problem complexity also shown.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Clancey, W. J.: Guidon-Manage Revisited: A Socio-Technical Systems Approach. In: Proc of ITS '92, Montreal, Canada, June 1992, 21–36.

    Google Scholar 

  2. Codd, E. F. Relational Database: A Practical Foundation for Productivity. CACM 25 (2) (1982 Feb), 109–117.

    Google Scholar 

  3. Frasson, C., Gauthier G. & G. I. McCalla (Eds.): Proc of ITS '92. (also appeared as LNCS No.608, Intelligent Tutoring Systems, Springer-Verlag)

    Google Scholar 

  4. Garey, M. R. and D. S. Johnson: Computers and Intractability A Guide to ihe Theory of NP-Completeness, NY: W. H. Freeman and Company (1979).

    Google Scholar 

  5. Halff, H. M.: Curriculum and Instruction in Automated Tutors. In Poison, M.C. and Richardson, J. J. (eds.) Foundations of Intelligent Tutoring Systems. NJ: Lawrence Erlbaum Asso. (1988), 79–108.

    Google Scholar 

  6. Hopcroft, J. E. and J. D. Ullman: Formal Languages and Their Relation to Automata. Addison Wesley (1976).

    Google Scholar 

  7. Littman D. and E. Soloway: Evaluating ITSs: The Cognitive Science Perspective. In Poison, M. C. and Richardson, J. J. (eds.): Foundations of Intelligent Tutoring Systems. NJ: Lawrence Erlbaum Asso. (1988), 209–242.

    Google Scholar 

  8. Mark, M. and J. Greer J. of AI in Ed., Vol. 4 (1993), 129–153.

    Google Scholar 

  9. Posner, G. J. and A. N. Rudnitsky (1985). Curriculum Design. NY: Longman.

    Google Scholar 

  10. Reichgelt, H.: Knowledge Representation: An AI Perspective Norwood, NJ: Ablex (1990).

    Google Scholar 

  11. Self, J. A. Bypassing the Intractable of Student Modeling. In Frasson, C. and G. Gauthier (eds.) Intelligent Tutoring Systems: at the Crossroads of Artificial Intelligence and Education. Norwood, NJ: Ablex Publishing (1990), 107–123.

    Google Scholar 

  12. Wenger, E.: Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge. Los Altos: Morgan Kaufmann (1987).

    Google Scholar 

  13. Winston, P. H.: Artificial Intelligence (3rd ed.). Addison Wesley (1992).

    Google Scholar 

  14. Wu, A. K. W.: The Intractable Problem of Pedagogic Modelling in ITS. Proc of the 19th ACSC Conf. Jan 3l-Feb 2, 1996, Melbourne, Australia, 116–121.

    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

Wu, A.K.W. (1996). On the formal evaluation of learning systems. 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_130

Download citation

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

  • 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