65、多智能体系统中认知状态逻辑的探索与实践

多智能体系统中认知状态逻辑的探索与实践

在多智能体系统领域，将多个概念融合在一个框架中，或者认真考虑多智能体系统的特性，会带来许多有趣且具有挑战性的问题。

1. 多智能体系统中的知识概念

在多智能体系统里，有一些有趣的群体知识概念，例如：
- Eϕ（“每个人都知道 ϕ”） ：即 (K_1\phi\land\cdots\land K_m\phi)。
- Dϕ（“ϕ 是分布式知识”） ：如果将所有智能体的知识汇集在一起，ϕ 会从中推导出来，比如 ((K_i(\phi_1 \to \phi_2)\land K_j\phi_1) \to D\phi_2)。
- Cϕ（“ϕ 是公共知识”） ：其公理化形式类似于无限合取 (E\phi\land EE\phi\land EEE\phi\land\cdots)。

在动态认知逻辑（DEL）中，会产生关于哪些公式是成功公式的问题，即公式 ([\phi]C\phi)（在 ϕ 被宣布后，它是公共知识）是有效的。在行动的背景下，认真考虑多智能体方面也会引发不同的问题，比如所有智能体采取某些行动时当前状态会发生什么，以及如何“计算”这些并发选择的结果。

2. 认知状态的表示

在理解日常世界中智能体的行为时，我们经常会用到民间心理学。哲学家丹尼特创造了“意向系统”这个短语，用来指那些最好用民间心理学概念（如信念、欲望等）来理解的实体。意向立场本质上是一种抽象工具。如果我们认可意向立场对于刻画理性智能体属性的有用性，那么开发此类智能体形式理论的下一步就是确定智能体状态的组成部