To contradict is human
Students cannot avoid misunderstanding when they learn new topics. Furthermore they often have contradictory knowledge and show inconsistent behavior, which requires ITSs to deal with contradiction. In this paper, we investigate two types of “contradictions” encountered in the course of tutoring. One is the change of mind of student and the other is the student's contradictory knowledge. We discuss human inconsistent behavior and formalize the process in terms of multi-world logic. A modeling methodology applicable to inconsistent cases is presented in detail.
KeywordsReasoning Process Belief Revision Inductive Inference Student Model Reasoning Space
Unable to display preview. Download preview PDF.
- CESP Language Guide, AI Language Research Institute, Ltd., Sakurai Build. 15-15, Shiba 3, Minato, TOKYO 105,Japan, 1990.Google Scholar
- de Kleer, J., “An Assumption-based Truth Maintenance System”, Artificial Intelligence, Vol. 28, pp. 127–162, Mar. 1986.Google Scholar
- Huang, X., McCalla, G. I., Greer, J. E. and Neufeld, E., “Revising Deductive Knowledge and Stereotypical Knowledge in a Student Model”, User Modeling and User-Adapted Interaction, Vol. 1, pp. 87–115, 1991.Google Scholar
- Ikeda, M., Mizoguchi, R. and Kakusho, O., “Design of a General Framework for ITS”, Proc. of ITS-88, pp. 82–89, Jun. 1988.Google Scholar
- Ikeda, M., Mizoguchi, R. and Kakusho, O., “A Hypothetical Model Inference System”, Trans, of IEICE, Vol. J71-D, No.9, pp. 1761–1771, Sep. 1988 (in Japanese).Google Scholar
- Ikeda, M., Mizoguchi, R. and Kakusho, O., “Student Model Description Language SMDL and Student Model Inference System SMIS”, Trans. of IEICE, Vol. J72-D, No.1, pp. 112–120, Jan. 1989 (in Japanese).Google Scholar
- Martins, J. P. and Shapiro, S. C., “A Model for Belief Revision”, Artificial Intelligence, Vol. 35, pp. 25–79, May 1988.Google Scholar
- Mizoguchi, R., Ikeda, M. and Kakusho, O., “An Innovative Framework for Intelligent Tutoring Systems”, Proc. of the IFIP TC3 Working Conference on Artificial Intelligence Tools in Education, pp. 105–120, May 1987.Google Scholar
- Mizoguchi, R. and Ikeda, M., “A Generic Framework for ITS And Its Evaluation”, In Lewis, R. and Otsuki, S., editors, Advanced Research on Computers in Education, pp. 63–72, North-Holland, 1991.Google Scholar
- Shapiro, E. Y., Algorithmic Program Debugging, MIT Press, 1982.Google Scholar
- Stevens, A. L. and Collins, A., “The Goal Structure of a Socratic Tutor”, BBN Rep. 3518, 1977.Google Scholar
- Wenger, E., Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, California, Jan. 1987.Google Scholar