一階邏輯 (First Order Logic)

邏輯推論 簡介 布林邏輯 皮諾公設系統 一階邏輯 完備定理 不完備定理 程式實作 布林推論 一階推論 相關訊息 相關網站 相關書籍 參考文獻 最新修改 訊息 相關網站 參考文獻 最新修改 簡體版 English

文章 簡介 布林邏輯與一階邏輯是最常被使用的兩種邏輯系統，布林邏輯在電路設計上有強大的用途，而一階邏輯則成為人工智慧領域的理論基礎。 一階邏輯 (First Order Logic) 乃是布林邏輯的延伸，此種邏輯具有一種類似布林函數的基本元素，通常稱為謂詞 (Predicate)，因此一階邏輯又稱為謂詞邏輯 (Predicate Logic) 。 一階邏輯中包含兩個很特別的量詞運算，全部 (forall) 與存在 (exist) 等，如果我們不處理這兩個運算，也可以形成一個較弱的邏輯系統，在此我們以弱謂詞邏輯稱呼之。 羅氏 (Robinson) 的邏輯推論法 Resolution Method 具有理論上的重要性，該方法只要碰到相反的兩個謂詞就可以進行統一消去，這個方法簡單又優美，是一種理論上很棒的推論系統。 Facebook 留言 Facebook Wikidot Post preview: Close preview or Sign in as Wikidot user (will not be published) - + Help: wiki text quick reference 授權 本網頁的作者、授權與引用方式 作者 陳鍾誠，於金門大學資訊工程系，電子郵件：wt.ude.uqn|ccc#wt.ude.uqn|ccc，網站：http://ccckmit.wikidot.com。 授權 本文採用創作共用 (Creative Common) 3.0 版的 姓名標示─非商業性─相同方式分享 授權條款，歡迎轉載或修改使用，但若做為商業使用時必須取得授權，引用本文時請參考下列格式。 中文版 (APA格式) 陳鍾誠 (13 Oct 2009 02:14)，(網頁標題) 一階邏輯 (First Order Logic)，(網站標題) 陳鍾誠的網站，取自 http://ccckmit.wikidot.com/lr:firstorderlogic1 ，網頁修改第 6 版。 英文版 (APA格式) Chung-Chen Chen (13 Oct 2009 02:14), Retrieved from http://ccckmit.wikidot.com/lr:firstorderlogic1 , Page Revision 6.