本專著以國內(nèi)外新近相關(guān)文獻(xiàn)為基礎(chǔ)，圍繞“信念-愿望-意圖邏輯的哲學(xué)基礎(chǔ)及其前沿問題”進(jìn)行了研究。主要內(nèi)容包括：信念-愿望-意圖(簡稱BDI)邏輯的哲學(xué)基礎(chǔ)、信念-愿望-意圖邏輯的形式系統(tǒng)、面向Agent環(huán)境的信念修正、Agent結(jié)構(gòu)的等級BDI模型、等級BDI邏輯的執(zhí)行語言、帶有偏好的等級BDI-Agent模型、BDI-Agent情感觸發(fā)器的形式模型、情感等級BDI-Agent的形式模型、帶有規(guī)范性慎思的BDI推理、BDI邏輯的纖維語義學(xué)、BDI邏輯在有窮狀態(tài)世界上的模型檢測、基于BDI邏輯的多Agent系統(tǒng)中的學(xué)習(xí)機制、多Agent系統(tǒng)的形式說明與驗證、社會仿真中的BDI-Agent、BDI邏輯的舊問題與新觀點。

更多科學(xué)出版社服務(wù)，請掃碼獲取。