推理基础