缺省邏輯與回答集程序

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