Revising deductive knowledge and stereotypical knowledge in a student model

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.

[1]  Derek H. Sleeman,et al.  UMFE: A User Modelling Front-End Subsystem , 1985, Int. J. Man Mach. Stud..

[2]  Paul Van Arragon.  Nested default reasoning for user modeling , 1992 .

[3]  Paul van Arragon.  Nested default reasoning with priority levels , 1990 .

[4]  David Makinson.  How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.

[5]  Alfred Kobsa,et al.  Modeling the user's conceptual knowledge in BGP‐MS, a user modeling shell system 1 , 1990, Comput. Intell..

[6]  Etienne Wenger,et al.  Artificial Intelligence and Tutoring Systems , 1987 .

[7]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[8]  G. Harman.  Change in view: Principles of reasoning. , 1987 .

[9]  Ira P. Goldstein,et al.  The genetic graph: a representation for the evolution of procedural knowledge , 1979 .

[10]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[11]  Elaine Rich,et al.  User Modeling via Stereotypes , 1998, Cogn. Sci..

[12]  Alfred Kobsa,et al.  User Models in Dialog Systems , 1989, Symbolic Computation.

[13]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[14]  J. Dekleer.  An assumption-based TMS , 1986 .

[15]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[16]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[17]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[18]  Elaine Rich,et al.  Stereotypes and User Modeling , 1989 .

[19]  L. Ross,et al.  Judgment under uncertainty: Shortcomings in the attribution process: On the origins and maintenance of erroneous social assessments , 1982 .

[20]  David N. Chin.  KNOME: Modeling What the User Knows in UC , 1989 .

[21]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[22]  William J. Clancey,et al.  Qualitative student models , 1986 .

[23]  Robert Kass,et al.  Building a user model implicitly from a cooperative advisory dialog , 1991, User Modeling and User-Adapted Interaction.

[24]  Peter Gärdenfors,et al.  Knowledge, belief, and strategic interaction: The dynamics of belief systems: Foundations versus coherence theories , 1992 .

[25]  Peter Gärdenfors,et al.  Epistemic importance and minimal changes of belief , 1984 .

[26]  Timothy W. Finin,et al.  GUMS₁ : A General User Modeling System , 1986, HLT.

[27]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[28]  Gordon I. McCalla,et al.  A Computational Framework for Granularity and its Application to Educational Diagnosis , 1989, IJCAI.

[29]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[30]  William J. Clancey,et al.  Knowledge-based tutoring: the GUIDON program , 1987 .

[31]  Timothy W. Finin,et al.  Rules for the Implicit Acquisition of Knowledge about the User , 1987, AAAI.

[32]  Timothy W. Finin.  GUMS — A General User Modeling Shell , 1989 .

[33]  Gordon I. McCalla,et al.  Using Attention in Belief Revision , 1991, AAAI.

[34]  John Seely Brown,et al.  An Investigation of Computer Coaching for Informal Learning Activities. , 1978 .

[35]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[36]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .