Design methodology for an automated problem solver in intelligent tutoring systems use of multiple student models to improve the effectiveness of its
