ACT-R is a laudable effort in formalizing a model of human cognition. It is one of the very few concrete models of human cognition there is.
Unfortunately it's wrong flat out wrong (as opposed to not even wrong). We don't encode the world in symbols, we don't store such symbols in memory slots and we don't reason about such symbols using rigorous symbol manipulation.