推理學是什麼

推理學有兩種：

1、一階邏輯推理是一種典型的基於規則的推理方法。該方法的推理機制非常簡單，利用謂詞構建靜態的推理規則庫。當進行推理時，首先向引擎輸入已知的初級上下文資訊，通過一致性驗證後，與規則進行比較，如果相同，那麼給出對應規則結果的高階上下文資訊，否則提示沒有成功；

2、時序邏輯推理並不是簡單的依靠謂詞對初級上下文資訊組合來進行推理的一種機制，它通過觀察上下文儲存庫中某種或幾種上下文資訊在一段時間內的記錄，跟據上下文發生的時間序列來尋找規律，從而得出高階上下文資訊。