《信念-願望-意圖邏輯及其應用研究》以Agent（主體）不確定性行為決策和推理為主要研究內容。第一章是BDI邏輯及其擴展的研究與其應用概況介紹；第二章是基於BDI邏輯的主體行為表征研究；第三章是基於擴展BDI邏輯的主體行為表征研究；第四章是基於擴展的BDI邏輯的主體行為規範研究；創新內容主要集中在第三章。本研究能夠為先進分布式仿真、人工智能和繫統工程等領域提供形式支持，具有重要的理論價值和實踐意義。
《信念-願望-意圖邏輯及其應用研究》適合於現代邏輯、先進分布式仿真、人工智能和繫統工程等領域以及對信念一願望一意圖邏輯及其應用感興趣的教師、研究生和科研人員閱讀。

張曉君，女，四川南充人。現任四川師範大學邏輯與信息研究所所長。2011年博士畢業於中國社會科學院研究生院，2013年從廈門大學博士後出站後，就職於四川師範大學，兼職於福建省仿腦智能繫統重點實驗室（廈門大學）。在《模式識別與人工智能》、《哲學研究》、《邏輯研究》等核心期刊發表學術期刊50餘篇，其中：英文7篇、被人大復印報刊資料全文轉載5篇；出版專著2部，合著2部；主持國家課題3項。獲得“金嶽霖學術獎”、四川師範大學“科研十佳”等獎項多項。

• 
• 
• 
• 

第一章 緒論
第一節 研究背景及研究意義
第二節 國內外研究現狀
2．1 BDI邏輯的產生與發展
2．2 擴展的BDI邏輯的產生與發展
第三節 研究目標、主要內容、基本思路和方法、重點難點、主要觀點和創新
3．1 研究目標
3．2 主要內容
3．3 基本思路與方法
3．4 重點與難點
3．5 主要觀點
3．6 主要創新
第四節 信息時代呼喚更多的連續值柔性高等邏輯的誕生
本章小結

第二章 基於BDI（信念一願望一意圖）邏輯的Agent行為表征研究
第一節 Bratman的信念一願望一意圖理論
第二節 Cohen和Levesque關於意圖的方法
2．1 行動與時間
2．2 信念和偏好
2．3 行動、時間、信念和偏好邏輯
2．4 行動、時間、信念和偏好邏輯的擴展研究
第三節 Rao和Georgeff的BDI邏輯
3．1 非形式語義
3．2 形式理論
3．3 作為變化公理的承諾
3．4 邏輯性質
第四節 KARO邏輯
4．1 關於理性主體的KARO邏輯
4．2 關於情感主體的KARO邏輯
第五節 stit邏輯中的BDI-模態詞
5．1 瞬間stit邏輯中的BDI模態詞
5．2 在XSTIT邏輯中的BDI模態詞：動態視角
本章小結

第三章 基於擴展BDI（信念一願望一意圖）邏輯的Agent行為表征研究
第一節 基於等級BDI邏輯的行為表征研究：
1．1 引言
1．2 等級BDI邏輯
1．3 等級BDI邏輯對主體復合行動的形式刻畫
1．4 實例分析：等級BDI邏輯對主體買房行為的形式刻畫
1．5 結論和未來的工作
第二節 基於情感等級BDI邏輯的行為表征研究
2．1 引言
2．2 情感等級BDI邏輯
2．3 情感等級BDI邏輯對主體模型不同背景之間的相互關繫的形式刻畫
2．4 實例分析：情感等級BDI邏輯對主體買房行為的形式刻畫
……

第四章 基於擴展BDI（信念一願望一意圖）邏輯的Agent行為規範研究
結束語
參考文獻
附錄

做知識級分析的繫統稱為Agent（主體，也譯為“智能主體”、“智能體”、“真體”等，比如人、具有智能的高級動物和仿人機器人均可視為智能主體）。Agent強調理性作用，是描述人類智能、動物智能和機器智能的統一模型，這些智能往往是構成社會智能的一部分。Agent是一種通過傳感器感知其環境，再通過執行器作用於該環境的智能實體，實則是從感知序列到實體動作的映射。這一定義使得我們可以通過函數和數值對行動或行為進行建模。行為建模涉及的領域非常廣泛，比如繫統分析與設計、機械設計、動畫設計、網絡安全、軍事仿真、仿人機器人等。因此，對行為（尤其是不確定性行為）進行精細的邏輯刻畫具有重要的理論價值和實踐意義。
Agent行為理論將Agent定義為有意識繫統，即Agent的行為可通過歸因於信念、期望和理性的方法去預言。經典的一階邏輯不能用來表示涉及意識的觀念，否則會引起語法和語義問題。引入模態語言可解決語法問題；借助可能世界語義和解釋的符號結構則可解決語義問題。BDI（Belief-Desire-Intension，信念一願望一意圖）主體是指其行為受到信念、願望和意圖支配的主體。Agent典型的行為模型就是BDI邏輯框架，它著重研究信念、願望、意圖與Agent行為的關繫及其形式化描述。