The above four taskes ensure that any change about the information of a user can be reflected by the system in time. Hence, the system can produce the most suitable learning unit[7] for the user to enhance teaching effects.
Formally, a formal model of agent-based user knowledge management is defined as follows.
Definition 3 The formal model of user knowledge management (called UKM) is defined as follows: