动态推理方法