Tag abductive reasoning