Yes, that Tenison paper is a great example of arithmetic modelling in ACT-R, and especially connecting it to the modern fMRI approach for validation! For an example of the other sorts of math modelling that's more psychology-experiment-based, this paper gives some of the low-level detail about how such a model would work, and maps it onto human errors:
- "Toward a Dynamic Model of Early Algebra Acquisition" https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53.5754&rep=rep1&type=pdf
(that work was expanded on a few times, and led to things like "Instructional experiments with ACT-R “SimStudents”" http://act-r.psy.cmu.edu/?post_type=publications&p=13890 where they made a bunch of simulated students and ran them through different teaching regimes)
As for other cool tasks, the stuff about playing some simple video games is pretty compelling to me, especially in as much as it talks about what sort of learning is necessary for the precise timing that develops. http://act-r.psy.cmu.edu/wordpress/wp-content/uploads/2019/03/paper46a.pdf Of course, this is not as good in terms of getting a high score as modern deep learning game-playing approaches, but it is very good in terms of matching human performance and learning trajectories. Another model I find rather cool a model of driving a car, which then got combined with a model of sleep deprivation to generate a model of sleep-deprived driving: http://act-r.psy.cmu.edu/wordpress/wp-content/uploads/2012/12/9822011-gunzelmann_moore_salvucci_gluck.pdf
One other very cool application, I think is the "SlimStampen" flashcard learning tool developed out of Hedderik van Rijn's lab at the University of Groningen, in the Netherlands: http://rugsofteng.github.io/Team-5/ The basic idea is to optimize learning facts from flashcards by presenting a flashcard fact just before the ACT-R declarative memory model predicts that a person is going to forget a fact. This seems to improve learning considerably http://act-r.psy.cmu.edu/wordpress/wp-content/uploads/2012/12/867paper200.pdf and seems to be pretty reliable https://onlinelibrary.wiley.com/doi/epdf/10.1111/tops.12183
There are many theories of cognition. But if you want to work within a framework with the following properties:
Well, then, I'm not aware of any theories which fit the bill as well as ACT-R theory.
You might also be interested in the common model of cognition (initially named standard model of the mind), which is consistent with the ACT-R picture, but also consistent with several competing theories. Think of it as the high-certainty subset of ACT-R.
References for ACT-R
I am no expert on ACT-R, so unfortunatery I can't tell you the best place to get started! However, here are some references.
Books by John R Anderson
John R Anderson is the primary researcher behind ACT-R theory. I have not read all of the following.
John R Anderson also has several other books, which I haven't looked at very much; so maybe a different one is actually a better starting place.
Other References
Here are some other potentially useful starting places.
References for the Common Model of Cognition
If you search "common model of cognition" in Google Scholar, you will find a number of other papers discussing it.
How should we evaluate all this?
I don't personally think about ACT-R very much, but that's because my thinking on AI alignment has little to do with neuroanatomy-inspired AI. Some other people around here think a lot more about those things. ACT-R theory might be useful to those people? Also, if you care about the nitty gritty of human modeling, EG for the sake of inverse reinforcement learning or other value-learning purposes, ACT-R might be useful. It is, after all, a really sophisticated model of a human.
Personally, I am hoping that learning more about ACT-R theory could help me think about human (ir)rationality in more detail.