目錄
國家社科基金后期資助項(xiàng)目出版說明
前言
第一章 導(dǎo)論 1
第一節(jié) 本選題的學(xué)術(shù)依據(jù)和提出背景 1
第二節(jié) 國內(nèi)外研究狀況 3
第三節(jié) 主要內(nèi)容、研究方法、研究價值等 10
第二章 信念-愿望-意圖邏輯的哲學(xué)基礎(chǔ) 18
第一節(jié) 引言 19
第二節(jié) 通向規(guī)劃理論的道路 28
第三節(jié) 規(guī)劃與實(shí)踐推理 39
第四節(jié) 關(guān)于Agent理性的一般理論 56
第五節(jié) 重新考慮與Agent理性 63
第六節(jié) Agent理性的歷史原則 76
第七節(jié) 承諾再論 102
第八節(jié) 意圖的兩面性 105
第九節(jié) 意圖行動 118
第十節(jié) 意圖和預(yù)期的副作用 127
第十一節(jié) 結(jié)論與未來的工作 147
第三章 信念-愿望-意圖邏輯的形式系統(tǒng) 150
第一節(jié) 引言 150
第二節(jié) 研究方法 156
第三節(jié) 理性行為形式理論的要素 157
第四節(jié) 持續(xù)目標(biāo) 171
第五節(jié) 關(guān)于行動的信念 175
第六節(jié) 作為持續(xù)目標(biāo)的意圖 178
第七節(jié) 滿足意圖的要求 182
第八節(jié) 狂熱目標(biāo)的終結(jié) 186
第九節(jié) Agent系統(tǒng)結(jié)構(gòu)的作用 188
第十節(jié) 結(jié)論與未來的工作 189
第四章 面向Agent環(huán)境的信念修正：行動改變心智 191
第一節(jié) 引言 192
第二節(jié) 知識、信念、能力、機(jī)會及其結(jié)果 193
第三節(jié) 行動改變心智 198
第四節(jié) 結(jié)論與未來的工作 225
第五章 Agent結(jié)構(gòu)的等級BDI 模型 227
第一節(jié) 引言 227
第二節(jié) 等級BDI-Agent模型 229
第三節(jié) 信念背景 230
第四節(jié) 愿望背景 233
第五節(jié) 意圖背景 236
第六節(jié) 規(guī)劃和交流背景 237
第七節(jié) 橋規(guī)則 238
第八節(jié) 等級BDI-Agent在旅游建議中的應(yīng)用實(shí)例 240
第九節(jié) 結(jié)論與未來的工作 242
第六章 等級BDI-Agent的執(zhí)行語言 244
第一節(jié) 引言 244
第二節(jié) 過程演算 245
第三節(jié) 多背景演算 249
第四節(jié) 操作語義 252
第五節(jié) 等級BDI-Agent到多背景演算的映射 254
第六節(jié) 結(jié)論與未來的工作 259
第七章 帶有偏好的等級BDI-Agent模型 261
第一節(jié) 引言 261
第二節(jié) 愿望背景 DC 263
第三節(jié) 意圖背景 IC 269
第四節(jié) 信念背景 BC 271
第五節(jié) 等級BDI-Agent的運(yùn)行步驟 272
第六節(jié) 結(jié)論與未來的工作 274
第八章 BDI-Agent情感觸發(fā)器的形式模型 276
第一節(jié) 引言 276
第二節(jié) OCC模型 278
第三節(jié) OCC模型情感誘發(fā)條件的形式化 284
第四節(jié) 動態(tài)信念邏輯基礎(chǔ) 294
第五節(jié) 基于信念-愿望-意圖的邏輯基礎(chǔ) 301
第六節(jié) 相關(guān)研究 310
第七節(jié) 結(jié)論與未來的工作 313
附錄 命題證明 314
第九章 情感等級BDI-Agent的形式模型 318
第一節(jié) 引言 318
第二節(jié) 情感等級BDI邏輯EBDI 319
第三節(jié) 對EBDI邏輯中的情感的建模準(zhǔn)備 329
第四節(jié) 對EBDI邏輯中的情感進(jìn)行建模 332
第五節(jié) 相關(guān)研究對比 335
第六節(jié) 結(jié)論與未來的工作 336
第十章 帶有規(guī)范性慎思的BDI推理 337
第一節(jié) 引言 337
第二節(jié) 說明性場景 339
第三節(jié) 經(jīng)典的BDI推理 339
第四節(jié) 對規(guī)范的處理 347
第五節(jié) 使用規(guī)范對經(jīng)典BDI推理進(jìn)行擴(kuò)展 362
第六節(jié) 相關(guān)工作 363
第七節(jié) 結(jié)論與未來的工作 368
附錄一 基本定義 370
附錄二 帶規(guī)范的 BDI 推理算法 371
第十一章 BDI邏輯的纖維語義學(xué) 377
第一節(jié) 引言 377
第二節(jié) BDI邏輯和多模態(tài)邏輯 378
第三節(jié) 模態(tài)邏輯的纖維表示 380
第四節(jié) Agent心智狀態(tài)的語義學(xué) 382
第五節(jié) 纖維函數(shù)的條件 384
第六節(jié) 結(jié)論與未來的工作 388
第十二章 BDI邏輯在有窮狀態(tài)世界上的模型檢測 389
第一節(jié) 引言 389
第二節(jié) 帶有BDI模態(tài)算子的分支時間邏輯CTL*BDI 391
第三節(jié) 判定算法 392
第四節(jié) 結(jié)論與未來的工作 396
第十三章 基于BDI 邏輯的多Agent系統(tǒng)的學(xué)習(xí)機(jī)制 397
第一節(jié) 引言 397
第二節(jié) BDI-Agent 398
第三節(jié) BDI學(xué)習(xí)Agent 403
第四節(jié) 第一層級的學(xué)習(xí)：集中化學(xué)習(xí) 406
第五節(jié) 第二層級的學(xué)習(xí)：多Agent系統(tǒng)中的BDI學(xué)習(xí)Agent 409
第六節(jié) 結(jié)論與未來的工作 410
第十四章 多Agent系統(tǒng)的形式說明與驗(yàn)證 412
第一節(jié) 引言 412
第二節(jié) 多 Agent系統(tǒng)的形式說明 413
第三節(jié) 多 Agent系統(tǒng)結(jié)構(gòu) 417
第四節(jié) BDICTL模型檢測方法 419
第五節(jié) 結(jié)論與未來的工作 420
第十五章 社會仿真中的BDI-Agent及其應(yīng)用 421
第一節(jié) 引言 421
第二節(jié) 社會仿真中 BDI-Agent及其優(yōu)點(diǎn) 424
第三節(jié) 方法論指南：何時在仿真中使用 BDI-Agent？ 430
第四節(jié) 技術(shù)指南：如何在仿真中集成 BDI-Agent？ 451
第五節(jié) BDI-Agent應(yīng)用實(shí)例一：護(hù)理機(jī)器人 454
第六節(jié) BDI-Agent應(yīng)用實(shí)例二：空中交通管理系統(tǒng) 458
第七節(jié) 結(jié)論與未來的工作 468
第十六章 信念-愿望-意圖邏輯的舊問題與新觀點(diǎn) 469
第一節(jié) Bratman的信念-愿望-意圖模型 470
第二節(jié) BDI的實(shí)現(xiàn)及其缺點(diǎn) 472
第三節(jié) BDI邏輯及其不足 475
第四節(jié) 未來研究的挑戰(zhàn) 478
參考文獻(xiàn) 483
附錄 基礎(chǔ)知識 519
附錄一 無窮值？ukasiewicz邏輯 519
附錄二 Pavelka有理數(shù)邏輯 523
附錄三 模糊邏輯與概率模糊邏輯 524
附錄四 多模態(tài)分支時間邏輯 BDICTL 534
后記 537