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

更多科學出版社服務，請掃碼獲取。