規(guī)范約束的Agent可信協(xié)同模型與機(jī)制研究.pdf

1、如何在分布、動(dòng)態(tài)、共享的網(wǎng)絡(luò)計(jì)算環(huán)境中，建立E機(jī)構(gòu)(Electronicinstitution)去規(guī)范和約束Agent的協(xié)同行為，使得系統(tǒng)可信?如何表達(dá)和實(shí)施協(xié)同行為規(guī)范，使得只要個(gè)體都遵從行為規(guī)范，就可預(yù)測(cè)這些個(gè)體完成擬定的全局目標(biāo)?如何使得Agent能夠有效地遵循行為規(guī)范，且在Agent違反行為規(guī)范時(shí)能有效地追究其責(zé)任?如何建立高效的VO體制，使系統(tǒng)盡量減少合同違約?如何使系統(tǒng)體制表現(xiàn)出自管理能力，自修復(fù)能力?這些都是當(dāng)前研究的熱點(diǎn)

2、。目前，以軟件Agent充當(dāng)自治計(jì)算元素，建立E機(jī)構(gòu)調(diào)控多agent系統(tǒng)是進(jìn)行上述熱點(diǎn)研究的有效方法。但卻缺乏有效的模型和機(jī)制去支撐Agent的可信服務(wù)協(xié)同，以減少違約的發(fā)生。為此，本文提出了規(guī)范約束的Agent可信協(xié)同模型與機(jī)制研究，以減少違約，提高可信度。文章主要的研究?jī)?nèi)容和創(chuàng)新成果包括：
　　 1.提出了EMLHYB機(jī)構(gòu)模型，并定義了相應(yīng)的E機(jī)構(gòu)動(dòng)態(tài)模型和運(yùn)行協(xié)議。文中多層次地闡述了E機(jī)構(gòu)模型，并且E機(jī)構(gòu)模型中規(guī)范的定義描

3、述了不同實(shí)例層之間的協(xié)同行為的制約。通過(guò)規(guī)范實(shí)施機(jī)制就可以減少不同實(shí)例層之間的規(guī)范的違反，提高了可信度。通過(guò)E機(jī)構(gòu)動(dòng)態(tài)模型的動(dòng)態(tài)調(diào)控，可以減少違約，或者使得違約控制在理想范圍內(nèi)。
　　 2.基于LABEL-CTL*邏輯的軟約束規(guī)范描述和全面的規(guī)范實(shí)施可以減少規(guī)范違反。本文用標(biāo)記分支時(shí)序邏輯(LABEL-CTL*)描述軟約束規(guī)范，使得對(duì)規(guī)范的描述有最強(qiáng)的表達(dá)力。通過(guò)合理設(shè)置軟約束規(guī)范的異常狀態(tài)下Agent應(yīng)該盡的義務(wù)，可以有效減少

4、規(guī)范違反。提出了標(biāo)記分支時(shí)序邏輯描述下的違約邏輯悖論處理方法，解決了軟約束規(guī)范的技術(shù)問(wèn)題。本文的規(guī)范實(shí)施機(jī)制是綜合性的，包括規(guī)范執(zhí)行前的實(shí)施(包括基于規(guī)范的服務(wù)匹配機(jī)制和協(xié)作前的基于合同信任的方案選擇機(jī)制)、規(guī)范執(zhí)行時(shí)的實(shí)施(規(guī)范的內(nèi)化和策略驅(qū)動(dòng)的Agent自主管理)，規(guī)范執(zhí)行后的實(shí)施(違約制裁與系統(tǒng)演化)。
　　 3.建立了基于DRQSHCTAgent模型的VO自組織、自演化機(jī)制。為了減少合同違約，提出了DRQSHCTAgen