KNOWLEDGE  CONTROL  OF  TRAINEES  PERFORMING
SYMBOLIC  TRANSFORMATIONS
IN  AN  INTELLIGENT  TRAINING  SYSTEM

V. Mamaev, K. Petrov

State University of Aerospace Instrumentation, Saint-Petersburg

   During training on a simulator of the operator of an aircraft it in solving navigational tasks, it is necessary to control his knowledge. An algorithm of formula transformation is proposed, allowing one to supervise correctness of answers of the trainee when he fulfils a test task given to him in maximum free form.