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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Clancey, W. J.: Guidon-Manage Revisited: A Socio-Technical Systems Approach. In: Proc of ITS '92, Montreal, Canada, June 1992, 21–36.
Codd, E. F. Relational Database: A Practical Foundation for Productivity. CACM 25 (2) (1982 Feb), 109–117.
Frasson, C., Gauthier G. & G. I. McCalla (Eds.): Proc of ITS '92. (also appeared as LNCS No.608, Intelligent Tutoring Systems, Springer-Verlag)
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).
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.
Hopcroft, J. E. and J. D. Ullman: Formal Languages and Their Relation to Automata. Addison Wesley (1976).
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.
Mark, M. and J. Greer J. of AI in Ed., Vol. 4 (1993), 129–153.
Posner, G. J. and A. N. Rudnitsky (1985). Curriculum Design. NY: Longman.
Reichgelt, H.: Knowledge Representation: An AI Perspective Norwood, NJ: Ablex (1990).
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.
Wenger, E.: Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge. Los Altos: Morgan Kaufmann (1987).
Winston, P. H.: Artificial Intelligence (3rd ed.). Addison Wesley (1992).
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.
Author information
Authors and Affiliations
Editor information
Rights 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