Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
CESP Language Guide, AI Language Research Institute, Ltd., Sakurai Build. 15-15, Shiba 3, Minato, TOKYO 105,Japan, 1990.
de Kleer, J., “An Assumption-based Truth Maintenance System”, Artificial Intelligence, Vol. 28, pp. 127–162, Mar. 1986.
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.
Ikeda, M., Mizoguchi, R. and Kakusho, O., “Design of a General Framework for ITS”, Proc. of ITS-88, pp. 82–89, Jun. 1988.
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).
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).
Martins, J. P. and Shapiro, S. C., “A Model for Belief Revision”, Artificial Intelligence, Vol. 35, pp. 25–79, May 1988.
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.
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.
Shapiro, E. Y., Algorithmic Program Debugging, MIT Press, 1982.
Stevens, A. L. and Collins, A., “The Goal Structure of a Socratic Tutor”, BBN Rep. 3518, 1977.
Wenger, E., Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, California, Jan. 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kono, Y., Ikeda, M., Mizoguchi, R. (1992). To contradict is human. In: Frasson, C., Gauthier, G., McCalla, G.I. (eds) Intelligent Tutoring Systems. ITS 1992. Lecture Notes in Computer Science, vol 608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55606-0_53
Download citation
DOI: https://doi.org/10.1007/3-540-55606-0_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55606-0
Online ISBN: 978-3-540-47254-4
eBook Packages: Springer Book Archive