A framework for ICAI systems based on inductive inference and logic programming
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.
KeywordsLogic Programming Inductive Inference Volatile Acid Student Model Prolog Program
Unable to display preview. Download preview PDF.
- 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).Google Scholar
- Barr, A. and Feigenbaum, E.A.: The Handbook of Artificial Intelligence, Vol.II, PITMAN, London, pp.225–235 (1983).Google Scholar
- Clocksin, W.F. and Mellish, C.S.: Programming in Prolog, Springer-Verlag, New York (1981).Google Scholar
- Angluin, D. and Smith, C.H.: Inductive Inference: Theory and Methods, ACM Comput. Surv., Vol.15, No.3, pp.237–269 (1983).Google Scholar
- 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).Google Scholar
- Brown, J.S. and Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills, Cognitive Science 2, pp.155–192 (1978).Google Scholar
- Shapiro, E.Y.: Algorithmic Program Debugging, MIT Press, London (1982).Google Scholar
- 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).Google Scholar
- 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).Google Scholar