是個(gè)有向圖，由結(jié)點(diǎn)和弧組成。
雙向推理是即自頂向下又自底向上的推理
反向推理是從目標(biāo)出發(fā)，反向使用規(guī)則，求證已知的事實(shí)，用驅(qū)動(dòng)方式或自頂向下方式。
