智能主體及其應(yīng)用

第一章 緒論
1.1 信息社會(huì)
1.2 信息高速公路
1.3 網(wǎng)絡(luò)計(jì)算
1.4 分布式人工智能
1.5 智能主體
1.5.1 主體弱概念
1.5.2 主體強(qiáng)概念
1.5.3 主體的其它屬性
1.6 移動(dòng)主體
1.7 智能主體的研究進(jìn)展
第二章 理論模型
2.1 智能主體的心理要素
2.2 理性主體
2.3 Cohen和Levesque的模型
2.3.1 模態(tài)邏輯
2.3.2 Cohen和Levesque的BDI模型
2.4 Rao和Gegrgeff的模型
2.4.1 分支模態(tài)邏輯
2.4.2 Rao和Georgeff的BDI模型
2.5 多主體的邏輯框架RAO
2.5.1 公共知識(shí)
2.5.2 對(duì)其它主體的推理
2.6 主體心智狀態(tài)的表示
2.6.1 主體的信念和動(dòng)作
2.6.2 主體的能力
2.6.3 主體的規(guī)劃
2.6.4 主體的意圖
2.7 π演算主體模型
2.7.1 π演算
2.7.2 主體的心智態(tài)度
2.7.3 主體的行為規(guī)范
2.7.4 主體界面
2.7.5 主體自適應(yīng)
2.7.6 多主體系統(tǒng)模型
2.8 基于行為的主體理論
第三章 主體結(jié)構(gòu)
3.1 主體基本結(jié)構(gòu)
3.2 慎思主體
3.3 反應(yīng)主體
3.4 混合結(jié)構(gòu)
3.5 INTERRAP
3.6 MAPE主體結(jié)構(gòu)
3.6.1 部件構(gòu)成
3.6.2 主體內(nèi)核
第四章 主體通信
4.1 通信方式
4.1.1 黑板系統(tǒng)
4.1.2 消息傳送
4.2 主體通信語言KQML
4.2.1 KQML字符串句法
4.2.2 保留的動(dòng)作表達(dá)式參數(shù)
4.2.3 保留的動(dòng)作表達(dá)式
4.3 SACL語言
4.3.1 主體間通信的模型
4.3.2 SACL語言規(guī)范
4.3.3 SACL的保留關(guān)鍵字
4.4 通信服務(wù)器
4.4.1 通信模塊
4.4.2 通信服務(wù)器類
4.4.3 名字服務(wù)
4.4.4 查詢服務(wù)
4.4.5 訂購服務(wù)
4.4.6 主體生存期服務(wù)
4.4.7 系統(tǒng)監(jiān)控和調(diào)試
4.5 主體通信語言ACL
4.5.1 主體間通信概述
4.5.2 FIPA ACL消息
4.5.3 交互協(xié)議
4.5.4 ACL語義學(xué)的形式化基礎(chǔ)
4.6 本體論
第五章 協(xié)調(diào)與協(xié)作
5.1 引言
5.2 合同網(wǎng)
5.3 協(xié)作規(guī)劃
5.3.1 形式化框架
5.3.2 協(xié)作模型
5.3.3 協(xié)作結(jié)構(gòu)
5.3.4 協(xié)作方案
5.3.5 協(xié)作過程分析
5.4 部分全局規(guī)劃
5.5 基于約束傳播的規(guī)劃
5.5.1 規(guī)劃表示
5.5.2 多主體環(huán)境下的規(guī)劃問題
5.5.3 規(guī)劃算法
5.6 基于生態(tài)學(xué)的協(xié)作
5.7 基于對(duì)策論的協(xié)商
5.7.1 對(duì)策論
5.7.2 面向領(lǐng)域的協(xié)商
5.7.3 最佳平衡協(xié)商方法
5.7.4 集中式協(xié)商方法
5.8 基于意圖的協(xié)商
5.8.1 意圖
5.8.2 協(xié)商過程
5.9 基于范例推理的合同網(wǎng)協(xié)商
第六章 移動(dòng)主體
6.1 概述
6.2 分布計(jì)算模型
6.3 協(xié)作移動(dòng)主體CMA
6.4 任務(wù)移動(dòng)主體TMA
6.5 移動(dòng)主體服務(wù)器結(jié)構(gòu)
6.6 JMAT系統(tǒng)結(jié)構(gòu)
6.7 JMAT本體知識(shí)解釋器
第七章 學(xué)習(xí)與安全
7.1 學(xué)習(xí)
7.2 主動(dòng)學(xué)習(xí)
7.2.1 主動(dòng)學(xué)習(xí)概述
7.2.2 主動(dòng)學(xué)習(xí)者以前不正確學(xué)習(xí)的問題
7.2.3 克服前面不正確學(xué)習(xí)問題的方法
7.2.4 選擇訓(xùn)練實(shí)例學(xué)習(xí)的時(shí)機(jī)
7.3 異構(gòu)多主體系統(tǒng)中學(xué)習(xí)組織角色
7.4 分布式環(huán)境下的數(shù)據(jù)庫知識(shí)發(fā)現(xiàn)DEKDD
7.5 多主體范例推理
7.6 多主體系統(tǒng)的安全
7.6.1 處理AOSDE分布式安全機(jī)制DSM的設(shè)計(jì)
7.6.2 DSM的低層算法設(shè)計(jì)
7.6.3 低層算法的安全性分析及實(shí)現(xiàn)
7.6.4 DSM的高層設(shè)計(jì)
第八章 面向主體的軟件技術(shù)
8.1 軟件開發(fā)方法
8.2 分布式對(duì)象構(gòu)件技術(shù)
8.3 面向主體程序設(shè)計(jì)
8.3.1 AGENT－0語言
8.3.2 AGENT-0解釋器
8.4 基于主體的分布計(jì)算模型
8.5 公共主體請(qǐng)求代理體系結(jié)構(gòu)CARBA
8.6 AOSDE的總體結(jié)構(gòu)
第九章 主體開發(fā)工具
9.1 引言
9.2 Java語言
9.3 PLACA語言
9.4 IBM的ABE
9.5 AOSDE
9.5.1 通用主體模板
9.5.2 主體控制循環(huán)
9.5.3 主體描述語言ADL
9.6 CIAgent
9.6.1 基本類CIAgent
9.6.2 類CIAgentEvent
9.6.3 類CIAgentEventListener
9.6.4 類Rule
9.6.5 類RuleBase
9.6.6 類FacilitatorAgent
第十章 信息檢索
10.1 網(wǎng)絡(luò)信息檢索
10.2 JMAT分布信息檢索
10.3 基于主體的多媒體并行檢索系統(tǒng)MIRES／INPAR
10.3.1 系統(tǒng)體系結(jié)構(gòu)
10.3.2 系統(tǒng)工作過程
10.4 基于本體論的信息檢索服務(wù)器
第十一章 電子商務(wù)
11.1 引言
11.2 運(yùn)作模式
11.3 電子商店設(shè)計(jì)
11.4 電子商務(wù)實(shí)現(xiàn)
11.4.1 類BuyerAgent
11.4.2 類SellerAgent
11.4.3 類BasicNegotiation
11.4.4 類BestBuyerAgent
11.4.5 類BestSellerAgent
11.4.6 類MarketPlace
第十二章 智能決策
12.1 引言
12.2 決策支持系統(tǒng)
12.3 智能決策支持系統(tǒng)
12.4 群體決策支持系統(tǒng)
12.4.1 信息共享群體決策支持系統(tǒng)
12.4.2 協(xié)同工作群體決策支持系統(tǒng)
第十三章 智能控制
13.1 引言
13.2 空中交通管理系統(tǒng)
13.3 智能機(jī)器人
13.4 Brooks的包容結(jié)構(gòu)
13.5 O’Hare的社會(huì)機(jī)器人
13.6 機(jī)器人世界杯足球賽
第十四章 展望
參考文獻(xiàn)