A 演绎是从一般到特殊;而反向推理以某个假设目标作为出发点,来展开推理。 B 反向演绎从待证目标出发,又称归结原理。 C 但在规则量很大时,反向演绎仍然需要逐一计算规则的匹配,比较缓慢低效。 点我阅读全文
A 演绎是从一般到特殊;而反向推理以某个假设目标作为出发点,来展开推理。 B 反向演绎从待证目标出发,又称归结原理。 C 但在规则量很大时,反向演绎仍然需要逐一计算规则的匹配,比较缓慢低效。 点我阅读全文