Agent组织中的政策导向型协作模型  

A Policy-Oriented Cooperation Model in Agent Organization

作　　者：胡军[1] 李志昂[1] 

机构地区：[1]湖南大学信息科学与工程学院,长沙410082

出　　处：《计算机研究与发展》2012年第7期1474-1493,共20页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60773208);湖南省自然科学基金项目(11JJ3065);教育部高等学校博士学科点专项科研基金项目(20070532075);湖南省普通高校青年骨干教师培养对象项目

摘　　要：传统Agent协作模型强调Agent的高度自主性,其自发协作过程完全出于内部的"自私性"动机,难以在模型中表达宏观层面上的引导及系统外部的约束,在应用于开放复杂软件系统时,将面临可信度不能满足要求、计算复杂度高及没有有效的冲突消解机制这3方面的问题,这阻碍了Agent技术在现实软件系统建模中的应用.采用组织与政策隐喻,提出Agent组织中的政策导向型协作模型,通过组织与政策给予Agent以宏观上的引导与外部的控制,以增强系统的可信度;采用扩展的可废止逻辑框架,对这一协作过程建立一个具有线性计算复杂度的形式化理论;逻辑体系中内置的优先级方式为系统提供了有效的冲突消解机制.并证明了模型所具有的一致性及其他特性,最后通过一个实例对系统作出验证性说明.Traditional agent cooperation model emphasizes the high degree of autonomy of agent, and its spontaneous collaborative process is completely out of internal ＂selfish＂ motivation. No macro guidance, free from external control, it is difficult to meet the reliability requirements of current softwaresystem. The computational complexity of the formal theory and no effective mechanism for conflict resolution are also obstacles for agent technology to be applied in the real software systems. In this paper, using organization and policy metaphor, we build an organized and policy-oriented agent collaborative model. Through the organization and policies, macro-guidance and external control are given to the agents to enhance system dependability. While using extended defeasible logical framework, we establish a formal theory for this collaborative process which has non-monotonic reasoning ability and linear time computational complexity. The built-in priority manner of this logical framework provides an effective mechanism for conflict resolution. Based on this model, a policyoriented cooperation process in agent organization is formally described with four cooperation stages including organizational state updating, organizational goals creating, agent obligation distributing and agent action executing. And then we analyze computational complexity and prove the consistency of the model, as well as some other simple and interesting nature. Finally, the main characteristics of this model are verified by an example.

关 键 词：协作模型 AGENT组织 政策导向 可废止逻辑 冲突消解 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]