Abstract—A formal model of agent-based knowledge
management in intelligent tutoring systems is presented in this
paper. It consists of three agents, a knowledge acquisition agent,
a knowledge distribution agent and a knowledge maintaining
agent. The knowledge acquisition agent is responsible for the
construction of user model and domain knowledge base. The
knowledge distribution agent is responsible for producing
personalized teaching web pages (learning units) to students
dynamically. The knowledge maintaining agent is responsible for
the refinements of student models and domain knowledge. These
agents work together to construct, distribute and maintain
knowledge. After given the formalisms of the above three kinds
of agents, the formal model of agent-based knowledge
management is presented and discussed in detail to show that it is
practicable.