[发明专利]基于Agent的服务自主协商系统

权利要求书

1、一种基于Agent的服务自主协商系统，其特征在于，包括：协商Agent模块、裁判Agent模块，以及它们之间的通信模块、决策模块，其中：

所述协商的Agent模块就是参与协商的Agent的世界模型、邻居模型、约束模型、服务模型、以及它们的计划和动作，最后协商Agent通过执行具体的计划来达成协同服务的目的；

所述裁判Agent模块是来协调服务Agent之间的协商，并对各个服务Agent提供指令，此外它本身也是一个Agent模块，也包括了世界模型、邻居模型、约束模型、以及它们的计划和动作；

所述通信模块是服务Agent之间互相通信的中间件，为Agent之间的协商提供支持；

所述决策模块在Agent之间进行协商后进行，让Agent通过协商结果决策具体执行哪一项服务，决策模块实际上包含在具体的Agent执行模块中，此外Agent的每条计划都是由收到的消息来驱动的。

2、根据权利要求1所述的基于Agent的服务自主协商系统，其特征是，所述协商Agent模块，其计划由协商Agent模块收到裁判Agent模块或其它协商Agent模块发来的消息后进行驱动，来运行一系列动作，协商Agent模块共会收到5类消息，也就是一共有5个计划，分别为：Init消息，Ok？消息，NoGood消息，Stop消息，Solution消息，其中：

所述Init消息是Agent初始化时收到系统默认发送的Init消息运行的Plan，主要完成协商Agent的初始化工作；

所述Ok？消息是协商Agent收到其它邻居Agent发送的OK？消息后运行的计划，主要完成更新Agent知识，并检查Agent知识，必要时改变自己的值来满足约束；

所述NoGood消息是协商Agent收到其它邻居Agent发送的NoGood消息后运行的计划，主要完成更新NoGood列表，并检查Agent知识，必要时修改自己的值来满足约束，或进行回溯；

所述Stop消息是协商Agent收到裁判Agent发送的Stop消息后运行的计划，主要完成停止工作，协商无解；

所述Solution消息是协商Agent收到裁判Agent发送的Solution消息后运行的计划，主要完成停止协商工作，根据协商结果运行服务。

3、根据权利要求2所述的基于Agent的服务自主协商系统，其特征是，所述Init消息，它的初始化工作是把它自己所知道的约束进行分解成一个个字符段，然后存入到一个约束表达式的容器中以便后面需要检测约束时可快速赋值启用，同时，它还需要检测，自己是否在每一条约束中是评价者，即它在约束表达式中是否是所有Agent中优先级最低的Agent，如果是，它就是最后来检测该约束是否满足的Agent，只要有一条约束中它是优先级最低的Agent，它就是评价者，它初始化要发给裁判Agent消息，而这消息类型是evaluator或者unevluator，此外它还要从它邻居模型中找出所有优先级比它小的Agent以Ok？消息的形式发送自己的初始值给它们。

4、根据权利要求2所述的基于Agent的服务自主协商系统，其特征是，所述Ok？消息只可能是高优先级的Agent发送给低优先级的Agent，表示问这个Agent，它取这个值是否可以，收到Ok？消息也就是该Agent收到优先级比它高的Agent发给它的协商值，它先把这个值存入自己的Agent知识表中，然后检查自己当前的值和Agent知识表中的值是否匹配，不但要检查约束还要检查不同意表，如果匹配，并且自己是评价者且它知道了所有它是评价者的约束中的其它Agent的值，即它得到了部分解就会发IMOK消息给裁判Agent，否则什么都不做；如果不匹配，它就从值域中寻找一个值来匹配，如果找到了个新值就替换掉原值，并发ok？消息告诉所有比它优先级低的Agent，这时候如果它也找到了部分解，也应该发IMOK消息给Controller，如果找不到新值，它就异步回溯，产生一个当前不能取得值组合，如果这个NoGood为空，就发Stop消息给裁判Agent，说明解不存在，如果不为空，就发送这条组合的所有值给组合中优先级最低的Agent。