基于BDI邏輯及其擴(kuò)展的Agent行為表征研究.pdf

1、“行為”是哲學(xué)、經(jīng)濟(jì)、軍事、計(jì)算機(jī)科學(xué)、系統(tǒng)工程、人工智能等諸多學(xué)科研究的核心概念，這是因?yàn)樗鼈冊(cè)谶@些領(lǐng)域中無(wú)處不在。行動(dòng)實(shí)際上就是智能主體(Agent)通過(guò)感知信息控制執(zhí)行過(guò)程的算法。智能主體典型的行為模型就是BDI（信念、愿望和意圖）邏輯框架。BDI主體模型在一些最為重要的多主體系統(tǒng)中得到了廣泛應(yīng)用，是影響最為廣泛的主體技術(shù)之一。
　　全文以主體不確定性行為決策和推理為主要研究?jī)?nèi)容。本研究主要以Pereira等人(2008)、

2、Casali等(2005，2011a,2011b)、Rao和Georgeff(1991，1995，1998)、Criado等(2010)、Meyer等(2012)、Galind和Saffiotti(2013)、Puicā和Florea(2013)等相關(guān)文獻(xiàn)為基礎(chǔ)，借鑒其研究思路和研究方法，并對(duì)其研究成果進(jìn)行了綜合、拓展、延伸和創(chuàng)新。本研究能夠促進(jìn)智能主體不確定性行為的表示和推理，并能夠?yàn)橄冗M(jìn)分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域提供形式支

3、持，具有重要的理論價(jià)值和實(shí)踐意義。全文安排如下:
　　第一章是BDI邏輯及其擴(kuò)展的研究與其應(yīng)用概況介紹;第二章是基于BDI邏輯的主體行為表征研究;第三章是基于擴(kuò)展BDI邏輯的主體行為表征研究;第四章是基于擴(kuò)展的BDI邏輯的主體行為規(guī)范研究;每章都對(duì)其相應(yīng)研究成果進(jìn)行了實(shí)例分析。
　　第一章和第二章是全文的思想基礎(chǔ)和技術(shù)基礎(chǔ);第三、四章是在前兩章基礎(chǔ)上的拓展研究。第三章是全文研究的重點(diǎn)內(nèi)容和創(chuàng)新內(nèi)容。
　　第三章內(nèi)容屬于

4、國(guó)際研究前沿，是有別于國(guó)內(nèi)外學(xué)者工作的特色研究，筆者的創(chuàng)新內(nèi)容主要體現(xiàn)在這一章中。這些創(chuàng)新主要體現(xiàn)在以下幾個(gè)方面:
　　(1)把無(wú)窮值的Lukasiewicz邏輯和命題動(dòng)態(tài)邏輯進(jìn)行融合后，在對(duì)等級(jí)BDI主體模型進(jìn)行形式化的基礎(chǔ)上，筆者提出了等級(jí)BDI邏輯g-BDIPDL+LL，對(duì)信念、愿望和意圖的模型進(jìn)行了公理化，并說(shuō)明了它們對(duì)主體行為的影響。
　　(2)為了通過(guò)信念度、愿望度、意圖度、害怕度、焦慮度和自信度對(duì)不確定性行為進(jìn)

5、行表示和推理，筆者提出了情感等級(jí)BDI邏輯，并對(duì)其進(jìn)行了公理化，清晰地表示了主體的心理狀態(tài)和情感狀態(tài)的不確定性，說(shuō)明了它們對(duì)主體行為的影響。
　　(3)為了對(duì)知識(shí)、信念、愿望和意圖以及害怕、焦慮和自信對(duì)主體決策行為影響的強(qiáng)烈程度進(jìn)行形式化，筆者把無(wú)窮值的Lukasiewicz邏輯的真值取值范圍從[0，1]擴(kuò)展到[-1，1]，并提出了知識(shí)情感等級(jí)BDI邏輯，清晰地描述了主體的知識(shí)狀態(tài)、心智狀態(tài)和情感狀態(tài)的不確定性。筆者提出的這些模型