Wooldridge 多智能體系統
請在以下情況使用此技能：問題不是「如何讓多個模型對話」，而是「這種環境強迫我建立哪一種自主系統？」
使用時機
- 您必須在反應式、慎思式或混合式智能體架構之間做出選擇。
- 協調持續失敗，因為沒有人擁有完整資訊或無爭議的控制權。
- 智能體需要在不確定性下進行協商、分配或承諾策略。
- 設計取決於智能體知道什麼、大家知道什麼，或者共通知識是否可達成。
- 您需要診斷一個「多智能體」設計是否實際上只是非同步的物件編排。
不適用於
- 無協調需求的單一智能體規劃或最佳化問題。
- 集中式排程器，其中一個控制器已擁有全域決策權。
- 僅靠提示的角色扮演群體，它們沒有獨立的目標、信念或控制邊界。
- 當智能體自主性與知識不對稱性不重要時的一般分散式系統設計。
核心心智模型
環境屬性驅動架構
從可觀測性、確定性、動態性與時間壓力開始。架構選擇取決於環境的形狀，而非個人對流行智能體模式的偏好。
自主性是控制反轉
智能體不僅僅是非同步物件。它們決定是否以及何時遵守，這意味著作請求需要語義、拒絕與協調邏輯，而不是隱含的服從。
協調源於約束
局部可觀測性、資源競爭與相互依賴的目標會產生協調壓力。良好的協議設計從命名這種壓力開始，而不是假設協作總是可取的。
承諾策略必須匹配波動性
大膽的智能體在快速變化的環境中過度承諾；謹慎的智能體在穩定的環境中搖擺不定。重新考慮的頻率是一個與環境動態相關的設計參數，而非通用的最佳實踐。
知識層級至關重要
個體知識、大家知道、共通知識與分散知識不可互換。要求錯誤的層級可能使協議不可能實現或代價高昂。
決策點
flowchart TD
A[需要智能體架構] --> B{環境完全可觀測且穩定？}
B -->|是| C[簡單的反應式或規劃器為主的設計可能足夠]
B -->|否| D{需要在不確定性下即時反應？}
D -->|是| E[混合式架構]
D -->|否| F[慎思式架構]
E --> G{為什麼智能體需要協調？}
F --> G
G -->|部分資訊| H[資訊共享協議]
G -->|資源競爭| I[協商或分配機制]
G -->|任務相依性| J[承諾或委派協議]
G -->|無真正的自主性| K[使用更簡單的集中式設計]
- 在選擇智能體架構之前，先描述環境特性。
- 如果智能體不能拒絕、延遲或重新解釋請求，就不要假裝擁有智能體自主性。
- 刻意選擇知識需求。許多系統需要分散知識，而非共通知識。
- 根據環境的變化率和重新考慮的成本來調整承諾的大膽程度。
失敗模式
架構優先設計
徵兆：團隊在任何人能描述環境之前就想要 BDI、辯論或一個花俏的智能體框架。
修正：先強制進行環境描述。
擬人化自主性
徵兆：設計中談論信念與慾望，但卻無法將它們映射到局部狀態、觀測或協議義務。
修正：將心智語言根植於具體的計算狀態。
為協作而協作
徵兆：通訊流量增加，但無人能解釋哪種環境壓力需要它。
修正：識別真正的驅動因素，並設計解決該問題的最小協議。
隱藏的中央控制器
徵兆：一個「智能體」默默地做出所有重要決策，而其他智能體只是執行。
修正：承認架構是集中式的，或者重新分配真正的決策權。
不可能的知識假設
徵兆：協議的正確性依賴於每個智能體都知道其他每個智能體都知道某個事實，但網路不可靠。
修正：在環境允許的情況下，放寬為分散知識、確認或最終一致性。
實際範例
專家 LLM 審查群體
一個程式碼系統使用安全、效能與風格智能體。安全審查依賴於與風格審查不同的證據，且沒有任何單一審查者擁有全域可見性。使用混合協調器加上有針對性的資訊共享，而不是假設每個審查者都應該看到整個上下文。
分散式車輛監控
感測器智能體覆蓋重疊但不完整的區域。由於沒有單一智能體能維持端到端的軌跡連續性，因此需要協調。圍繞局部可觀測性而非通用的「協作」來設計協議。
品質閘門
- 在選擇架構之前，環境已被明確描述。
- 設計明確指出協調壓力的真正來源。
- 知識需求以正確的層級陳述。
- 承諾策略與波動性和重新考慮成本相關聯。
- 任何聲稱的自主性都包括拒絕、延遲或對請求的局部解釋。
識別標語
- 如果某人將一個系統稱為多智能體，但每個重要決策仍然透過一個控制器路由，那他們只是在重新命名分散式執行，而不是在設計自主性。
- 如果「共通知識」被隨意使用而沒有溝通模型，那麼協議很可能未充分指定。
- 如果團隊無法說明為什麼智能體必須協調，那麼設計很可能根本不需要智能體。
參考路由
references/environment-characterization-drives-architecture.md：當架構選擇是主要問題時載入。references/coordination-as-necessity-not-luxury.md：當您必須證明或最小化協調時載入。references/commitment-strategies-and-environment-dynamics.md：當大膽程度或重新規劃節奏是主要調整問題時載入。references/grounded-epistemic-logic-for-distributed-agents.md：當知識主張影響安全性或正確性時載入。references/negotiation-and-resource-allocation-mechanisms.md：當自主性與稀缺資源衝突時載入。