反向推理是從目標(biāo)出發(fā),反向使用規(guī)則,求證已知的事實(shí),用驅(qū)動方式或自頂向下方式。
正向推理是從已知事實(shí)出發(fā),通過規(guī)則庫求得結(jié)果。正向推理的方式也被稱為數(shù)據(jù)驅(qū)動方式或自底向上方式。