Bayesian knowledge tracing is an algorithm used in many intelligent tutoring systems to model each learner's mastery of the knowledge being tutored.
It models student knowledge in a hidden Markov model as a latent variable, updated by observing the correctness of each student's interaction in which they apply the skill in question.
Intelligent tutoring systems often use BKT for mastery learning and problem sequencing.
correctly or incorrectly, the conditional probability is computed by using equation (b) for correct application, or by using equation (c) for incorrect application.
To figure out the probability of the student correctly applying the skill on a future practice is calculated with equation (e).