Abstract
The main components of an Intelligent Computer-Assisted Instruction (ICAI) system are the expertise, the student model and tutoring strategies. The student model manages what the student does and does not understand, and the performance of an ICAI system depends largely on how well the student model approximates the human student. We propose a new framework for ICAI systems which uses the inductive inference for constructing the student model from the student's behavior. In the framework, both the expertise and the student model are represented as Prolog programs, which enables to express the meta-knowledge that is the knowledge of how to use the knowledge. Since the construction of the student model is performed independently of the expertise, the framework is domain-independent. Therefore, an ICAI system for any subject area can be built with the framework. As an example, the ICAI system teaching chemical reaction is presented together with a sample performance. The authors believe that the new framework for ICAI systems based on logic programming and inductive inference could be a breakthrough of the future ICAI systems.
Preview
Unable to display preview. Download preview PDF.
References
Carbonell, J.R.: AI in CAI: An artificial intelligence approach to computer-aided instruction, IEEE Trans. Man-Mach. Syst., Vol.MMS-11, No.4, pp.190–202 (1970).
Barr, A. and Feigenbaum, E.A.: The Handbook of Artificial Intelligence, Vol.II, PITMAN, London, pp.225–235 (1983).
Clocksin, W.F. and Mellish, C.S.: Programming in Prolog, Springer-Verlag, New York (1981).
Angluin, D. and Smith, C.H.: Inductive Inference: Theory and Methods, ACM Comput. Surv., Vol.15, No.3, pp.237–269 (1983).
Clancey, W.J.: Tutoring rules for guiding a case method dialogue, in Sleeman, D. et al. (ed.), Intelligent Tutoring Systems, Academic Press, London, pp.201–225 (1982).
Brown, J.S. and Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills, Cognitive Science 2, pp.155–192 (1978).
Shapiro, E.Y.: Algorithmic Program Debugging, MIT Press, London (1982).
Sleeman, D. and Hendley, R.J.: ACE: A system which Analyses Complex Explanations, in Sleeman, D. et al. (ed.), Intelligent Tutoring Systems, Academic Press, London, pp.99–118 (1982).
Ganke,M. et al.: An ICAI System for Prolog Programming Based on Inductive Inference, Proc. of 28th National Conference of Information Processing Society of Japan, 1G-1, Tokyo, [in Japanese] (1984).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kawai, K., Mizoguchi, R., Kakusho, O., Toyoda, J. (1986). A framework for ICAI systems based on inductive inference and logic programming. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_75
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_75
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive