推理工具