《論辯系統:不一致情境中的推理》首先分析在不同套用背景下，Agent在進行各種推理時所面臨的共同問題，並在此基礎上引入論辯系統的基本概念（第1章）。接著，系統闡述論辯系統“靜態方面”的形式理論，包括論辯系統的表示（第2章）、論辯系統的語義描述（第3章）和論辯系統的語義求解（第4章）。隨後，簡要介紹論辯系統“動態方面”的相關理論和方法（第5章）。此外，由於論辯系統的語義求解屬於NP問題，如何高效計算論辯系統的語義是目前所面臨的核心問題之一。第6章著重討論論辯系統語義求解（包括靜態方面和動態方面）的高效性問題，並給出一種高效求解論辯語義的基礎理論：論辯語義的局部性與可組合性。第7章則介紹論辯系統形式體系在Agent非單調推理中的套用情況。最後，第8章給出了總結性闡述。
基本介紹
- 外文名：Argumentation Systems:Reasoning in a Context of Disagreemement
- 書名：論辯系統:不一致情境中的推理
- 作者：廖備水
- 出版日期：2012年9月3日
- 語種：簡體中文
- ISBN：9787308105262
- 出版社：浙江大學出版社
- 頁數：145頁
- 開本：16
- 品牌：浙江大學出版社
內容簡介,圖書目錄,
內容簡介
《論辯系統:不一致情境中的推理》介紹一種適合於處理不完全/不一致/動態的信息的論辯系統理論與方法。書中主要內容包括：（1）緒論；（2）論辯系統的知識表示；（3）論辯系統的構造；（4）論辯狀態的評估；（5）論辯系統的動態性。
圖書目錄
第1章 導論
1.1 引言
1.2 論辯系統產生的套用背景
1.2.1 個體Agent的認識推理
1.2.2 個體Agent的實踐推理
1.2.3 多Agent互動中的推理
1.2.4 各種套用的共同特點
1.3 論辯系統產生的理論背景
1.3.1 經典一階邏輯的缺陷
1.3.2 傳統非單調邏輯及其不足
1.4 論辯系統的基本概念和主要特點
1.4.1 論辯系統的基本概念
1.4.2 論辯系統的特點
1.5 本書的內容與結構
第2章 論辯系統的表示
2.1 引言
2.2 基於可廢止規則的方法
2.2.1 知識的表示
2.2.2 論證和子論證
2.2.3 論證間的優先關係
2.2.4 論證間的攻擊關係
2.3 基於假設的方法
2.3.1 知識的表示
2.3.2 論證
2.3.3 論證間的攻擊關係
2.4 小結
第3章 論辯系統的語義描述
3.1 引言
3.2 基於外延的方法
3.2.1 多狀態指派法
3.2.2 唯一狀態指派法
3.2.3 各種語義的聯繫和特點
3.3 基於標記的方法
3.3.1 標記與標記的合法性
3.3.2 基於標記的語義描述
3.4 兩種方法的關係
3.5 小結
第4章 論辯系統的語義求解
4.1 引言
4.2 基於論證博弈的方法
4.2.1 爭辯樹和贏策略
4.2.2 各種論辯語義下的合法提議函式
4.3 基於回答集編程的方法
4.3.1 回答集編程
4.3.2 從論辯框架到邏輯程式的映射
4.3.3 基於ASP求解器的論辯語義計算
4.4 小結
第5章 論辯系統的動態性
5.1 引言
5.2 論辯系統動態性的兩個主要研究方向
5.2.1 論辯系統的正向動態性
5.2.2 論辯系統的逆向動態性
5.3 現有的一些主要方法
5.3.1 論辯框架的高效更新方法
5.3.2 論證狀態動態變化的高效求解方法
5.3.3 論辯框架的修正方法
5.3.4 推理知識的修正方法
5 4 小結
第6章 論辯語義的局部性與可組合性
6.1 引言
6.2基本概念
6.3 兩類子論辯框架及其語義
6.3.1 子框架的定義
6.3.2 子框架的語義
6.4 局部語義的可組合性
6.5 小結
第7章 論辯系統形式體系在Agent推理中的套用
7.1 引言
7.2 幾種基於論辯的Agent非單調推理
7.2.1 基於論辯的認識推理
7.2.2 基於論辯的實踐推理
7.2.3 基於論辯的BDI Agent模型
7.3 論辯系統形式體系的套用情況分析
7.3.1 知識的表示方面
7.3.2 論證的構造方面
7.3.3 論證的評估方面
7.4 研究展望
7.5 小結
第8章 結論
參考文獻
附錄
論辯系統的動態性：一種基於劃分的方法
ANG1E：一種具有變化知識的自主的、規範的、可指導的Agent
1.1 引言
1.2 論辯系統產生的套用背景
1.2.1 個體Agent的認識推理
1.2.2 個體Agent的實踐推理
1.2.3 多Agent互動中的推理
1.2.4 各種套用的共同特點
1.3 論辯系統產生的理論背景
1.3.1 經典一階邏輯的缺陷
1.3.2 傳統非單調邏輯及其不足
1.4 論辯系統的基本概念和主要特點
1.4.1 論辯系統的基本概念
1.4.2 論辯系統的特點
1.5 本書的內容與結構
第2章 論辯系統的表示
2.1 引言
2.2 基於可廢止規則的方法
2.2.1 知識的表示
2.2.2 論證和子論證
2.2.3 論證間的優先關係
2.2.4 論證間的攻擊關係
2.3 基於假設的方法
2.3.1 知識的表示
2.3.2 論證
2.3.3 論證間的攻擊關係
2.4 小結
第3章 論辯系統的語義描述
3.1 引言
3.2 基於外延的方法
3.2.1 多狀態指派法
3.2.2 唯一狀態指派法
3.2.3 各種語義的聯繫和特點
3.3 基於標記的方法
3.3.1 標記與標記的合法性
3.3.2 基於標記的語義描述
3.4 兩種方法的關係
3.5 小結
第4章 論辯系統的語義求解
4.1 引言
4.2 基於論證博弈的方法
4.2.1 爭辯樹和贏策略
4.2.2 各種論辯語義下的合法提議函式
4.3 基於回答集編程的方法
4.3.1 回答集編程
4.3.2 從論辯框架到邏輯程式的映射
4.3.3 基於ASP求解器的論辯語義計算
4.4 小結
第5章 論辯系統的動態性
5.1 引言
5.2 論辯系統動態性的兩個主要研究方向
5.2.1 論辯系統的正向動態性
5.2.2 論辯系統的逆向動態性
5.3 現有的一些主要方法
5.3.1 論辯框架的高效更新方法
5.3.2 論證狀態動態變化的高效求解方法
5.3.3 論辯框架的修正方法
5.3.4 推理知識的修正方法
5 4 小結
第6章 論辯語義的局部性與可組合性
6.1 引言
6.2基本概念
6.3 兩類子論辯框架及其語義
6.3.1 子框架的定義
6.3.2 子框架的語義
6.4 局部語義的可組合性
6.5 小結
第7章 論辯系統形式體系在Agent推理中的套用
7.1 引言
7.2 幾種基於論辯的Agent非單調推理
7.2.1 基於論辯的認識推理
7.2.2 基於論辯的實踐推理
7.2.3 基於論辯的BDI Agent模型
7.3 論辯系統形式體系的套用情況分析
7.3.1 知識的表示方面
7.3.2 論證的構造方面
7.3.3 論證的評估方面
7.4 研究展望
7.5 小結
第8章 結論
參考文獻
附錄
論辯系統的動態性：一種基於劃分的方法
ANG1E：一種具有變化知識的自主的、規範的、可指導的Agent
