推理与问题求解

整理任务拆解、推理策略与结果核对方法。