逻辑推理-集合分类计算