Horn Clause 的推論法則
邏輯推論簡介布林邏輯皮諾公設系統一階邏輯完備定理不完備定理程式實作布林推論一階推論相關訊息相關網站相關書籍參考文獻最新修改訊息相關網站參考文獻最新修改簡體版English |
所謂的 Horn Clause 是結論中只有一個項目的語句，舉例而言，以下是一個符合 Horn Clause 的邏輯規則系統。
等等邏輯規則，其結論的語句，也就是 => 的右邊，只有一個項目，這種邏輯系統的推論出奇的簡單，只要從前提開始不斷檢查是否有規則可以推論就行了，舉例而言，假如我們知道 X, Y, P, Q, C 為真，那麼就可以進行推論如下。 推論開始前：真理 = {X, Y, P, Q, C}
推論完成後：真理 = {X, Y, P, Q, C, A, B, D } |
page revision: 1, last edited: 07 Sep 2010 02:54
Post preview:
Close preview