Truth maintenance techniques for modelling student's behavior