基于謂詞邏輯的歸結原理分析
大小：0.25 MB 人氣： 2017-12-20 需要積分：1
標簽：人工智能(232520)
謂詞邏輯是在命題邏輯的基礎上發展而來的，通過引入量詞，它比命題邏輯能更有效地表示和求證復雜問題。謂詞邏輯采用形式化語言系統，通過一定的推理規則和控制策略，研究前提和結論之間的蘊涵關系。謂詞邏輯具有嚴格的理論基礎，可以保證推理過程和結論的正確性，同時它的形式化語言接近人類的自然語言，容易為人類所理解和接受。
經典的演繹推理系統具有證明過程自然、易于理解、推理規則豐富、推理過程靈活等優點，但也存在推理過程中容易產生組合爆炸、證明方法難以判定等缺點。Robinsonc于1 965年借助演繹推理反證法的思想提出了歸結原理，它是一種形式單一、處理規則簡單，可以在機器上實現的邏輯推理技術。歸結原理的提出，為人類提供了一種簡單易行的方法實現定理的證明和問題的求解，使定理證明可以在機器上機械現實，是自動推理的重大突破。
本文從理論基礎、求證問題的方法及步驟方面對基于謂詞邏輯的歸結原理進行了研究。論文的組織結構如下：第2節分析了基于謂詞邏輯的歸結原理的理論基礎；第3節討論了將基于謂詞邏輯的歸結原理應用于定理證明和問題答案提取的方法及步驟；最后對全文進行了總結。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%