6、多智能体系统中的团队协作与集体意图

多智能体系统中的团队协作与集体意图

1. 目标与意图的语言和模型

在多智能体系统中，为了描述智能体的目标和意图，我们需要扩展逻辑语言和模型。

1.1 逻辑语言

我们在之前的逻辑语言 (L) 的基础上，通过在定义的归纳步骤中添加关于动机态度的子句来扩展它。具体定义如下：
- 定义 3.1（公式） ：归纳定义一组公式，新增子句为：若 (\phi) 是公式，(i \in A)，且 (G \subseteq A)，则以下是公式：动机模态 (GOAL(i, \phi))、(INT(i, \phi))、(E - INT_G(\phi))、(M - INT_G(\phi))、(M - INT’_G(\phi))、(C - INT_G(\phi))、(C - INT’_G(\phi))。

1.2 Kripke 模型

Kripke 模型也进行了扩展，加入了与动机态度相关的可达关系。
- 定义 3.2（Kripke 模型） ：一个 Kripke 模型是一个元组 (M = (W, {B_i : i \in A}, {G_i : i \in A}, {I_i : i \in A}, Val))，满足：
- (W) 是一组可能世界或状态。
- 对于所有 (i \in A)，(B_i, G_i, I_i \subseteq W \times W)，分别表示每个智能体关于信念、目标和意图的可达关系。例如，((s, t) \in I_i) 意味着 (t) 是与智能体 (i) 在状态 (s) 下的意图一致的替代状态。我们常用 (sG_it) 缩写 ((