跳转到主要内容

逆向推理(backward inference)

即“逆向工作”。