智能推理及其在信念修正中的應用

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