推理引擎接口