Knowledge 8一階謂詞邏輯-resolution規則

1.寫在前面 我們在前面介紹了一階謂詞邏輯的Generalized Modus Ponens規則，這個地方，我們介紹第二個規則resolution，基本上一樣要因爲有變數的關係一樣要找substitution，那你如果找到unify，使得某兩個clause裏面的literal它們互爲一個complement補充關係的話，那你就可以使用。 2.resolution 比如說如果我們這一句的話說，有些人

>>阅读原文<<