人工智能導讀課堂筆記（三）

人工智能課堂筆記（三） 確定性推理方法 前面討論了把知識用某種模式表示出來存儲到計算機中去。但是，爲使計算機具有智能，還必須使它具有思維能力。推理是求解問題的一種重要方法。因此，推理方法成爲人工智能的一個重要研究課題。 下面首先討論關於推理的基本概念，然後着重介紹魯賓遜歸結原理及其在機器定理證明和問題求解中的應用。魯賓遜歸結原理使定理證明能夠在計算機上實現。 推理的基本概念 **推理：**從初始證

>>阅读原文<<