The name of Cognitive Tutor® now usually refers to a particular type of intelligent tutoring system produced by Carnegie Learning for high school mathematics based on John Anderson's ACT-R theory of human cognition.
The Cognitive Tutor programs utilize cognitive model and are based on model tracing and knowledge tracing.