第 3 章 小镇邮政：通信语言与交互协议

第 3 章 · 小镇邮政：通信语言与交互协议

章节摘要：镇民个体再聪明，不通信就只是各干各的。本章开设小镇邮政：先教镇民"怎么说话"——言语行为理论与 KQML、FIPA-ACL 两种智能体通信语言，信封（通信原语）与信纸（内容语言、本体）分离的设计；再教"怎么谈成事"——协商与合同网的协议化讨价还价；最后教"怎么立规矩"——组织、角色、规范与电子机构如何把自由镇民的交互装进制度框架。

学习目标

阅读完本章，你应当能够：

1. 解释"消息不止传数据，还在做行为"——言语行为理论的三个层面；
2. 拆解一条 KQML/FIPA-ACL 消息的必备字段（原语、发送接收者、内容语言、本体），并手写合法消息；
3. 说出合同网协议招标、投标、授标、执行四阶段的时序与消息流；
4. 比较协商的三大策略族（让步、争胜、问题解决）的适用条件；
5. 阐述规范如何降低协调开销、电子机构如何"把规则写进中间件"；
6. 用代码实现一个多轮协商对话与一个简化合同网。

核心概念速览

一句金句：智能体通信语言传输的不是数据包，是承诺、请求与拒绝——每条消息都是一次微缩的社会行为。

子章节导航

3.1 镇民的言语行为：KQML 与 FIPA-ACL

从"传数据"与"做行为"的区别讲起，拆解言语行为理论的locution、illocution 层次，逐字段解剖 KQML 的 performative 与 FIPA-ACL 的通信原语，理解信封（怎么说话）与信纸（说什么、用哪套词汇）分离的工程智慧。

3.2 协商与契约：讨价还价的协议化

协商是镇民就利益分配达成一致的过程。本节给出协商的形式模型（议题、协议、策略、个体理性），过一遍让步型、争胜型、问题解决型三大策略族，完整推演合同网协议的招标—投标—授标—执行闭环，并用代码实现一个可跑的多轮报价对话。

3.3 小镇组织法：规范、角色与电子机构

自由协商在高频交易下开销惊人，制度由此而生。本节讲组织结构（分层、对等、联盟）、角色与职责绑定、规范的三种执行方式（制度强制、同侪制裁、个体内化），以及把规则写进通信中间件的电子机构思想。

子章节之间的逻辑关系

三节是"说话、办事、立规"的递进：3.1 提供语法层基础设施（没有共同语言，协商无从谈起）；3.2 在语言之上跑具体的多轮交互协议（合同网是第 4 章任务分配的引擎）；3.3 把高频交互沉淀为制度（规范让第 4 章的协调开销骤降，也为第 5 章的违规与制裁埋下伏笔）。

3.1 怎么说话 ──► 3.2 怎么谈成事 ──► 3.3 怎么立规矩
   通信语言          协商与合同网        角色规范与机构
        └──────────────┴────────► 第4章 市政分工的底座
​

本章可考核知识点清单

• 能说出一条 KQML 消息的六个必备字段及各自作用；
• 能解释 FIPA-ACL 与 KQML 的承继关系与原语差异（如 request 与 achieve）；
• 能画出合同网四阶段的时序图并指出每阶段的消息类型与超时处理；
• 能给协商下形式化定义并指出"个体理性线"为何是谈判底线；
• 能比较三种规范执行方式的通信开销与鲁棒性；
• 能说明组织结构选型（分层、对等、联盟）与任务耦合度的对应关系。

前置知识与后续延伸

• 前置知识：第 2 章的本体（信纸要用它写）；基本的消息传递编程概念。
• 后续延伸：本章的合同网是第 4 章任务分配的算法引擎；本章的规范与机构是第 5 章冲突仲裁的制度背景；消息层的超时、重传与信任问题将在第 5 章（信任声誉）与第 8 章（安全）反复回响。若你关注大模型智能体之间的消息协议与编排，可移步《大模型驱动的智能体构建与应用》册，那里讲的是"新邮政局"的工程化版本。