6.1 多 Agent 協作的理論基礎:從 MAS 到 Society of Mind(1980-2026)#
一、歷史背景:為什麼「一個 Agent」不夠?#
前面各章的主角都是「單一 Agent」。但 2023 年 AutoGPT 的教訓之一是:單一 LLM 在長程任務中會「累昏」——上下文越堆越長,注意力被稀釋,角色漂移(忘了自己該幹嘛),錯誤層層累積。工程師直覺地找到的解法是「拆」:把任務拆給多個各司其職的 Agent。但這個直覺背後有深厚的理論傳統——多 Agent 系統(MAS)在 1980 年代就是獨立的研究領域。
本節的目的,是把 2023-2026 年的多 Agent 工程實踐(第 6.2 節)放在四十年的理論地圖上:哪些老問題被 LLM 重新發明?哪些老教訓被重新踩坑?
二、理論源流一:分散式 AI 與理性協商(1980s)#
2.1 從 DAI 到 MAS#
1980 年,分布式人工智慧(DAI)在 MIT 的分布式感測器問題(Distributed Sensor Networks workshop)上首次被系統提出。其核心問題:多個有限能力的節點如何透過通訊與協調,完成單點無法完成的任務。
兩條分支隨即分化:
- 分散式問題求解(DPS):合作求解(如感測網路融合);
- 多 Agent 系統(MAS):強調 Agent 的自主性(autonomy)——每個 Agent 有自己的目標,甚至互相競爭。
Rosenschein 與 Genesereth 的「理性協商」理論(1980s)把賽局理論引入 MAS:Agent 是自利的效用最大化者,協作必須透過機制設計(mechanism design)誘導。合同網協議(Contract Net Protocol, Smith 1980)是第一個著名成果:任務管理者廣播招標、承包者投標、管理者評標授予——這是 2023 年多 Agent 框架中 orchestrator-worker 模式的直接祖先。
2.2 FIPA 與標準化的早年教訓#
1990 年代 MAS 學界大力推動標準:KQML(知識查詢與操作語言)、FIPA-ACL(Agent 通訊語言)、以及 BDI 平台(JADE、Jack)。這些標準學術上精美、工程上遇冷——因為當年根本沒有足夠聰明的 Agent 來「說這些語言」。教訓:通訊協議的價值取決於節點的智慧水準。有趣的是,2024 年 MCP 與 A2A 的成功恰好是這個教訓的反證——LLM 夠聰明了,協議才終於有了用武之地。
三、理論源流二:Society of Mind(1986)#
Minsky 在《The Society of Mind》中提出一個影響深遠的認知模型:
心智不是一個單一系統,而是大量簡單「智能體(agents-of-mind)」的社會;每個 agent 只會做極簡單的事,智慧來自它們的互動組織。
幾個關鍵概念:
- Agent(心智內的):執行最基本功能的過程(識別邊緣、比較長度);
- K-line(K 線):記錄「上次成功解決此類問題時啟用了哪些 agent」的記憶結構——下次遇到類似問題按圖索驥激活同一組合;
- Frame(框架):組織知識的預設結構。
對 LLM 時代的啟示驚人地精準:
- GPT 本身就是 Society of Mind 的實例——內部是成千上萬的神經迴路(可解釋性研究稱之為 features),單個 feature 只做簡單模式識別,組合湧現出能力;
- 多 Agent 系統是它在軟體層的複刻——把「一個大模型什麼都管」拆成「多個專職 Agent 互相調用」,每個都是簡單的 K-line 式組合;
- 上下文工程 = Frame 構造——系統提示詞給模型搭好「預期結構」,正是 Minsky 所說的框架。
四、MAS 的理論工具箱#
4.1 組織結構學#
MAS 研究早就為「Agent 們如何組織」給出了類型學,2023-2026 年的框架全部落入這些模式:
| 結構 | 描述 | 2020s 對應 |
|---|---|---|
| 階層式 | 管理者分解任務、下屬執行 | orchestrator-worker(Claude Code 子 Agent、CrewAI hierarchical) |
| 平權式 | 對等協商、合議 | 辯論式(multi-agent debate)、群聊式(AutoGen group chat) |
| 市場式 | 招標-投標-授標 | Contract Net 的 LLM 版 |
| 流水線 | 固定順序傳遞產物 | 翻譯→審校→潤色的 pipeline |
| 競爭式 | 多方案互競、裁判擇優 | generator-critic、最佳-of-N |
4.2 為什麼多 Agent 有時更好:三個機理#
- 上下文隔離:每個 Agent 只背負自己任務的上下文,避免「迷失在中間」與角色漂移——這是最重要的工程機理,本質上是用空間(多個窗口)換取注意力品質;
- 多樣性與辯論:獨立取樣的多個 Agent 意見不同,辯論能暴露單體的盲點——Du et al.(2023)證明多模型辯論可提升推理與事實性;Self-Consistency 的「互通版」;
- 分工與專化:為子任務配不同模型/提示詞/工具(便宜模型做初稿、強模型做審查),優化成本品質曲線。
4.3 為什麼多 Agent 常常更糟:三個陷阱#
- 通訊損耗:Agent 間傳遞的是自然語言,每跳都有資訊損失與失真( telephone game 效應);
- 錯誤級聯:上游一個誤解被下游放大,且無人「看見全局」——全局視野分散在各 Agent 的局部上下文中;
- 協調開銷:token 成本數倍增長,延遲疊加;「沒人負責」的責任真空。研究普遍發現:盲目堆 Agent 數量,效果常常不升反降——多 Agent 是一項需要理由的設計決策,不是免費午餐。
flowchart TD
Q[單 Agent 瓶頸: 上下文過載/角色漂移] --> D{拆分成多 Agent}
D --> G1[收益: 上下文隔離]
D --> G2[收益: 多樣性辯論]
D --> G3[收益: 分工專化]
D --> B1[代價: 通訊損耗]
D --> B2[代價: 錯誤級聯]
D --> B3[代價: 協調開銷]
G1 & G2 & G3 --> K{淨收益為正?}
B1 & B2 & B3 --> K
K -->|任務可乾淨分解| Y[多 Agent]
K -->|任務強耦合| N[單 Agent + 更好上下文工程]4.4 賽局視角:Agent 社會的博弈#
一旦 Agent 有獨立目標,賽局理論的全部難題復活:
- 囚徒困境:兩個自利 Agent 協作還是背叛?(博弈論 LLM 實驗顯示 GPT 系模型能對情境做出近似理性反應);
- 機制設計:如何設計「獎勵/評分規則」使自利 Agent 的均衡就是集體最優——這正是 multi-agent RLHF 與辯論評分的理論基礎;
- 共識與投票:多 Agent 意見不一致時的裁決機制(多數決、加權、裁判 Agent)。
五、形式化視角:MAS 作為分布式系統#
從電腦科學看,MAS 就是一個分布式系統,經典難題全部適用:
- 一致性問題:多 Agent 對「事實」的共識(幻覺在多跳傳播中如何被放大或糾正);
- 容錯:一個 Agent 輸出垃圾,系統如何隔離(熔斷、重試、投票);
- 死鎖與活鎖:兩個 Agent 互相等對方、或互相改對方的產出無限循環——2023 年群聊式框架的常見事故。
六、本節重點#
- MAS 源於 1980 年代 DAI;Contract Net 的招標-投標-授標是今日 orchestrator-worker 模式的祖先;KQML/FIPA 的遇冷證明「協議價值取決於節點智慧」,而 MCP/A2A 的成功是此教訓的反證。
- Minsky 的 Society of Mind 是理解 LLM 的雙重鑰匙:GPT 內部即簡單特徵的社會;軟體層的多 Agent 是其複刻;上下文工程對應 Frame 構造。
- 多 Agent 的三收益(上下文隔離、多樣性辯論、分工專化)與三陷阱(通訊損耗、錯誤級聯、協調開銷)——多 Agent 是需要論證的設計決策,任務可乾淨分解才值得拆。
- Agent 擁有獨立目標後,賽局理論難題(協作、機制設計、裁決)全部復活;分布式系統難題(一致性、容錯、死鎖)也全部適用。
- 2023 年後的多 Agent 框架不是新發明,而是四十年理論在「節點終於夠聰明」之後的大規模兌現。
七、思考問題#
- 「上下文隔離」是多 Agent 最大的工程收益。請設計一個實驗比較「單 Agent 長上下文」與「多 Agent 各自短上下文」在同一複雜任務上的表現與成本。
- Contract Net 的招標機制若套用到 Code Agent 團隊(架構師/實現者/審查者),招標「標書」裡應包含哪些資訊?評標標準是什麼?
- Minsky 說智慧來自簡單 agent 的互動。可解釋性研究發現 LLM 內部特徵確實高度專化。這是否意味著「外部多 Agent」終究會被「內部湧現」取代?論證兩面。
- 錯誤級聯在多跳通訊中放大。哪些機制(中間產物結構化、每跳驗證、全局監督 Agent)能阻斷級聯?各自的成本是什麼?
- 群聊式多 Agent 容易死鎖(互相等、互相改)。請用分布式系統的術語(超時、仲裁、任期)為 AutoGen 式群聊設計一套防死鎖協議。