Abstract
A user/student model must be revised when new information about the user/student is obtained. But a sophisticated user/student model is a complex structure that contains different types of knowledge. Different techniques may be needed for revising different types of knowledge. This paper presents a student model maintenance system (SMMS) which deals with revision of two important types of knowledge in student models: deductive knowledge and stereotypical knowledge. In the SMMS, deductive knowledge is represented by justified beliefs. Its revision is accomplished by a combination of techniques involving reason maintenance and formal diagnosis. Stereotypical knowledge is represented in the Default Package Network (DPN). The DPN is a knowledge partitioning hierarchy in which each node contains concepts in a sub-domain. Revision of stereotypical knowledge is realized by propagating new information through the DPN to change default packages (stereotypes) of the nodes in the DPN. A revision of deductive knowledge may trigger a revision of stereotypical knowledge, which results in a desirable student model in which the two types of knowledge exist harmoniously.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alchourron, C. and D. Makinson: 1982, ‘On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions’. Theoria 48, 14–37.
Alchourron, C. P. Gardenfors, and D. Makinson: 1985, ‘On the Logic of Theory Change: Partial Meeting Contraction and Revision Functions’. Journal of Symbolic Logic 50(2), 510–530.
Burton, R. R. and J. S. Brown: 1982, ‘An Investigation of Computer Coaching for Informal Learning Activities’. In: D. Sleeman and J. S. Brown (eds.), Intelligent Tutoring Systems, Harcourt Brace Jovanovich, pp. 79–98.
Chin, D. N.: 1989, ‘KNOME: Modeling What the User Knows in UC’. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 74–107.
Clancey, W. J.: 1986, ‘Qualitative Student Models’. In: J. F. Traub (ed.), Annual Review of Computer Science 1, pp. 381–450.
Clancey, W. J.: 1987, Knowledge-Based Tutoring: The GUIDON Program, The MIT Press.
Dalal, M.: 1988, Investigation into a Theory of Knowledge Base Revision: Preliminary Report. Proceedings AAAI-88, Saint Paul, MN, pp. 475–479.
de Kleer, J.: 1986, ‘An Assumption-Based TMS’. Artificial Intelligence 28(2), 127–162.
de Kleer, J. and B. C. Williams: 1987, ‘Diagnosing Multiple Faults’. Artificial Intelligence 32, 97–130.
Doyle, J.: 1979, ‘A Truth Maintenance System’. Artificial Intelligence 12, 231–272.
Fagin, R. J. D. Ullman, and M. Y. Vardi: 1983, ‘On the Semantics of Updates in Databases’. Proceedings of the Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Atlanta, pp. 352–365.
Finin, T.: 1989, ‘GUMS—A General User Modeling Shell’. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 411–430.
Finin, T. and D. Drager: 1986, GUMS1: A General User Modelling System. Proceedings CSCSI-86, Montreal, Canada, pp. 24–30.
Gardenfors, P.: 1984, ‘Epistemic Importance and Minimal Changes of Belief’. Australasian Journal of Philosophy 62(2), 136–157.
Gardenfors, P.: 1990, ‘The Dynamics of Belief Systems: Foundations vs. Coherence Theories’. Revue Internationale de Philosophie, to appear.
Gardenfors, P. and D. Makinson: 1988, ‘Revision of Knowledge Systems Using Epistemic Entrenchment’. In: M. Y. Vardi (ed.), Proceedings of the Second Conferences on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann Publishers,Inc., pp. 83–95.
Garey, M. R. and D. S. Johnson: 1979, Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company.
Goldstein, I. P.: 1979, ‘The Genetic Graph: A Representation for the Evolution of Procedural Knowledge’. Int. J. Man-Machine Studies 11, 51–77.
Greer, J. E. and G. I. McCalla: 1989, A Computational Framework for Granularity and Its Application to Educational Diagnosis. Proceedings IJCAI-89, Detroit, Michigan, pp. 477–482.
Harman, G.: 1986, Change in View: Principles of Reasoning. MIT Press, Cambridge, Massachusetts.
Huang, X.: 1989, ‘A Study of the Hitting Set Problem’. Manuscript, Department of Computational Science, University of Saskatchewan.
Huang, X. G. I. McCalla and E. Neufeld: 1991, ‘Using Attention in Belief Revision’. proceedings AAAI-91, Anaheim, California (to appear).
Kass, R.: 1990, ‘Building a User Model Implicitly from a Cooperative Advisory Dialog’. Advance Papers of the 2nd International Workshop on User Modeling, Honolulu, HI.
Kass, R. and T. Finin: 1987, Rules for the Implicit Acquisition of Knowledge about the User. Proceedings AAAI-87, Seattle, pp. 295–300.
Kimball, R.: 1982, ‘A Self-Improving Tutor for Symbolic Integration’. In: D. Sleeman and J. S. Brown (eds.), Intelligent Tutoring Systems Harcourt Brace Jovanovich.
Kobsa, A.: 1990, ‘Modeling the User's Conceptual Knowledge in BGP-MS, a User Modeling Shell System’. Computational Intelligence 6(4).
Makinson, D.: 1985, ‘How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change’. Synthese 62, 347–363.
Martins, J. P. and S. C. Shapiro: 1988, ‘A Model for Belief Revision’. Artificial Intelligence 35(1), 25–79.
McCalla, G. I. J. E. Greer, and the SCENT Research Team: 1988, Intelligent Advising in Problem Solving Domains: The SCENT-3 Architecture. Proceedings ITS-88, Montreal, pp. 124–131.
Reiter, R.: 1980, ‘A Logic for Default Reasoning’. Artificial Intelligence 13, 81–132.
Reiter, R.: 1987, ‘The Theory of Diagnosis from First Principles’. Artificial Intelligence 32(1), 57–95.
Rich, E.: 1979, ‘User Modelling via Stereotypes’. Cognitive Science 3, 329–354.
Rich, E.: 1989, ‘Stereotypes and User Modeling’. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 35–51.
Ross, L. and C. A. Anderson: 1982, ‘Shortcomings in the Attribution Process: on the Origins and Maintenance of Erroneous Social Assessments’. In: D. Kahneman, P. Slovic, and A. Tversky (eds.), Judgement Under Uncertainty: Heuristics and Biases, Cambridge University Press, Cambridge, pp. 129–152.
Sedgewick, R.: 1988, Algorithm. Addison-Wesley Publishing Company.
Sleeman, D.: 1985, ‘UMFE: A User Modelling Front-End Subsystem’. International Journal of Man-Machine Studies 23, 71–88.
Sleeman, D. and J. S. Brown (eds.): 1982, Intelligent Tutoring Systems, Harcourt Brace Jovanovich.
van Arragon, P.: 1990a, Nested Default Reasoning with Priority Levels. Proceedings CSCSI-90, Ottawa, pp. 77–83.
van Arragon, P.: 1990b, Nested Default Reasoning for User Modeling. Research Report CS-90-25, Department of Computer Science, University of Waterloo.
Wahlster, W. and A. Kobsa: 1989, ‘User Models in Dialog Systems’. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 5–34.
Wenger, E.: 1987, Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, Inc., Los Altos, CA.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Huang, X., McCalla, G.I., Greer, J.E. et al. Revising deductive knowledge and stereotypical knowledge in a student model. User Model User-Adap Inter 1, 87–115 (1991). https://doi.org/10.1007/BF00158953
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00158953