标签：D 计算机实现自动推理最可行的方法是采用反向演绎的方法。 答案  反向演绎从待证目标出发，又称归结原理。