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


第二章 基于BDI（信念一愿望一意圖）邏輯的Agent行為表征研究
第一節(jié) Bratman的信念一愿望一意圖理論
第二節(jié) Cohen和Levesque關(guān)于意圖的方法
2．1 行動與時間
2．2 信念和偏好
2．3 行動、時間、信念和偏好邏輯
2．4 行動、時間、信念和偏好邏輯的擴展研究
第三節(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)詞：動態(tài)視角
本章小結(jié)


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


第四章 基于擴展BDI（信念一愿望一意圖）邏輯的Agent行為規(guī)范研究
結(jié)束語
參考文獻
附錄