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

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

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

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

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