基于面向?qū)ο笥猩玃etri網(wǎng)的合同網(wǎng)協(xié)議建模研究.pdf

1、協(xié)作是多Agent系統(tǒng)(Multi-Agent System，簡(jiǎn)稱MAS)研究的核心問題之一，而交互是協(xié)作的基礎(chǔ)。由Randall Davis和Reid GSmith借鑒商業(yè)活動(dòng)中合同招標(biāo)的運(yùn)作模式，對(duì)任務(wù)和資源分配提出的經(jīng)典交互協(xié)議——合同網(wǎng)協(xié)議已成為多Agent協(xié)作的關(guān)鍵技術(shù)。由于合同網(wǎng)協(xié)議任務(wù)的產(chǎn)生、分配以及管理者與承包商角色都是動(dòng)態(tài)產(chǎn)生的，靈活性好，已廣泛應(yīng)用于MAS。但經(jīng)典的合同網(wǎng)協(xié)議存在通信量大等不足，眾多的研究者對(duì)其進(jìn)行了

2、擴(kuò)展研究，但大多是用符號(hào)邏輯從形式理論上針對(duì)誠(chéng)實(shí)友好合作型的協(xié)作問題進(jìn)行的研究，形式理論雖然嚴(yán)謹(jǐn)，但晦澀難懂，不易實(shí)現(xiàn)。同時(shí)，在非面對(duì)面的、動(dòng)態(tài)的網(wǎng)絡(luò)環(huán)境中，Agent的誠(chéng)實(shí)度不一樣，這必然導(dǎo)致交互的過程中存在不安全隱患。因此，有必要對(duì)合同網(wǎng)協(xié)議的安全性進(jìn)行建模研究，使其簡(jiǎn)便易懂，能適應(yīng)MAS中復(fù)雜多變的協(xié)作問題。 本文將面向?qū)ο蠹夹g(shù)和有色Petri網(wǎng)相結(jié)合，采用面向?qū)ο笥猩玃etri網(wǎng)(objcot-Oriented Colo

3、red Petri Net，簡(jiǎn)稱OOCPN)，從合同網(wǎng)協(xié)議的宏觀和微觀兩個(gè)方面進(jìn)行了建模，得到安全的動(dòng)態(tài)合同網(wǎng)協(xié)議(Secure-Dynamic Contact Net Protocol，簡(jiǎn)稱SDCNP)模型。首先，微觀上，結(jié)合Anand S．Rao和Michael EGeorgeff提出的Agent的認(rèn)知型結(jié)構(gòu)——BDI(Belief-Desire-Intention)的思想，在目前研究的基礎(chǔ)上，引入信任度和閾值，對(duì)交互個(gè)體——BDI

4、 Agent的結(jié)構(gòu)進(jìn)行建模，通過信任度和閾值來(lái)限制發(fā)放標(biāo)書的范圍和控制評(píng)價(jià)標(biāo)書的數(shù)量，達(dá)到減少通信量的目的。并采用Petri網(wǎng)的分析方法對(duì)模型進(jìn)行了分析驗(yàn)證，得出模型具有有界性、安全性、活性和可達(dá)性；其次，宏觀上，借鑒人類社會(huì)系統(tǒng)，對(duì)合同網(wǎng)協(xié)議的交互過程進(jìn)行了改進(jìn)，從“法律”和“道德”兩個(gè)方面引入安全機(jī)制——仲裁懲罰機(jī)制和行為評(píng)估學(xué)習(xí)機(jī)制，一方面對(duì)自私Agent的不誠(chéng)實(shí)行為采用“法律”手段進(jìn)行仲裁懲罰，另一方面通過對(duì)自身行為的評(píng)估和學(xué)習(xí)