Knowledge 3

一、寫在前面 我們之前講過了命題邏輯中，一套形式推演系統由11條規則構成，這次我們要講另外一個形式推演系統，這個形式推演系統只有一條規則，我們會形式化證明其可靠性和完備性。這個系統我們稱爲Resolution歸結原理。 二、歸結原理 假設我們有一個KB，在KB中有很多sentence，構成了一個集合，這個集合中，sentence是由合取連接而成，我 我們可以把這個KB變成一個合取範式。 合取範式：

>>阅读原文<<