智能推理及其在信念修正中的應(yīng)用

前言
第1章 緒論
1．1 邏輯推理的發(fā)展歷史
1．1．1 邏輯演算
1．1．2 證明論
1．1．3 模型論
1．1．4 遞歸論
1．1．5 公理化集合論
1．1．6 非單調(diào)推理理論
1．1．7 自動(dòng)推理技術(shù)
1．1．8 不確定性推理
1．2 信念修正簡(jiǎn)介
1．2．1 信念狀態(tài)的模型
1．2．2 信念變化的基本形式
1．2．3 信念修正理論的應(yīng)用
1．3 自動(dòng)推理理論和信念修正之間的關(guān)系
1．3．1 自動(dòng)推理理論是實(shí)現(xiàn)信念修正的一種途徑
1．3．2 信念修正可以實(shí)現(xiàn)非單調(diào)推理
參考文獻(xiàn)
第2章 單調(diào)邏輯
2．1 命題演算邏輯系統(tǒng)
2．1．1 命題演算的基本概念
2．1．2 命題邏輯的合式公式及范式
2．2 謂詞邏輯
2．2．1 謂詞演算中的基本概念
2．2．2 謂詞邏輯的合式公式
2．2．3 謂詞形式系統(tǒng)的語(yǔ)義
2．3 邏輯演算的形式系統(tǒng)
2．3．1 公理系統(tǒng)
2．3．2 自然推理系統(tǒng)
參考文獻(xiàn)
第3章 自動(dòng)推理與可滿(mǎn)足性驗(yàn)證
3．1 斯科倫標(biāo)準(zhǔn)形
3．2 埃爾布朗域和埃爾布朗定理
3．2．1 埃爾布朗域
3．2．2 語(yǔ)義樹(shù)
3．3 DP算法
3．4 置換與合
3．5 歸結(jié)原理
3．5．1 命題邏輯的歸結(jié)
3．5．2 謂詞邏輯的歸結(jié)
3．5．3 歸結(jié)原理的完備性及過(guò)程控制策略
3．6 可滿(mǎn)足性問(wèn)題的非完全算法
3．7 二元可滿(mǎn)足性問(wèn)題和霍恩可滿(mǎn)足性問(wèn)題的快速算法
3．7．1 二元可滿(mǎn)足性問(wèn)題的快速算法
3．7．2 霍恩可滿(mǎn)足性問(wèn)題的快速算法
3．8 極大可滿(mǎn)足問(wèn)題的算法
3．8．1 貪心算法
3．8．2 局部搜索算法
3．8．3 模擬退火算法
參考文獻(xiàn)
第4章 非單調(diào)推理
4．1 非單調(diào)邏輯產(chǎn)生的背景
4．1．1 非單調(diào)推理產(chǎn)生的基礎(chǔ)
4．1．2 常識(shí)推理促使了非單調(diào)推理的產(chǎn)生
4．2 非單調(diào)邏輯
4．3 缺省邏輯
4．3．1 基本定義
4．3．2 封閉缺省理論的性質(zhì)
4．3．3 封閉正規(guī)缺省理論
4．3．4 封閉正規(guī)缺省理論的證明論
4．4 限定邏輯
4．4．1 限定的定義
4．4．2 優(yōu)先序限定
4．5 自認(rèn)知邏輯
4．5．1 自知邏輯的語(yǔ)法
4．5．2 自知邏輯的語(yǔ)義
參考文獻(xiàn)
第5章 信念修正理論
5．1 信念修正的定義
5．2 信念修正的AGM理論
5．2．1 約減和修正的合理公設(shè)
5．2．2 選擇約減
5．2．3 安全約減
5．3 認(rèn)知牢固度的方法
5．4 信念基的方法
5．5 迭代信念修正理論
5．5．1 基于條件函數(shù)的迭代修正
5．5．2 具有記憶的迭代修正
5．5．3 基于有限偏序牢固度秩的迭代修正
5．6 信念修正的應(yīng)用
參考文獻(xiàn)
第6章 單調(diào)推理技術(shù)在信念修正中的應(yīng)用
6．1 基于核的信念基修正
6．1．1 核約減和修正
6．1．2 極小割集
6．1．3 計(jì)算核的算法
6．1．4 計(jì)算極大協(xié)調(diào)子集的算法
6．1．5 核和極大協(xié)調(diào)子集之間的關(guān)系
6．2 基于模型的修正和基于語(yǔ)法的修正
6．2．1 基于模型的方法
6．2．2 基于語(yǔ)法的方法
6．3 信念修正的轉(zhuǎn)換系統(tǒng)
6．3．1 求極大協(xié)調(diào)子集的轉(zhuǎn)換系統(tǒng)
6．3．2 求極小不協(xié)調(diào)子集的轉(zhuǎn)換系統(tǒng)
6．4 基于歸結(jié)的有限子句集上的信念修正實(shí)現(xiàn)算法
6．4．1 極大協(xié)調(diào)子集的方法
6．4．2 子句集上求所有極小不協(xié)調(diào)子集的方法
6．4．3 典型的信念修正方法的實(shí)現(xiàn)
6．5 信念修正的近似算法
6．5．1 修正的近似算法
6．5．2 具有完整性約束的信念修正方法
6．5．3 有限信念基上的修正和約減過(guò)程
參考文獻(xiàn)
第7章 非單調(diào)推理技術(shù)在信念修正中的應(yīng)用
7．1 信念修正和缺省推理
7．2 限定推理與信念修正
參考文獻(xiàn)
第8章 信念修正的Petri網(wǎng)方法
8．1 Petri與邏輯推理
8．1．1 Petri網(wǎng)的基本概念
8．1．2 霍恩子句的Petri網(wǎng)描述
8．1．3 一般子句化為Petri網(wǎng)
8．2 Petri網(wǎng)與歸結(jié)原理
8．2．1 霍恩基子句集的網(wǎng)刪除歸結(jié)原理
8．2．2 一般基子句集的網(wǎng)刪除歸結(jié)原理
8．3 基于Petri網(wǎng)的修正方法
8．3．1 命題規(guī)則知識(shí)庫(kù)的Petri網(wǎng)描述
8．3．2 知識(shí)庫(kù)更新的代數(shù)方法
8．3．3 擴(kuò)充邏輯程序的知識(shí)庫(kù)更新
參考文獻(xiàn)