A cognitive tutor is a kind of intelligent tutoring system, which is particularly focused on providing individualized support for the improvement of complex cognitive abilities through the practice of problem resolution. The development of a cognitive tutor involves the analysis of diverse strategies and theories related both to computer science and to pedagogy, as well as the analysis of models related to the discipline in which the tutor will be used. In this paper, an analysis of the state of the art of the topics that have been identified as necessary for the design of a cognitive tutor with gamification to support students with the solving of algebraic problems is conducted. Whenever we talk about an intelligent tutor, models capable of simulating decision making, such as fuzzy models, are required; thus, they are also considered for this analysis. Additionally, comparison tables that allow the identification of opportunity areas for the development of solutions to problems that haven't been thoroughly covered in the literature are presented.