ETS and the ETS logo are registered trademarks ofEducational Testing Service (ETS).
AbstractThe past several decades have seen numerous approaches toward automated diagnosis and instructional support of students engaged in mathematics problem-solving. These approaches typically involve detailed analysis of potential solution paths for problems, formal representations of correct and incorrect answers, and support in the form of feedback or explanations to students during the process of solving a problem. The approaches of each of a number of representative systems (ACED, ALEKS, Cognitive Tutors, Andes, and Assistments)will be described through a critical evaluation of how they represent content knowledge, their approaches to diagnosis, and their approaches to instructional support. Finally, recommendations are made for new approaches to automated diagnosis and instructional support of mathematics problem-solving.