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