邏輯與推論方法摘要相關程式： BooleanLogic.java, FirstOrderLogic.java 布林邏輯布林邏輯又稱述詞邏輯 (Propositional Logic)，是最簡單的邏輯系統， 由於是喬治、布林(George Boole)所建立的基礎理論，因此被稱為布林邏輯。布林所提出的真值表，是布林邏輯中最基礎也最重要的方法，在布林邏輯中， 每個值都只能是真的或假的，不可能是其他值。 布林邏輯與一階邏輯是最常被使用的兩種邏輯系統，布林邏輯在電路設計上有 強大的用途，而一階邏輯則成為人工智慧領域的理論基礎。 要用布林邏輯來進行推論，必須依靠所謂的推理方法，亞里斯多德 (Aristotle)、 希爾伯特 (Hilbert)、簡森 (Gentzen) 與羅賓遜 (Robinson) 前後對這些推論方法進行了 關鍵性的研究，其中、最簡單且功能強大的莫過於 Robinson 的 Refutation 方法了，
一階邏輯福雷格 (Frege) 延伸布林的概念，提出了一個更強的邏輯系統，在這個系統中 包含謂詞 (Predicate) 與 ForAll (∀) 、Exist (∃) 等量詞， 這就是所謂的一階邏輯。Robinson 的 Refutation 方法了，只要進行簡單的延伸，就可以用在一階邏輯的推論系統上， 詳細的內容可以參考 Artificial Intelligence - A Modern Approach 這本書。
|
|||||||||||||||||||||||
|
作者：陳鍾誠 E-mail:ccc@kmit.edu.tw。  本著作係採用創用 CC 「姓名標示─相同方式分享 2.5 台灣版」授權條款釋出。 大學課程網 | 手機入口網 |
|||||||||||||||||||||||