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