正向推理是從已知事實(shí)出發(fā),通過規(guī)則庫求得結(jié)果。正向推理的方式也被稱為數(shù)據(jù)驅(qū)動(dòng)方式或自底向上方式。
匹配指用當(dāng)前全局?jǐn)?shù)據(jù)庫中的事實(shí)與規(guī)則中的條件進(jìn)行比較,如果相同,就稱為相匹配,這一規(guī)則就稱為匹配規(guī)則。