基於Agent的計算

《基於Agent的計算》是2007年6月1日清華大學出版的圖書。Agent已在工作流管理、信息檢索與管理、電子商務、工業系統管理、太空船控制等諸多領域得到套用。本文是作者十多年來對Agent有關研究的匯集，主要介紹了個體和群體Agent的各種模型、多種合作求解方法以及多 Agent系統。

基本介紹

• 書名：基於Agent的計算
• ISBN：7302128006、 9787302128007
• 頁數：568頁
• 出版社：清華大學
• 出版時間：2007年6月1日
• 裝幀：平裝 

內容簡介

《基於Agent的計算》介紹了個體和群體Agent的各種模型、多種合作求解方法以及多 Agent系統。主要內容是作者十多年來有關Agent研究的匯集，也體現了十多年來國際上有關Agent研究的主要進展，是對Agent有興趣的讀者的一本有用的讀物。基於Agent的計算，或者說Agent理論與技術，是人工智慧學科的一個分支，涉及Agent和多Agent系統的理論與技術。Agent作為一種新穎的知識表示方法和問題求解方法，已受到普遍的關注。

目錄

第1章緒論1

1.1對基於Agent的計算的認識1

1.2基於Agent的計算研究進展3

1.2.1基於Agent計算的思維狀態模型4

1.2.2多Agent協調、協商與合作求解11

1.2.3Agent組織16

1.2.4MAS的社會性21

1.2.5多Agent形式語義方法23

1.2.6MAS拍賣25

1.2.7面向Agent的程式設計語言29

1.2.8測試床與套用系統34

1.3本書各章的組織37

第2章個體Agent模型43

2.1概述43

2.2Agent的BDI模型45

2.2.1語法定義45

2.2.2語義模型46

2.2.3語義解釋47

2.2.4信念、願望和意圖48

2.2.5動態BDI模型53

2.3Agent的BDI效用模型55

2.3.1直觀分析55

2.3.2語言和語法56

2.3.3語義57

2.3.4模型性質公理60

2.3.5BEL，GOAL和INTEND關係公理60

2.3.6模型實現分析61

2.4並發Agent的模型63

2.4.1語法63

2.4.2語義模型64

2.4.3模型基本性質67

2.4.4舉例68

2.5並發Agent的操作模型69

2.5.1π演算69

2.5.2直觀含義70

2.5.3模型定義70

2.5.4並發Agent核心語言75

2.5.5舉例77

2.6小結80

第3章群體Agent的社會模型83

3.1概述83

3.2社會Agent的BDO模型87

3.2.1MAS的分層模型87

3.2.2承諾、意圖和義務87

3.2.3語法定義88

3.2.4語義模型90

3.2.5基本性質92

3.2.6群體現象95

3.2.7舉例95

3.2.8模型對比分析96

3.3計算Agent的社會模型98

3.3.1模型98

3.3.2重構102

3.4BDOAgent和MAS結構設計106

3.4.1分析106

3.4.2MAS的概念層次107

3.4.3BDOAgent結構109

3.4.4BDOScript和Robocup的部分描述111

3.5小結113

第4章多Agent系統協商方法115

4.1概述115

4.2MAS的一種動態行為118

4.2.1收益函式與理性假設119

4.2.2Agent的理性與系統行為121

4.2.3最小理性假設下的系統行為122

4.2.4分離理性假設下的系統行為122

4.2.5惟一理性假設下的系統行為124

4.2.6舉例124

4.3多Agent協商算法125

4.3.1Agent的意圖與Pareto*理性127

4.3.2多Agent協商算法134

4.3.3舉例142

4.4多Agent多遇學習協調方法145

4.4.1Nash平衡147

4.4.20歷史學習方法149

4.4.31歷史學習方法152

4.4.4∞歷史學習方法154

4.4.5δ歷史學習方法158

4.5小結160

第5章Agent對抗163

5.1概述163

5.2基於BDI的對手模型166

5.2.1對手模型167

5.2.2跟蹤算法168

5.2.3算法分析170

5.2.4算法推廣171

5.2.5實驗分析172

5.3個體對抗174

5.3.1Agent通信174

5.3.2KQML的語義176

5.3.3基於對手模型的協商算法179

5.3.4基於對手模型的欺騙算法180

5.3.5對抗策略185

5.3.6實驗分析185

5.4群體對抗186

5.4.1群體意圖的表示187

5.4.2群體意圖的生成與執行過程189

5.4.3群體意圖跟蹤算法191

5.4.4實驗分析194

5.5小結196

第6章多Agent系統的語義模型199

6.1概述199

6.2Agent組織形成的形式描述和語義202

6.2.1化學抽象機202

6.2.2Agent組織結構的設計203

6.2.3Agent組織結構設計的形式描述204

6.2.4Agent組織結構設計過程的形式語義206

6.3受限AGENT0的操作語義208

