从经典 MAS 到 LLM MAS：学术脉络与流派

一句话定义

多智能体系统的学术史是一条从 1970 年代分布式人工智能（Distributed AI, DAI）经黑板系统、合同网、BDI 与通信语言标准化，到 2020 年代 LLM 多智能体爆发的演进线，各流派至今仍在为 LLM MAS 提供概念工具。

直观类比

把这条脉络想成一条河：上游（1970–80 年代）是符号与逻辑的雪山融水，中游（1990–2010 年代）汇入经济学与机器学习的支流，下游（2022 年后）LLM 让河水暴涨漫过原有河道——但问题始终未变：怎么分工、怎么通信、怎么协调。

为什么重要

LLM 时代的很多「新概念」其实是经典概念的再发明：共享状态是黑板系统的重演，任务分派是合同网的简化版。知道源头能避免重复踩坑（经典文献早已记录过黑板膨胀、协议过重等失败），也能把工程决策放进学术坐标系。

前置知识

kp-001（智能体定义与系统画像）。

核心概念与脉络

奠基期（1973–1986）：Hewitt 提出 Actor 模型（1973），把计算视为异步消息驱动的参与者集合，是今天一切「智能体=消息循环」抽象的源头；Erman 等人的 Hearsay-II 语音理解系统（1980）确立黑板架构——多个知识源异步读写一块共享黑板（详见 kp-013）；Smith 提出合同网协议（Contract Net Protocol, 1980），用「招标-投标-中标」的市场机制做任务分配；Minsky《The Society of Mind》（1986）提出「心智由大量简单主体互动涌现」的隐喻，成为群体智能的思想旗帜。

形式化期（1987–1999）：Bratman 的意图哲学（1987）催生 BDI（Belief-Desire-Intention，信念-愿望-意图）架构，经 PRS 系统与 Rao、Georgeff 的工作（1995）成为经典智能体的标准模型；Wooldridge 与 Jennings 的综述（1995）确立了沿用至今的智能体定义；同期 KQML 与 FIPA ACL 尝试标准化智能体通信语言，机制设计（拍卖、投票、激励相容）从经济学进入 MAS。

学习期（2000–2021）：多智能体强化学习（MARL）兴起，研究多个学习者共存时如何收敛。

LLM 爆发期（2022 至今）：ReAct（2022）确立单 Agent 基座；CAMEL（2023）用角色扮演双智能体自动化协作；AutoGen（2023，微软）把多智能体对话做成可编程框架；MetaGPT（2023）用软件公司 SOP 组织流水线；多智能体辩论（Du 等，2023）验证制衡价值；Generative Agents 小镇（Park 等，2023）展示记忆与反思驱动的社会模拟；《More Agents Is All You Need》（2024）研究规模效应；MCP（2024，Anthropic）与 A2A（2025，Google）开启协议层互操作（见 kp-014）。

图示

1973 Actor模型 ──┐
1980 黑板系统 ───┼── DAI 奠基 ──┐
1980 合同网协议 ──┘              │
1986 Society of Mind             ├─→ 2022+ LLM MAS
1987-95 BDI / PRS ───────────────┤    (AutoGen / MetaGPT /
1995 Wooldridge&Jennings 综述     │     辩论 / Generative Agents)
1990s KQML / FIPA ACL ───────────└─→ 2024+ MCP / A2A

原理与机制：四大流派

1. 逻辑符号派：BDI 与形式化方法，追求可证明的协作性质；LLM 时代以「系统提示中的目标与约束」的弱形式存活；
2. 经济学机制设计派：把协作当机制问题（激励、拍卖、投票），今日的聚合策略与智能体经济是其后裔；
3. 群体智能派：从 Society of Mind 到涌现研究，关注简单主体的大量交互如何产生智能；
4. 系统工程派：Actor 模型、黑板、合同网的工程传统，LLM MAS 框架（AutoGen 的 Actor 底座、LangGraph 的共享状态）直接继承了这一派。

关键人物：Minsky、Hewitt、Smith、Bratman、Rao、Georgeff、Wooldridge、Jennings、Shoham（机制设计教材作者之一）。

实例或案例

对比两份「任务分派」设计：2024 年 LLM 系统的主管把任务广播给工人池，工人自评能力后认领；1980 年合同网：管理者广播招标书，节点自评后投标，管理者择优授标。结构同构——后者早已写明失败场景：投标信息不实、任务粒度过细使协商开销超过收益。

公式或模型

本节不适用：本知识点是脉络梳理，量化模型集中在 kp-004 与 kp-021。

常见误区

• 误区一：认为 LLM MAS 与经典 MAS 无关。 经典文献对黑板膨胀、协议开销、任务粒度的分析直接适用于今天；
• 误区二：把 FIPA/KQML 的失败解读为「协议无用」。 它们的教训是协议过重、脱离应用，这正是 MCP/A2A 力求轻量的原因（见 kp-014）；
• 误区三：流派之间互斥。 现代框架是四派工具的混用。

与其他知识点的关系

kp-013 深入黑板架构的今用；kp-014 承接通信语言标准化这条线；kp-004 的投票模型源自机制设计派。

自测题

1. 合同网协议的三步机制是什么？它对应 LLM MAS 中的哪个常见结构？

要点：招标-投标-中标（含结果汇报），对应主管-工人模式中的任务分派。

1. BDI 三个字母的含义与对应的工程近似？

要点：Belief（信念，环境与自身状态估计）/ Desire（愿望，目标集）/ Intention（意图，已承诺的计划）；LLM MAS 中近似为系统提示中的上下文、目标与当前任务清单。

1. 说出黑板系统、合同网协议各自的提出时间与提出者或系统名。

要点：Hearsay-II（Erman 等，1980）；Contract Net（Smith，1980）。

延伸阅读

Wooldridge 教材第 1 章有更细的编年史；Shoham 与 Leyton-Brown 的教材覆盖机制设计传统。