ACT-R is a cognitive architecture developed by John R Anderson. It has been used as the basis for cognitive tutors.
Official ACT-R site (http://act-r.psy.cmu.edu/)