扩展推理