中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
缺省邏輯與回答集程序 版權(quán)信息
- ISBN：9787030766472
- 條形碼：9787030766472 ; 978-7-03-076647-2
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
缺省邏輯與回答集程序 內(nèi)容簡介
本書主要介紹一階子句集的消解原理和命題公式集的穩(wěn)定模型、一般缺省理論(包括它的幾個重要變種)的擴張計算特征與算法和復雜性、容易計算的特殊缺省理論類和缺省邏輯的語義、回答集程序及其拓廣(嵌套查詢)的基本概念與重要性質(zhì)，以及架起回答集程序與經(jīng)典邏輯之間關(guān)系橋梁的環(huán)公式和程序完備理論。
缺省邏輯與回答集程序 目錄
第1章 預備知識：集合與邏輯 1
1.1 集合、關(guān)系與函數(shù) 1
1.1.1 集合及其運算 1
1.1.2 關(guān)系 3
1.1.3 函數(shù) 4
1.1.4 基數(shù)、序數(shù)和(數(shù)學與超窮)歸納法 6
1.1.5 歸納定義 7
1.2 命題邏輯 9
1.2.1 命題語言 9
1.2.2 命題公式的語義 11
1.2.3 命題邏輯的形式推導 12
1.2.4 命題邏輯的重要性質(zhì) 13
1.3 一階邏輯及二階邏輯 14
1.3.1 一階邏輯語言 15
1.3.2 一階邏輯的語義 17
1.3.3 一階邏輯的形式推導 18
1.3.4 一階邏輯的重要性質(zhì) 19
1.3.5 二階邏輯 24
1.4 可計算性與計算復雜性 26
1.4.1 可計算性 26
1.4.2 計算復雜性 33
第2章 消解原理和邏輯程序 40
2.1 子句集和消解原理 41
2.1.1 命題子句的消解原理 42
2.1.2 一階子句集的消解原理 43
2.2 穩(wěn)定模型 53
2.2.1 歸約 54
2.2.2 穩(wěn)定模型的基本概念 55
2.2.3 命題公式的強等價 57
2.2.4 Horn公式的穩(wěn)定模型 58
2.3 邏輯程序 59
2.3.1 確定邏輯程序 61
2.3.2 部分賦值 69
2.3.3 推導否定信息 73
第3章 缺省邏輯 77
3.1 缺省理論的擴張 77
3.1.1 用缺省表示知識 77
3.1.2 缺省的基本概念 79
3.2 擴張的計算特征 86
3.3 特殊缺省理論 92
3.4 擴張與推理問題的算法及復雜性 97
3.5 缺省證明與自頂向下的缺省證明 103
3.6 缺省邏輯的語義 106
第4章 回答集程序 112
4.1 回答集程序的基本概念 113
4.2 正規(guī)回答集程序 125
4.3 正規(guī)程序的推理 130
4.3.1 特殊正規(guī)程序 131
4.3.2 回答集程序的分裂 142
4.3.3 正規(guī)程序的SLDNF演算 147
第5章 環(huán)公式和嵌套回答集程序 153
5.1 環(huán)公式 153
5.2 嵌套回答集程序 162
5.2.1 嵌套回答集程序的語法和語義 162
5.2.2 嵌套回答集程序的計算特征 169
5.2.3 嵌套程序的緊湊性 176
5.2.4 嵌套公式的完備和環(huán)公式 179
5.3 包含變元的正規(guī)邏輯程序一階環(huán)公式 185
第6章 回答集程序歸納學習和遺忘理論 196
6.1 基于狀態(tài)變換的邏輯程序歸納學習 196
6.1.1 支承類語義 197
6.1.2 析取基消解和組合消解 198
6.1.3 歸納的學習任務(wù)與算法 201
6.2 回答集程序知識遺忘 205
6.2.1 命題邏輯的HT語義 205
6.2.2 回答集程序遺忘 211
6.2.3 知識遺忘公設(shè) 214
第7章 缺省邏輯的變種 218
7.1 Lukaszewicz的修正擴張 220
7.2 斷言缺省理論 224
7.2.1 累積缺省邏輯 225
7.2.2 CDL推理的局部性與累積性 229
7.2.3 CDL擴張的算法 233
7.2.4 CDL推理問題計算的復雜性 236
7.3 其他累積性缺省邏輯 239
7.3.1 約束缺省邏輯與J-缺省邏輯 239
7.3.2 滿足預設(shè)的缺省邏輯 242
7.3.3 擬缺省邏輯 247
7.4 非單調(diào)推理關(guān)系 250
7.4.1 結(jié)構(gòu)性質(zhì) 251
7.4.2 邏輯聯(lián)結(jié)詞 251
參考文獻 252
展開全部
缺省邏輯與回答集程序 作者簡介
張明義，貴州科學院研究員，貴州大學博士研究生導師。長期從事缺省邏輯與回答集程序研究，主持國家自然科學基金項目6項。曾獲國家有突出貢獻中青年專家、貴州省勞動模范、Kurt Godel終身成就獎、Ray Reiter最佳論文獎。
書友推薦
- >
伊索寓言-世界文學名著典藏-全譯本
- >
山海經(jīng)
- >
唐代進士錄
- >
推拿
- >
莉莉和章魚
- >
朝聞道
- >
經(jīng)典常談
- >
有舍有得是人生
本類暢銷
