类比推理和回溯推理