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

传统Agent协作模型强调Agent的高度自主性,其自发协作过程完全出于内部的"自私性"动机,难以在模型中表达宏观层面上的引导及系统外部的约束,在应用于开放复杂软件系统时,将面临可信度不能满足要求、计算复杂度高及没有有效的冲突消解机制这3方面的问题,这阻碍了Agent技术在现实软件系统建模中的应用.采用组织与政策隐喻,提出Agent组织中的政策导向型协作模型,通过组织与政策给予Agent以宏观上的引导与外部的控制,以增强系统的可信度;采用扩展的可废止逻辑框架,对这一协作过程建立一个具有线性计算复杂度的形式化理论;逻辑体系中内置的优先级方式为系统提供了有效的冲突消解机制.并证明了模型所具有的一致性及其他特性,最后通过一个实例对系统作出验证性说明.

A Policy-Oriented Cooperation Model in Agent Organization

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 software system. 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 policy-oriented 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.