符号推理

模型基于逻辑规则和符号操作进行推导的能力