An Analysis and Comparison of ACT-R and Soar