缺省邏輯與回答集程序

第1章 預(yù)備知識：集合與邏輯
1.1 集合、關(guān)系與函數(shù)
1.1.1 集合及其運算
1.1.2 關(guān)系
1.1.3 函數(shù)
1.1.4 基數(shù)、序數(shù)和（數(shù)學(xué)與超窮）歸納法
1.1.5 歸納定義
1.2 命題邏輯
1.2.1 命題語言
1.2.2 命題公式的語義
1.2.3 命題邏輯的形式推導(dǎo)
1.2.4 命題邏輯的重要性質(zhì)
1.3 一階邏輯及二階邏輯
1.3.1 一階邏輯語言
1.3.2 一階邏輯的語義
1.3.3 一階邏輯的形式推導(dǎo)
1.3.4 一階邏輯的重要性質(zhì)
1.3.5 二階邏輯
1.4 可計算性與計算復(fù)雜性
1.4.1 可計算性
1.4.2 計算復(fù)雜性
第2章 消解原理和邏輯程序
2.1 子句集和消解原理
2.1.1 命題子句的消解原理
2.1.2 一階子句集的消解原理
2.2 穩(wěn)定模型
2.2.1 歸約
2.2.2 穩(wěn)定模型的基本概念
2.2.3 命題公式的強等價
2.2.4 Horn公式的穩(wěn)定模型
2.3 邏輯程序
2.3.1 確定邏輯程序
2.3.2 部分賦值
2.3.3 推導(dǎo)否定信息
第3章 缺省邏輯
3.1 缺省理論的擴張
3.1.1 用缺省表示知識
3.1.2 缺省的基本概念
3.2 擴張的計算特征
3.3 特殊缺省理論
3.4 擴張與推理問題的算法及復(fù)雜性
3.5 缺省證明與自頂向下的缺省證明
3.6 缺省邏輯的語義
第4章 回答集程序
4.1 回答集程序的基本概念
4.2 正規(guī)回答集程序
4.3 正規(guī)程序的推理
4.3.1 特殊正規(guī)程序
4.3.2 回答集程序的分裂
4.3.3 正規(guī)程序的SLDNF演算
第5章 環(huán)公式和嵌套回答集程序
5.1 環(huán)公式
5.2 嵌套回答集程序
5.2.1 嵌套回答集程序的語法和語義
5.2.2 嵌套回答集程序的計算特征
5.2.3 嵌套程序的緊湊性
5.2.4 嵌套公式的完備和環(huán)公式
5.3 包含變元的正規(guī)邏輯程序一階環(huán)公式
第6章 回答集程序歸納學(xué)習(xí)和遺忘理論
6.1 基于狀態(tài)變換的邏輯程序歸納學(xué)習(xí)
6.1.1 支承類語義
6.1.2 析取基消解和組合消解
6.1.3 歸納的學(xué)習(xí)任務(wù)與算法
6.2 回答集程序知識遺忘
6.2.1 命題邏輯的HT語義
6.2.2 回答集程序遺忘
6.2.3 知識遺忘公設(shè)
第7章 缺省邏輯的變種
7.1 Lukaszewicz的修正擴張
7.2 斷言缺省理論
7.2.1 累積缺省邏輯
7.2.2 CDL推理的局部性與累積性
7.2.3 CDL擴張的算法
7.2.4 CDL推理問題計算的復(fù)雜性
7.3 其他累積性缺省邏輯
7.3.1 約束缺省邏輯與J-缺省邏輯
7.3.2 滿足預(yù)設(shè)的缺省邏輯
7.3.3 擬缺省邏輯
7.4 非單調(diào)推理關(guān)系
7.4.1 結(jié)構(gòu)性質(zhì)
7.4.2 邏輯聯(lián)結(jié)詞
參考文獻