8、集体意图相关逻辑研究

集体意图相关逻辑研究

集体意图的逻辑关系

集体意图相关逻辑中存在一些重要的逻辑关系。形式上，有如下蕴含关系：
- ⊢C - INTG(ϕ) → M - INTG(ϕ)
- ⊢M - INT′G(ϕ) → M - INTG(ϕ)
- ̸⊢M - INT′G(ϕ) → C - INTG(ϕ)
- ̸⊢C - INTG(ϕ) → M - INT′G(ϕ)

这些证明较为直接，留给读者自行完成。

调整集体意图以适应环境

在标准的集体意图定义中，要将共同意图转变为集体意图，团队需要对此有共同信念。但在某些情况下，团队只需较弱的认知；而在其他情况下，甚至能形成更强的认知，如小提琴手与卡内基音乐厅签订合同的例子中体现的共同知识。

为使集体意图的定义更灵活，让系统开发者能根据实际环境调整系统，我们将定义重述为如下方案：
M3 方案：C - INTG(ϕ) ↔ M - INTG(ϕ) ∧ awarenessG(M - INTG(ϕ))

这就像调节音响系统的旋钮。这里的 awarenessG 旋钮可以从 ∅（完全无认知），经过个体信念 INT（i ∈ {1, …, n}）和不同程度的一般信念 E - BELkG（k ≥ 1），调节到共同信念 C - BELG。知识程度的调节也类似。

M3 方案中的认知程度明显取决于具体情况，从通信困难或不可能时通过感知识别情况，到确认所面对的情况（此时代理的预定义角色明确），再到更复杂的情况，如某些代理或角色缺失，需要更多通信。

例如，在常见的电子邮件协议中，一人给另一人发消息：“今晚我们去看电影《秘密会议》”，对方