act-r abstraction categorization data compression digital object identifier hypothesis induction jerome bruner machine learning minimum description length rule induction schema supervised learning unsupervised learning