Abduction in Classification Tasks