《信念-愿望-意圖邏輯及其應(yīng)用研究》以Agent（主體）不確定性行為決策和推理為主要研究內(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í)踐意義。
《信念-愿望-意圖邏輯及其應(yīng)用研究》適合于現(xiàn)代邏輯、先進(jìn)分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域以及對(duì)信念一愿望一意圖邏輯及其應(yīng)用感興趣的教師、研究生和科研人員閱讀。
做知識(shí)級(jí)分析的系統(tǒng)稱為Agent（主體，也譯為“智能主體”、“智能體”、“真體”等，比如人、具有智能的高級(jí)動(dòng)物和仿人機(jī)器人均可視為智能主體）。Agent強(qiáng)調(diào)理性作用，是描述人類智能、動(dòng)物智能和機(jī)器智能的統(tǒng)一模型，這些智能往往是構(gòu)成社會(huì)智能的一部分。Agent是一種通過傳感器感知其環(huán)境，再通過執(zhí)行器作用于該環(huán)境的智能實(shí)體，實(shí)則是從感知序列到實(shí)體動(dòng)作的映射。這一定義使得我們可以通過函數(shù)和數(shù)值對(duì)行動(dòng)或行為進(jìn)行建模。行為建模涉及的領(lǐng)域非常廣泛，比如系統(tǒng)分析與設(shè)計(jì)、機(jī)械設(shè)計(jì)、動(dòng)畫設(shè)計(jì)、網(wǎng)絡(luò)安全、軍事仿真、仿人機(jī)器人等。因此，對(duì)行為（尤其是不確定性行為）進(jìn)行精細(xì)的邏輯刻畫具有重要的理論價(jià)值和實(shí)踐意義。
Agent行為理論將Agent定義為有意識(shí)系統(tǒng)，即Agent的行為可通過歸因于信念、期望和理性的方法去預(yù)言。經(jīng)典的一階邏輯不能用來表示涉及意識(shí)的觀念，否則會(huì)引起語法和語義問題。引入模態(tài)邏輯和元語言可解決語法問題；借助可能世界語義和解釋的符號(hào)結(jié)構(gòu)則可解決語義問題。BDI（Belief-Desire-Intension，信念一愿望一意圖）主體是指其行為受到信念、愿望和意圖支配的主體。Agent典型的行為模型就是BDI邏輯框架，它著重研究信念、愿望、意圖與Agent行為的關(guān)系及其形式化描述。
張曉君，女，四川南充人�，F(xiàn)任四川師范大學(xué)邏輯與信息研究所所長。2011年博士畢業(yè)于中國社會(huì)科學(xué)院研究生院，2013年從廈門大學(xué)博士后出站后，就職于四川師范大學(xué)，兼職于福建省仿腦智能系統(tǒng)重點(diǎn)實(shí)驗(yàn)室（廈門大學(xué)）。在《模式識(shí)別與人工智能》、《哲學(xué)研究》、《邏輯研究》等核心期刊發(fā)表學(xué)術(shù)期刊50余篇，其中：英文7篇、被人大復(fù)印報(bào)刊資料全文轉(zhuǎn)載5篇；出版專著2部，合著2部；主持國家課題3項(xiàng)。獲得“金岳霖學(xué)術(shù)獎(jiǎng)”、四川師范大學(xué)“科研十佳”等獎(jiǎng)項(xiàng)多項(xiàng)。
第一章 緒論
第一節(jié) 研究背景及研究意義
第二節(jié) 國內(nèi)外研究現(xiàn)狀
2．1 BDI邏輯的產(chǎn)生與發(fā)展
2．2 擴(kuò)展的BDI邏輯的產(chǎn)生與發(fā)展
第三節(jié) 研究目標(biāo)、主要內(nèi)容、基本思路和方法、重點(diǎn)難點(diǎn)、主要觀點(diǎn)和創(chuàng)新
3．1 研究目標(biāo)
3．2 主要內(nèi)容
3．3 基本思路與方法
3．4 重點(diǎn)與難點(diǎn)
3．5 主要觀點(diǎn)
3．6 主要?jiǎng)?chuàng)新
第四節(jié) 信息時(shí)代呼喚更多的連續(xù)值柔性高等邏輯的誕生
本章小結(jié)
第二章 基于BDI（信念一愿望一意圖）邏輯的Agent行為表征研究
第一節(jié) Bratman的信念一愿望一意圖理論
第二節(jié) Cohen和Levesque關(guān)于意圖的方法
2．1 行動(dòng)與時(shí)間
2．2 信念和偏好
2．3 行動(dòng)、時(shí)間、信念和偏好邏輯
2．4 行動(dòng)、時(shí)間、信念和偏好邏輯的擴(kuò)展研究
第三節(jié) Rao和Georgeff的BDI邏輯
3．1 非形式語義
3．2 形式理論
3．3 作為變化公理的承諾
3．4 邏輯性質(zhì)
第四節(jié) KARO邏輯
4．1 關(guān)于理性主體的KARO邏輯
4．2 關(guān)于情感主體的KARO邏輯
第五節(jié) stit邏輯中的BDI-模態(tài)詞
5．1 瞬間stit邏輯中的BDI模態(tài)詞
5．2 在XSTIT邏輯中的BDI模態(tài)詞：動(dòng)態(tài)視角
本章小結(jié)
第三章 基于擴(kuò)展BDI（信念一愿望一意圖）邏輯的Agent行為表征研究
第一節(jié) 基于等級(jí)BDI邏輯的行為表征研究：
1．1 引言
1．2 等級(jí)BDI邏輯
1．3 等級(jí)BDI邏輯對(duì)主體復(fù)合行動(dòng)的形式刻畫
1．4 實(shí)例分析：等級(jí)BDI邏輯對(duì)主體買房行為的形式刻畫
1．5 結(jié)論和未來的工作
第二節(jié) 基于情感等級(jí)BDI邏輯的行為表征研究
2．1 引言
2．2 情感等級(jí)BDI邏輯
2．3 情感等級(jí)BDI邏輯對(duì)主體模型不同背景之間的相互關(guān)系的形式刻畫
2．4 實(shí)例分析：情感等級(jí)BDI邏輯對(duì)主體買房行為的形式刻畫
……
第四章 基于擴(kuò)展BDI（信念一愿望一意圖）邏輯的Agent行為規(guī)范研究
結(jié)束語
參考文獻(xiàn)
附錄
書單推薦
