定理证明器的设计.PPT

第十章 邏輯推理系統 10.1 簡介 10.2 索引、 檢索與一致化 10.3 邏輯程式系統 10.4 定理證明器 10.5 向前連鎖生產系統 10.6 框架系統與語意網路 10.7 描述邏輯 10.8 撤回管理、 假設與解釋 10.1　簡介 用代理人建立推理系統的想法很好─就是可以代表知識並推理的系統。這樣系統的主要優點為高度模組化。控制的結構可以跟知識分離，而每一知識單元可以完全獨立於其他知識單元。所以更容易實驗此系統並且修改它，系統可以更容易跟其他代理人解釋其運作，系統可以更容易自我學習。 自動推理系統有許多種，每一種設計都是針對不同的問題。我們將它們歸類為以下四種： 定理證明器與邏輯程式語言 生產系統 框架系統與語意網路 描述邏輯系統 這四種系統如何實作以及如何達到以下五個功能： 1.新增一個事實到知識庫裡。這事實可能是認知得來，或是從推論而來。我們稱此功能為TELL。 2.已有一個知識庫與一個新的事實，連接現有的知識庫與新的事實導出隱含的事實。在向後連鎖系統中，這也是TELL的功能。 3.決定一個查詢是否適用於知識庫。我們稱此功能為ASK。不同版本的ASK功能不同，包括回傳一組所有可能的替代讓此查詢為真。 4.定一個查詢是否存在知識庫─一個限制的 ASK。 5.從知識庫移除一個命題。此功能要能分辨修正一個證明為錯的命題與遺忘一個不再使用的命題