博客來
邏輯定理的機器證明是人工智慧領域人們最早從事研究的課題。《機器證明的邏輯推定》從邏輯定理的人工證明和機器證明兩方面來展現邏輯定理證明的藝術，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現。《機器證明的邏輯推定》首先用作者構造的命題演算系統FPC和狹謂詞演算系統FQC完成常用邏輯定理的人工證明(一種自然推理證明)。
其次，用邏輯定理的機器證明工具TPG(Tree Proof Generator)實現邏輯定理的自動證明(一種樹證明)。最後，用互動式定理機器證明工具Fitch實現了邏輯定理的計算機證明(一種自然推理證明)。本書可作為哲學、邏輯學、數學、語言學等相關專業學生學習邏輯學的參考書，也可為人工智慧相關研究者提供參考。
| FindBook |
有 1 項符合
機器證明的邏輯推定的圖書 |
| 圖書館借閱 |
| 國家圖書館 | 全國圖書書目資訊網 | 國立公共資訊圖書館 | 電子書服務平台 | MetaCat 跨館整合查詢 |
| 臺北市立圖書館 | 新北市立圖書館 | 基隆市公共圖書館 | 桃園市立圖書館 | 新竹縣公共圖書館 |
| 苗栗縣立圖書館 | 臺中市立圖書館 | 彰化縣公共圖書館 | 南投縣文化局 | 雲林縣公共圖書館 |
| 嘉義縣圖書館 | 臺南市立圖書館 | 高雄市立圖書館 | 屏東縣公共圖書館 | 宜蘭縣公共圖書館 |
| 花蓮縣文化局 | 臺東縣文化處 |
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：機器證明的邏輯推定
內容簡介
目錄
前言
第1章 邏輯演算系統FPC和FQC 1
1.1 命題邏輯演算系統FPC 1
1.1.1 系統FPC的形式語言 1
1.1.2 系統FPC的推理規則 3
1.2 謂詞演算系統FQC 8
1.2.1 系統FQC的形式語言 8
1.2.2 系統FQC的推理規則 11
第2章 人工對邏輯系統定理的證明 14
2.1 人工對系統FPC定理的證明 14
2.2 人工對系統FQC定理的證明 41
第3章 演算系統的樹證明 66
3.1 樹證明規則 66
3.1.1 FPC的樹證明規則 66
3.1.2 FQC的樹證明規則 69
3.2 電腦自動證明器TPG簡介 72
3.2.1 TPG的功能 72
3.2.2 TPG的使用說明 72
3.3 FPC定理的樹證明 73
3.4 FQC定理的樹證明 120
第4章 邏輯演算系統的擴充系統 157
4.1 命題演算系統FPC的擴充系統FPC 157
4.2 謂詞演算系統FQC的擴充系統FQC 159
4.3 邏輯系統FPC的推理規則一覽表 160
4.3.1 系統FPC推理規則一覽表 160
4.3.2 系統FQC推理規則一覽表 162
第5章 邏輯演算系統的Fitch證明 163
5.1 Fitch簡介 163
5.2 Fitch的部分證明規則 164
5.2.1 Fitch的命題規則 164
5.2.2 Fitch的部分一階規則 167
5.2.3 Fitch證明的部分結論規則 168
5.3 系統FPC定理的Fitch證明 169
5.4 系統FQC定理的Fitch證明 221
參考文獻 256
第1章 邏輯演算系統FPC和FQC 1
1.1 命題邏輯演算系統FPC 1
1.1.1 系統FPC的形式語言 1
1.1.2 系統FPC的推理規則 3
1.2 謂詞演算系統FQC 8
1.2.1 系統FQC的形式語言 8
1.2.2 系統FQC的推理規則 11
第2章 人工對邏輯系統定理的證明 14
2.1 人工對系統FPC定理的證明 14
2.2 人工對系統FQC定理的證明 41
第3章 演算系統的樹證明 66
3.1 樹證明規則 66
3.1.1 FPC的樹證明規則 66
3.1.2 FQC的樹證明規則 69
3.2 電腦自動證明器TPG簡介 72
3.2.1 TPG的功能 72
3.2.2 TPG的使用說明 72
3.3 FPC定理的樹證明 73
3.4 FQC定理的樹證明 120
第4章 邏輯演算系統的擴充系統 157
4.1 命題演算系統FPC的擴充系統FPC 157
4.2 謂詞演算系統FQC的擴充系統FQC 159
4.3 邏輯系統FPC的推理規則一覽表 160
4.3.1 系統FPC推理規則一覽表 160
4.3.2 系統FQC推理規則一覽表 162
第5章 邏輯演算系統的Fitch證明 163
5.1 Fitch簡介 163
5.2 Fitch的部分證明規則 164
5.2.1 Fitch的命題規則 164
5.2.2 Fitch的部分一階規則 167
5.2.3 Fitch證明的部分結論規則 168
5.3 系統FPC定理的Fitch證明 169
5.4 系統FQC定理的Fitch證明 221
參考文獻 256
|
