A series of simulations is reported in which extant formal categorization models are applied to human rule-learning data (Salatas & Bourne, 1974). These data show that there are clear differences in the ease with which humans learn rules, with the conjunctive the easiest and the biconditional the hardest. The original ALCOVE model (an exemplar-based model), a configural-cue model, and two-layer backpropagation models did not fit the rule-learning data. ALCOVE successfully fit the data, however, when prior biases observed in human rule learning were implemented into weights of the network. Thus, current empirical learning models may not fare well in situations in which learners enter the concept-formation situation with preconceived biases regarding the kinds of concepts that are possible, but such biases might nevertheless be captured within these models. By incorporating preexperimental biases, ALCOVE may hold promise as a comprehensive category-learning model.