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

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