推理系统 分类