5、基于协商承诺的代理社会分布式协调

基于协商承诺的代理社会分布式协调

1. 引言

在面向服务的多代理环境中，参与的代理通过提供的服务、寻求的服务以及协商达成的服务协议来区分。就像现实商业环境中，参与者通过交换商品和提供服务进行互动，在寻求和提供服务时，他们通过协商服务协议、做出承诺、履行诺言来实现目标。

在分布式系统中，协调是一个普遍存在的问题，其目标是实现连贯高效的操作，并朝着系统级目标快速推进。为了限制协调问题的范围，我们做了以下假设：
- 问题可由一组已知代理执行动态任务集来实现全局已知目标。
- 需协调的任务有数千个，非数百万个也非少数几个。
- 执行单个任务的时间和资源通常可用。
- 单个任务执行时间远小于达成目标的时间。
- 任务组织成工作流，会随承诺、资源消耗和任务分解而演变。
- 代理知晓并接受全局目标，但自利且自主。
- 协调行为发生的环境具有部分可观察、随机、顺序、动态和连续的特点。

这个环境中有两类代理：参与代理和非参与代理。参与代理扮演服务提供者或服务寻求者的角色，通过协商达成服务协议，这种协议可表示为承诺的二元关系。非参与代理像公正的仲裁者，为承诺关系提供上下文。

2. 建模与表示

目标通过规划和执行的交错阶段实现。规划产生可执行任务集和它们之间的依赖关系，这些依赖主要是时间上的，也可能是条件性的，最终形成工作流。

每个任务有多个属性，如最晚完成时间、最早开始时间、预期持续时间、优先级和价值等，这些属性帮助代理进行协调。任务通过协商分配给代理，分配结果通过承诺进行监控。承诺是一种定义明确的数据结构，有创建、履行、委托、分配、取消和释放等操作，它捕捉了代理之间