We present a model of induction, where the decision maker (DM) infers the unknown properties of an object from information about other objects. We show that categorization is an optimal solution to the prediction problem: The DM classifies objects into groups and her predictions of the object's...