什么是推理，正向推理，逆向推理

推理是形式邏輯。是研究人們思維形式及其規(guī)律和一些簡單的邏輯方法的科學(xué)。其作用是從已知的知識得到未知的知識，特別是可以得到不可能通過感覺經(jīng)驗掌握的未知知識。推理主要有演繹推理和歸納推理。演繹推理是從一般規(guī)律出發(fā)，運用邏輯證明或數(shù)學(xué)運算，得出特殊事實應(yīng)遵循的規(guī)律，即從一般到特殊。歸納推理就是從許多個別的事物中概括出一般性概念、原則或結(jié)論，即從特殊到一般。
正向推理又稱數(shù)據(jù)驅(qū)動推理，是按照由條件推出結(jié)論的方向進行的推理方式，它從一組事實出發(fā)，使用一定的推理規(guī)則，來證明目標(biāo)事實或命題的成立。一般的推理過程是先向綜合數(shù)據(jù)庫提供一些初始已知事實，控制系統(tǒng)利用這些數(shù)據(jù)與知識庫中的知識進行匹配，被觸發(fā)的知識，將其結(jié)論作為新的事實添加到綜合數(shù)據(jù)庫中。重復(fù)上述過程，用更新過的綜合數(shù)據(jù)庫中的事實再與知識庫中另一條知識匹配，將其結(jié)論更新至綜合數(shù)據(jù)庫中，直到?jīng)]有可匹配的新知識和不再有新的事實加入到綜合數(shù)據(jù)庫中為止。然后測試是否得到解，有解則返回解，無解則提示運行失敗。
逆向推理又稱目標(biāo)驅(qū)動推理，它的推理方式和正向推理正好相反，它是由結(jié)論出發(fā)，為驗證該結(jié)論的正確性去知識庫中找證據(jù)。