交通智能体工程(TAE)

一份关于交通智能体应如何思考、推理并承担责任的开放规范

v0.1 — 草案。 卷一与卷二完整——第一至二十章。

这不是一本书,是一份规范。它所定义的概念具有足够的精确性:两个互不相关的团队读完之后,应当能够构建出可互操作的交通智能体——或者至少,能够就分歧之处进行有成效的争论。

English → · 术语表 → · 原语规范 →


缺口在哪

智能交通系统的二十年,让交通变得可观测、可仿真,却从未让交通工程变得可执行。

我们的模型能感知拥堵、预测需求、高保真地仿真整条走廊。但工程流程本身没有变:工程师仍然在收集数据、诊断问题、计算配时方案、撰写报告。计算机变聪明了,工程没有。

大语言模型本身填不上这个缺口。它能谈论排队长度,却无法为其负责。它能生成读起来像工程判断的文字,却产不出让工程判断站得住脚的证据链——而在交通工程里,可辩护性就是产品本身。一份无法追溯到方法、标准和实测数据的配时方案,是不能签字的。

核心论点

交通工程不是一个靠更好的模型就能解决的知识问题。它是一个编译问题。

交通工程的基本单元不是问题,也不是任务,而是工程责任——一项具备明确范围、约束条件、所需证据、完成标准与责任主体的交付承诺。

接受这一点之后,整个技术栈自然展开:

责任  →  中间表示  →  推理规划器  →  原语
      →  依赖图  →  编译器  →  验证  →  交付

卷一 · 章节

第一部分 · 基础

第二部分 · 架构

卷二 · 章节

按角色选读

你的身份 建议读
判断 TAE 是否值得关注 术语表,然后第 1–2 章
正在实现交通智能体 原语规范 / TPS,然后第 3–4、6–7 章
关心可信与可审计 第 8–9 章,以及开放议题
持怀疑态度 第 2.7 节(TAE 的定义),以及术语表中刻意排除的词

状态与坦诚

这是草案,包含已知且公开列出的开放议题——见开放议题。其中最关键的一条:TPS schema 中 category 字段的定义值集与实际使用的值集不一致。该问题尚未解决,我们宁愿把它作为公开问题发布,也不愿私下选一个、然后假装它本来就是这么设计的。

卷二把论证推进到编译器、运行时,以及一个可运行的参考实现。如果说前面的章节说明一个组件是什么,卷二说明它必须做到什么——以契约与保证的形式写出来,精确到可以让独立的实现被逐条对照检查。

许可

内容 协议
正文——章节、论述 CC BY-NC-SA 4.0
术语表、TPS、原语标识符 CC BY 4.0

这种不对称是刻意设计的。我们没打算靠一份规范来收许可费。我们要做的是让这套词汇变得无法绕开。


交通工程不是知识问题,而是编译问题。