論辯系統(tǒng)

內(nèi)容概要

　　《論辯系統(tǒng)：不一致情境中的推理》首先分析在不同應(yīng)用背景下，Agent在進(jìn)行各種推理時(shí)所面臨的共同問(wèn)題，并在此基礎(chǔ)上引入論辯系統(tǒng)的基本概念（第1章）。接著，系統(tǒng)闡述論辯系統(tǒng)“靜態(tài)方面”的形式理論，包括論辯系統(tǒng)的表示（第2章）、論辯系統(tǒng)的語(yǔ)義描述（第3章）和論辯系統(tǒng)的語(yǔ)義求解（第4章）。隨后，簡(jiǎn)要介紹論辯系統(tǒng)“動(dòng)態(tài)方面”的相關(guān)理論和方法（第5章）。此外，由于論辯系統(tǒng)的語(yǔ)義求解屬于NP問(wèn)題，如何高效計(jì)算論辯系統(tǒng)的語(yǔ)義是目前所面臨的核心問(wèn)題之一?！墩撧q系統(tǒng)：不一致情境中的推理》第6章著重討論論辯系統(tǒng)語(yǔ)義求解（包括靜態(tài)方面和動(dòng)態(tài)方面）的高效性問(wèn)題，并給出一種高效求解論辯語(yǔ)義的基礎(chǔ)理論：論辯語(yǔ)義的局部性與可組合性。本書(shū)的第7章則介紹論辯系統(tǒng)形式體系在Agent非單調(diào)推理中的應(yīng)用情況。最后，本書(shū)的第8章給出了總結(jié)性闡述。

書(shū)籍目錄

第1章 導(dǎo)論1.1 引言1.2 論辯系統(tǒng)產(chǎn)生的應(yīng)用背景1.2.1 個(gè)體Agent的認(rèn)識(shí)推理1.2.2 個(gè)體Agent的實(shí)踐推理1.2.3 多Agent交互中的推理1.2.4 各種應(yīng)用的共同特點(diǎn)1.3 論辯系統(tǒng)產(chǎn)生的理論背景1.3.1 經(jīng)典一階邏輯的缺陷1.3.2 傳統(tǒng)非單調(diào)邏輯及其不足1.4 論辯系統(tǒng)的基本概念和主要特點(diǎn)1.4.1 論辯系統(tǒng)的基本概念1.4.2 論辯系統(tǒng)的特點(diǎn)1.5 本書(shū)的內(nèi)容與結(jié)構(gòu)第2章 論辯系統(tǒng)的表示2.1 引言2.2 基于可廢止規(guī)則的方法2.2.1 知識(shí)的表示2.2.2 論證和子論證2.2.3 論證間的優(yōu)先關(guān)系2.2.4 論證間的攻擊關(guān)系2.3 基于假設(shè)的方法2.3.1 知識(shí)的表示2.3.2 論證2.3.3 論證間的攻擊關(guān)系2.4 小結(jié)第3章 論辯系統(tǒng)的語(yǔ)義描述3.1　引　言3.2 基于外延的方法3.2.1 多狀態(tài)指派法3.2.2 唯一狀態(tài)指派法3.2.3 各種語(yǔ)義的聯(lián)系和特點(diǎn)3.3 基于標(biāo)記的方法3.3.1 標(biāo)記與標(biāo)記的合法性3.3.2 基于標(biāo)記的語(yǔ)義描述3.4 兩種方法的關(guān)系3.5 小結(jié)第4章 論辯系統(tǒng)的語(yǔ)義求解4.1 引言4.2 基于論證博弈的方法4.2.1 爭(zhēng)辯樹(shù)和贏策略4.2.2 各種論辯語(yǔ)義下的合法提議函數(shù)4.3 基于回答集編程的方法4.3.1 回答集編程4.3.2 從論辯框架到邏輯程序的映射4.3.3 基于ASP求解器的論辯語(yǔ)義計(jì)算4.4 小結(jié)第5章 論辯系統(tǒng)的動(dòng)態(tài)性5.1　引言5.2 論辯系統(tǒng)動(dòng)態(tài)性的兩個(gè)主要研究方向5.2.1 論辯系統(tǒng)的正向動(dòng)態(tài)性5.2.2 論辯系統(tǒng)的逆向動(dòng)態(tài)性5.3 現(xiàn)有的一些主要方法5.3.1 論辯框架的高效更新方法5.3.2 論證狀態(tài)動(dòng)態(tài)變化的高效求解方法5.3.3 論辯框架的修正方法5.3.4 推理知識(shí)的修正方法5 4 小結(jié)第6章 論辯語(yǔ)義的局部性與可組合性6.1 引言6.2基本概念6.3 兩類(lèi)子論辯框架及其語(yǔ)義6.3.1 子框架的定義6.3.2 子框架的語(yǔ)義6.4 局部語(yǔ)義的可組合性6.5 小結(jié)第7章 論辯系統(tǒng)形式體系在Agent推理中的應(yīng)用7.1 引言7.2 幾種基于論辯的Agent非單調(diào)推理7.2.1 基于論辯的認(rèn)識(shí)推理7.2.2 基于論辯的實(shí)踐推理7.2.3 基于論辯的BDI Agent模型7.3 論辯系統(tǒng)形式體系的應(yīng)用情況分析7.3.1 知識(shí)的表示方面7.3.2 論證的構(gòu)造方面7.3.3 論證的評(píng)估方面7.4 研究展望7.5 小結(jié)第8章 結(jié)論參考文獻(xiàn)附錄論辯系統(tǒng)的動(dòng)態(tài)性：一種基于劃分的方法ANG1E：一種具有變化知識(shí)的自主的、規(guī)范的、可指導(dǎo)的Agent

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    論辯系統(tǒng) PDF格式下載

---