Concept Formation During Interactive Theory Revision