張曉君著的《信念-愿望-意圖邏輯及其應(yīng)用研究》是從Agent的信念、愿望、意圖、甚至知識(shí)、情感等知識(shí)狀態(tài)和情感狀態(tài)出發(fā)，對(duì)Agent的行為決策和行為推理進(jìn)行建模。整部專(zhuān)著立論新穎獨(dú)到，參考資料翔實(shí)可靠，論述結(jié)構(gòu)合理、條理清晰、邏輯嚴(yán)密，表述流暢，引用規(guī)范，是一部純粹的學(xué)術(shù)專(zhuān)著。
張曉君著的《信念-愿望-意圖邏輯及其應(yīng)用研究》以Agent（主體）不確定性行為決策和推理為主要研究?jī)?nèi)容。第一章是BDI邏輯及其擴(kuò)展的研究與其應(yīng)用概況介紹；第二章是基于BDI邏輯的主體行為表征研究；第三章是基于擴(kuò)展BDI邏輯的主體行為表征研究；第四章是基于擴(kuò)展的BDI邏輯的主體行為規(guī)范研究；創(chuàng)新內(nèi)容主要集中在第三章。本研究能夠?yàn)橄冗M(jìn)分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域提供形式支持，具有重要的理論價(jià)值和實(shí)踐意義。
本專(zhuān)著適合于現(xiàn)代邏輯、先進(jìn)分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域以及對(duì)信念-愿望-意圖邏輯及其應(yīng)用感興趣的教師、研究生和科研人員閱讀。
|
