Modeling paradigms in ACT-R