Knowledge 3命題邏輯形式推演（霍爾子句和definite clauses（受限制子句））

寫在前面 我們講過了命題邏輯中形式推演的兩個系統，一個系統由11條規則構成，另外一個系統只有一個規則，這次我們講一個和歸結原理差不多的要給系統霍爾子句和受限制的子句。歸結原理實際上是一個搜索的問題，時間複雜度非常高，我們現在引入一個新的概念霍爾子句，是命題邏輯中一個子集，也就是說，對這個KB中每一個具體的sentence他的形式有一個限制。在這些sentence有限制的情況下，我們可以用一套新的規

>>阅读原文<<