6.3.1AGENT0語言208

6.3.2約定和假設209

6.3.3基於π演算的受限AGENT0操作語義210

6.3.4受限AGENT0的CAM語義214

6.3.5討論216

6.4多Agent信念邏輯的Aumann語義216

6.4.1MBL的Kripke語義與廣義Aumann語義216

6.4.2MPBL及機率Aumann語義221

6.5機率信念邏輯的機率模態語義及完備性227

6.5.1正規機率模態語義227

6.5.2PBLω的機率模態語義及完備性229

6.5.3PBLr的機率模態語義及弱完備性234

6.6多Agent系統形式規範中的進程演算239

6.6.1基於內部選擇的CCS系統及弱互模擬的同餘性239

6.6.2基於並行動作的π演算及強互模擬的同餘性247

6.6.3傳遞知識的進程演算259

6.7小結264

第7章Agent的個性模型265

7.1概述265

7.2個性的定義266

7.3具有個性的Agent結構267

7.3.1結構描述267

7.3.2目標實現機制268

7.4互動與組織270

7.4.1互動270

7.4.2組織270

7.5具有個性的行為網路271

7.5.1行為網路描述271

7.5.2活性傳播計算272

7.5.3活動選擇273

7.6小結273

第8章Agent組織與聯盟275

8.1概述275

8.2基於思維狀態傳遞的組織表示277

8.2.1利用思維傳遞函式描述Agent關係277

8.2.2組織描述279

8.2.3組織表示的套用280

8.3Agent組織的遞歸模型281

8.3.1Agent組織結構的遞歸模型282

8.3.2模型分析283

8.3.3Agent組織的形成286

8.3.4用遞歸模型描述Agent組織286

8.4一種基於π演算的Agent組織模型288

8.4.1角色和組織框架289

8.4.2組織形成過程舉例292

8.4.3組織動作的思維狀態效果294

8.4.4實驗分析和算法實現295

8.4.5討論297

8.5Agent組織的承諾機制298

8.5.1多Agent系統的承諾298

8.5.2Agent組織的承諾關係299

8.5.3承諾的語法和語義300

8.5.4承諾的性質302

8.5.5基於承諾的組織形成303

8.5.6舉例305

8.6面向結構的組織形成306

8.6.1組織描述框架306

8.6.2面向結構的Agent組織形成方法308

8.6.3舉例312

8.7聯盟演化機制313

8.7.1問題的描述與分析313

8.7.2聯盟等價性314

8.7.3聯盟演化315

8.7.4基於組織論的演化機制317

8.8小結319

第9章Agent社會321

9.1概述321

9.2基於信念願望意圖和效用的社會承諾機制324

9.2.1基本框架324

9.2.2社會承諾的決策和通信機制326

9.2.3社會承諾過程328

9.2.4舉例331

9.3基於市場模型的MAS社會規範331

9.3.1Coleman的社會理論332

9.3.2規範的定義335

9.3.3權利分配、規範的制定和廢除337

9.3.4對稱利益形勢下的共同禁止規範339

9.3.5舉例340

9.4Agent行為規範343

9.4.1一種行為規範框架343

9.4.2基於人工神經網路的規範機制345

9.4.3規範效益與套用分類348

9.4.4實驗分析349

9.5小結351

第10章多Agent系統拍賣方法353

10.1概述353

10.2一種拍賣模型358

10.2.1模型358

10.2.2拍賣方法的評價標準359

10.3一種邊際效用遞減的組合拍賣求解算法360

10.3.1組合拍賣模型361

10.3.2物品分配算法362

10.3.3基於多物品不可轉移檢查算法的分析365

10.4一種多屬性拍賣方法366

10.4.1多屬性拍賣模型367

10.4.2多屬性拍賣MAV367

10.4.3MAV的評價371

10.5小結373

第11章多Agent系統合作求解方法375

11.1概述375

11.2基於BDI的多Agent互動379

11.2.1語法定義379

11.2.2語義模型380

11.2.3語義解釋381

11.2.4單Agent間的BDI382

11.2.5社會承諾和聯合意圖384

11.2.6合作的形成過程387

11.3多Agent系統的一種合作機制389

11.3.1面向任務域TOD*389

11.3.2測試床結構和互動流程390

11.3.3合作互動策略391

11.3.4實驗分析394

11.4群體Agent合作求解的邏輯模型396

11.4.1語法和語義模型397

11.4.2公理399

11.4.3群體Agent合作求解過程400

11.4.4舉例404

11.5群體Agent合作策略的表示與評估406

11.5.1基於影響圖的群體Agent合作求解模型406

11.5.2情景演算語言——ConGolog408

11.5.3評估算法409

11.5.4舉例412

11.5.5討論413

11.6小結415

第12章 多Agent學習

第13章 Agent平台與測試床

第14章 Agent技術套用

參考文獻

附錄 Robocup的部分描述