系一种逆向推理。首先，将满足于达到目标的前提列出，将这些前提视为目标处理，再回至第一步，将这些新目标的前提列出。如此递归地控制（链接方式）其推理过程，直至所有前提均满足为止。用这样的方式求解问题称链接反向推理，或目标驱动推理。参【目标导向推论】（goal directed inference）。
nbsp;
词语
词语
