可遷移推理