从岩石到规则：攀爬一座摇摇晃晃但可互操作的语义阶梯

（认识论地位：在智能体基础和语言哲学中一个有前景但奇特的研究方向。一座半建成的概念塔，灰浆和油漆都还湿着：请原谅我们创新时的混乱。有些我相信基本正确;有些只是暗示;很可能很多是错误或不完整的。当然，它缺乏真正正确的数学，这让我很困扰。这里的现有技术奇怪且薄弱：Gärdenfors、Tarski、Gentner，以及后期莫伊派这成了奇怪的盟友，我分不清这是警示信号还是我能轻易清除的护城河。我最近在伯克利做过一次演讲，讲述了最简单的部分。一个名字极为耀眼的场地对于一个希腊语名称的会议.对于@johnswentworth，但也@abramdemski,@Morphism,@Gretta 杜莱巴， JRM，@Dalcy、MM和EA;希望他们喜欢这些橙子。感谢@WhatsTrueKittycat还有。作为注意的保留说明......这大约有1.2万字，这是简略版。慢慢来，休息，准备点水，随时可以在看起来自然休息的地方暂停。我相信这些在你回来之前不会消失。大概吧。）

你有没有见过一个流行文化公司自我辩论到一个可笑的自我挫败立场，扭曲本体论和语言哲学，破坏他们在故事中辛苦建立的框架，只为赚点钱？

你马上就会看到。想象一下：2003年，在美国国际贸易法院，法院刚刚被要求裁定X战警是人类.根据美国法律，“娃娃”是代表人类的人物，“玩具”则是其他任何东西;根据当时的关税表，前者被征收更高的税率。

如果你是漫威，你会怎么做？显然，你派律师来辩称X战警不是人类，也从来不是！别管你已经把你超级英雄故事的整个框架下的东西都砍掉了：你赚了快钱，躲过了进口税，忽视了叙事，追求立法胜利，这才是真正的胜利。

当不可阻挡的真金白银遇上不可动摇的名词类别时，这个类别行动起来了。

现在把关税表换成奖励函数，再读一遍那段。规范博弈这完全是同一手法，由不同的诉讼人在不同法院执行，目的相似：敌对类别重划、对抗性向下约束，类别由有利益和杠杆的方从上方重新争辩。

（记住这个想法，我们下一篇文章会更具体地讲解。）

再说一件事，因为我们喜欢历史见证者，支持我们最新的认识论建构，这里是：大约2300年前，名字学校是中国最重要的哲学传统之一。

我们知道这一点，因为他们的任何著作都得以保存下来。他们有时被称为“争论者”，他们一生都致力于一个悖论白马是否是马;他们因此被战国时期所有其他体面学派嘲笑，从儒家到道教，甚至可能是秦始皇烧毁了他们的卷轴.事情是这样的：我觉得他们说得有道理——嘲弄、火焰、白马，什么都有。

博客文章比卷轴更难被烧毁，而在现代我可以任命更多的争议者。（亲爱的读者：你的工作是打破接下来的内容，把修复交给我。像争论一样——并且与——最优秀的争论者一起。）至于接下来的是什么？

什么连接着它;以什么顺序;如何分享;什么扭曲了它;既然这是一个研究方向，而非胜利巡游，还缺少哪些定理。（多么羞愧，多么痛苦，JSW指出现在是我在他们的工作中缺乏足够的数学。）

借鉴我自己的做法（参见”32. 你到底想要这个定义干什么？“），是时候告诉你我到底想要这个概念结构的目的了。以两个理想化推理者为例——很可能是贝叶斯推理者——他们对世界有相似的预测，但可能对同一共享世界的不同模型;他们交换信息，寻求沟通。

（这就是”互操作语义学“中的”互操作性“。）构成他们消息的标记可以归类为一级级的类型，我称之为”绑定类型“或”语义类型“。每个这样的阶梯——每个此类类型——都由两个推理者必须共同理解的类型来区分，才能在它们之间进行翻译。Rung 由一组关于 Rung 的可翻译条件指定：即在这些条件下，你的 rung-物作为我的 rung- 项保证可理解性。这就是 Wentworth 原生框架，提出两个所罗门诺夫电感器没有语言仍然想办法在酒吧里谈论饮品，而这种交流在精确画完如何表达后突然中断，只用一个手势去谈论饮品的种类。更好的是，这带来了一个我对每个层级都适用的严峻接受标准：如果我不能用简单的日常物品和情境来表达，那就不值得花葡萄糖去思考它。一个普遍的沟通模型最好是普遍的，而且必须是你每天都能在看似如何的情况下磨炼出来的东西。“蓝色杯子在桌上;我拿起来。”一个语义模型在这种句子上摇摆不定，且在这句话上遇到了关键问题，那不过是最恶劣的诡辩。

好了，不多说语义阶梯，不定义它。这是怎么回事？我们得到的是一组层级排列的概念空间——语义阶梯。这些空间中有各种点，每个点代表该空间中的一个对象或元素;它们还有可变轴。

这里，我们是在一类现有的框架中操作：Gärdenfors的概念空间,温特沃斯的互操作语义, "指向物体空间中的簇的词语".（实际上，最后一个是名词。）

我们环顾四周，看到的宇宙里有许多各种各样的东西，它们在做各种动作，这些东西有各种特质，动作以各种方式进行。在这所有肥沃的混沌原始泥潭中，我们宣称：“要有名词！”而且名词是通过概念空间中一群性质以某种或多或少自然的方式赋予我们的。

到目前为止，如果你知道词是什么，知道本体论如何运作，这些都很平淡无奇。问题是，我把这个想法推得更远。这是我们要带上阶梯的唯一主张的简短版本，在顶峰时最后一次完整陈述：每个梯级的机械都将预设下层阶梯的机械。

我坚持明确的下一步步骤LessWrongian框架：如果我们在事物空间中有一个簇，我们可以在某个名词形状概念标记的区域内移动——比如“岩石”——并根据子簇内点之间共享但不与子簇外其他元素共享的属性，对给定的簇进行层级划分。

这些内部坐标为我们提供了名词的有用子分类;我们可以通过更精确地定位某个点，避免离开该簇。然后我们可以判断某个内部坐标是否在名词簇中出现得相当频繁;如果是的话，我们可能会暂时地抽象形容词对应那个方向：“硬的”，比如“蓝色”，或者“美味”。

对于每种类型，我们都可以构建一个类型化的空洞：这里就是在这里，我们得到了代词、指针和疑问词，比如“它”、“那个”和“which”：这些词请求被合适的词替代。

故事就在这里结束：形容词是我们走路的尽头。

...如果我没多想，这部分我会说——这是我补充现有技术的部分。我们隐含地已经见过两种操作：“簇”，即接收某种原始点云分布，返回一组构成类型的概念桶;以及“指定”，观察几个概念桶共享的内部变异，并返回对应该共享方向的修饰符。

现在我可以开始添加更多。第一个我称之为“预测化”：取一个内部坐标，一个修饰符，并从中生成一个新的1元谓词。“困难”方向变成“是困难”，谓词，主张。

与此动作相关的，看起来同样简单，是“饱和”在弗雷格的意义上取一个有一个或多个论元应该去的地方，填满它们。这些看似微不足道的动作，却能给我们带来欺骗性的好处：正是在这里，我们可以首先构造完整句子，因此我们也可能先犯错、可能犯错、说谎。

我们应该在这里花点时间指出，在韩语中，动词和形容词的分离不像英语中那么清晰：你可以流畅地用时态变化形容词来谈论那些将是蓝色或曾经美味的东西，就像你用英语谈论夜晚天空变暗一样。

在洛兹班语中，布里夫拉模糊动词、形容词甚至名词之间的界限;它可能是人造语言，但人们能自然地说，并且觉得有用。这对我的框架来说可能看起来是个问题。

恰恰相反。表层语法——无论你用哪种语言作为视角和接口——都无法完全绑定结构：韩语和洛兹班语稍微扰乱了表层类别，但界限依然保持不变。

更好的是，理论表达的比“完全忽略表层语法”更尖锐，我希望获得精准的清晰度的认可：边界、桥梁应该显示出模糊。无论梯子哪里架桥，跨语言类型学应该显示一个不稳定的表面类别跨越它——一类词汇，太复杂而不可能是下一个，但又拉得太远，不像是下一个。

韩语的描述动词洛伊班的布里夫拉是第一个这样的涂鸦，正好落在第一座桥上。我们爬山时记得数。

接下来是运算符，“元数攀升”：我们已经有一元谓词;我们还不如稍微调皮一下：首先，指出“盒子内”这个可抽象修饰语，作为各种名词对小具体对象共有的;然后，将这个极其尴尬的修饰语展开为地点的介词，或一个简单的关系及物动词：“内”、“来自”、“与”、“上方”;“爱”、“想要”、“拥有”;各种二元和一般的n元关系。

目前我们仍然处于静态框架中，如果我们稍微眯眼，把那些自然在一段时间内表现的关系动词当作存在于一个无时间的瞬间。

当然，接下来我们要做的就是解决这种张力并“时间化”。（不过我会愉快地为这种看似任意的选择辩护，这种选择是线性化，实际上最好描述为偏序：二元配置在语义上严格比时间索引轨迹差，我希望这个阶梯从贫穷到富裕，简单到复杂。）一旦时间进入画面——钟表时间、主观时间，甚至逻辑时间- 配置空间丰富为路径空间。

这部分我们得到所有其余动词：运动和位置变化动词、所有权-转移（本身是关系的一小扇子——所有权、保管、控制和使用等——每条线都可以单独转移），以及一般变换，以及路径介词如“沿路”、“向向”和“从”来“。第二处涂抹按计划出现：地点介词对抗路径介词，还有Talmy的动词框架/卫星框架类型学，路径成分根据语言在动词与其卫星之间迁移。杰肯多夫不过几十年前就有过这种分解：PATH 函数吞噬 PLACE 参数，TO（IN（house）） = “进入 house”。

目前也不需要新的运算符：正如名词给了我们形容词，动词和介词（尤其是在时间化的背景下）给了我们副词作为配置空间和路径空间的内部坐标;这也是我们得到时态（发生时间）、体（开始和停止）、情绪（是否发生）和证据性（你如何知道它发生过）的地方。

“快速”对路径空间轨迹的意义，就像“困难”对物体空间中的对象一样，这不是可爱的巧合，而是辉煌的简约。

现在已经爬到梯子一半了。我们先停下来喘口气，至少是为了兑现之前的承诺。“蓝色杯子在桌上;我拿起它。”“杯子”和“桌子”：都是物空间中的簇——名词，且令人愉悦地平凡。

“蓝色”：杯子簇等的内部坐标，做着诚实的形容词工作。“The”：有点出乎意料，但冠词是一种形容词，带有关于如何构建照应、指示和指示性的故事。

“我”和“它”：更多的照应和指示性;如前所述，是主梯子旁边的东西，被它暗示但不完全属于它。“正在”：配置上的二元谓词——静电，任何东西还没动。

“拾起”：通过这些配置的轨迹，以及沿着占有风扇控制分支的转移——动词工作双倍。八个语言符号的日常厨房生活，规则的每一个等级都被执行。

这不是阶梯的证明，只是梯子通过了最清晰的入学考试前半部分，这是我欠你的最少的。我们将在梯子顶端看看同一考试的后半部分。

接下来的部分有点奇怪，但这是合理的。正如我们把形容词预设成简单的状态动词一样，我们也注意到“never”和“always”是如此奇怪的副词，而“should”则是一个非常奇怪的情态动词。

看整组轨迹，尤其是标有“never”和“should”的，最终过滤后的集合最合理的命名是什么？我认为答案是规则。那么换个运算符：“约束”。

正如名词可以是任意奇怪或愚蠢的，取决于具体情况，动词也可以任意奇怪或愚蠢，取决于动作，规则也是如此：“保留”和“被侵犯”在这里比集合成员更神秘;给定的轨迹或关系要么属于允许的集合，要么不在。

这里无需假设强制执行：这只是关于收敛概念及其使之成为可能的句法和语义子结构。你可能会觉得将前置化拉伸到符合这种情况很诱人，因为我们再次看到一个对象宇宙（之前有属性的名词，现在是饱和动词），它们要么属于某个集合，要么不存在（或者最终描述为某些拓扑的分类器对象，但这超出范围）。

这是个很好的直觉，起初也让我困惑;问题在于规范性。名词本身是无时间的：它有或没有属性，仅此而已。而饱和动词则是一个事件，或者关系，如成立，它可以被打断、重复，或者只允许第一次出现，或者以不同的方式执行，这意味着简单的预设化无法满足;有些事件可以被允许，而有些则不允许，这是简单的属性检查无法解释的。

顺便说一句，这就是第一个梯级检测器：当观察和操作下层的元素构建了除你想要的东西之外的所有东西时，那个东西就值得一个新的等级。

动词不是来自观察名词，而是来自观察事物如何变化;规则不是逐一检查事件，而是过滤整组轨迹。这促使我们勾勒出规范性的互操作语义。

这需要另一个运算符：“义务提升”。从“is-P”到“let-all-be-P”，从描述到处方。作为休谟与他的断头台想让我们知道，无论你对“是什么”的描述堆积得多高，你永远无法构建出“应该”。

正如我们从形容词到谓语再到动词之间发现了模糊的痕迹，我们的预测在这里也成立了：泛称和神秘氛围——你用来表达谚语和其他永恒、抽象、非个人真理的语法——正是让我们顺畅地从副词走向规则的关键。

“狗叫。”“教皇是天主教徒。”“柠檬是黄色的。”从语法上看，这些都是描述，或者至少在那些没有明确标记诺米诺米的语言中看起来是这样——但每个家长、老师、教官和法官都清楚自己说的是哪一个。

我们可以说，诺米克体现在竞标的语气中;一种泛泛的，是边界（重新）划定战争中的一种动作，伪装成实地观察。两者都在集群边界进行政治，同时声称自己做的是简单的实地工作。

莱斯利（2008）先读了通用药，还有规范性文献（比如哈斯兰格）可能会进一步指出，规范性的边界守护性从一开始就被深深植入;整个学派肯定会认为我将泛指、诺米学和规范性之间的联系——然后在这里应用到可互操作语义学——是迟来但受欢迎的。

但义务提升需要提升者;定义一套规则的成本非常低，所以它的力量不能存在于此——这取决于拥有地位、赌注和钢铁以抵御潜在违规者的存在或事物。

这反过来意味着我们在契约阶梯上更深入地看到的动态，已经很早就开始下降，更重要的是，那些无人采纳的抽象“纯规则”存在于规则空间中，就像地图上存在的无主土地一样。

我们注意到，“应当”正是代理人首次被召唤的地方进入阶梯：他们一直是幕后，既是发言者、听话者，也是言语者，也是口述者，而现在他们成为了焦点。

当我们把整个阶梯支撑起来，准备攀登学习和加载值时，我们必须把这一事实视为关键，而不是尴尬。

修正值轨道——随着实体一级攀升的修正值——保持节奏，规则集群坐标如“严格”、“通常”和“默认”。顺便说一句，我们也应该注意那个带有Zipf味的“字形”我们在文中多次提到：最高频率的绑定机制会持续压缩成短词，随着时间推移，压缩成词缀和语法本身。

时态、体、语气、证据性、语气：只要语言将机制磨炼到语法，就怀疑底下有承重的梯级。这又是一个梯级检测器;当有人提出异议时，我们会把它拿出来挥动，直到它在隐藏的梯级处发出哔哔声——不过就像钉探测器一样，当它对某些词发出哔哔声时，梯级通常不会离单词很近，而是靠近那些短促而尖锐的词汇。

别再谈纯规则了。我们怎么从那里走向契约？如果你一直关注，你会猜到答案是“复杂，有点乱，肯定不是一步就完成”。这里的形式是惯例：不成文的规则、破碎的对称性、doxa，以及所有其他类似的静默结构。

要从规则中获得惯例，必须有期待和先例，但不需要明确的采纳。“你走在小径的哪一边，陌生人”是一个核心例子，同样是给茶加牛奶或加茶到牛奶是礼貌。

没人签字;但即便如此，大家都知道，而且大体上成立。重要的是，这不是一级的污点，而是再次明显的抹黑，那种我们已经三次见过的“不完全是”的污点。

这次，是刘易斯（1969年）以及他所有惯例和协议的全部体系，以及支撑它们的共同认知和关于均衡的协调。在这里，这个机制直接作用于规则空间，没有任何契约：动态，也没有静态。

而这最后的抹黑是最混乱的：这里的词汇——“习惯”、“规范”、“传统”、“用法”——是整个堆栈中最不稳定的，正如抹黑应有的那样。请记住这最后一个平台的贫困;它让下一阶的财富显而易见。

而下一个阶梯就是最后一个：契约阶梯。让我更好地操作化我所说的“契约”。设为可表达规则的空间。非常庞大，正如之前所说，几乎全部都是完全的垃圾：无关紧要、无法满足或相互矛盾——像“每隔三个星期二跳一次”这样的规则填埋场，这是一个特别有用的例子，因为代理人实际上可以以低成本有意义地遵守，而且描述长度令人满意。

设为所有规则集合的集合;如前所述，我们将勾勒出最简单的情况，其中某条规则要么属于或不属于可遵守的规则集，所有例外和条件都包含在规则陈述中。

设为一组代理，且 。那么，契约是所有成员都同意约束的元素，即只要他们遵守各自的规则;也就是说，只要其他人遵守自己的规则，就必须遵守自己的规则。

这是我们需要的最后一个操作者，以攀登阶梯：“采纳”。单方面承诺是情况，这种特殊情况后来证明是深层的，而非退化，因为我们可以盈利地将连续时间片中的单个代理人建模为跨谈判立场的联盟。

安斯利为文献提供了跨时期的谈判，但我相信你对这种现象有亲身经历，比如每次你努力起床，尽管前一晚已经下定决心;或者你那个节食的自我与那个渴望自制甜点的自己长时间斗争。

在我继续之前的一个猜测：收养需要复数派对——但即使是隐士的周二和周五的自己，也已经有两个了，所以如果那个隐士能信任未来的自己履行今天达成的协议，森林就足够了。

森林无法提供的是第二个骷髅：契约力束缚一个你不愿制定期望的人。这就是这个阶梯新颖之处的大部分猜测，除了契约空间的描述。

而协议空间的结构名副其实。如果某个轨迹保持其所有规则，则称一个子集为联合可满足。可满足性是下闭的，因为删除规则不会产生矛盾。

但下闭集合族已经有名字：它恰好是抽象单纯复形，使得可行的协议选择了兼容的单元供其代理人采用。最大面是最大一致的规则集;林登鲍姆引理挥手打个招呼，因为即使在这里我们也发现，一致性对象也应该始终可扩展为完全一致的对象。

两个契约恰好兼容的是，对于两个契约的每个代理人，该代理人的两个规则单元共享一个cocell——也就是说，它们的结合仍然是可满足的单元。

这就是静态：什么是契约。动态——相互期待、共同知识、整个刘易斯体系;简而言之，契约的结合机制——是另一层，超出本文范围。本社区的许多混淆源于两者混淆，所以别让任何人把其中一个当作另一个。

希望这能在有人提问之前回答一个重要问题——即为什么契约应该有自己的等级，而不是被当作最复杂的规则阐述。这里的区别在于机械清单;还有我们在上升过程中最后一块模糊的边界。

为了构建契约，我们需要：幂集迁移——或者我能看到更复杂的版本，用完整的子对象分类器替换布尔值;采用算符，部分由谈判理论给出;代理索引，自然还有带有勒比风格的相互期望机制。

这些都不存在于纯规则的阶级。

还有一位操作员要谈，图中顶部是一根细箭头逆向延伸，沿着棋盘左边的整个边缘延伸，我们稍后会说到它。在细箭头带我们一路往下走之前，让我们在梯子顶端稍作休息一下，至少这样我才能直接陈述我的核心主张，而不是让顺序暗示它。

这个猜想——机械依赖性——是这样的：每个梯级的绑定机制都预设了下面梯级的机械;没有可谓词的谓词，没有可扩展的谓词，没有可扩展的谓词，没有可约束的规则，没有可采纳的规则。

这是关于建构的主张，而非影响：梯级实例的具体性质可以从阶梯的任何地方推来推去，包括顶部——这是下一篇文章的故事——但建造梯级所需的条件是严格有序的。

坦白说，它以普通方式是可证伪的，所以这里是我自己程序头上的悬赏：如果你能展示一个系统——自然语言、涌现代码、儿童的习得序列——运行某个梯级的机制，而没有猜想所预设的机制，那么塔楼就会倒塌。

给我看一个提议中的梯级桥梁，它在类型学记录中没有任何表面类别的模糊性。给我展示一种证据式标记，能有效地连接在句子桥下，那里还没有错误。

禁止任何东西的理论都没有风险，因此也不应得到任何东西。这条梯子禁止上述三者，并冒着风险，这是正确且合适的。

现在让最后一个操作员谈谈，那个唯一向下延伸的细箭头：“reify”，在后面写作“⌜·⌝”奎因及其引用.（不是天花板函数。我也不会再接受楼层函数大厅的进一步提问。）具体化从任意梯级取一个对象，并从中铸造一个名词：引号、名义化、“X的规则”、“Y的契约”。

这就是元层次免费产生的来源。注意不对称性：梯子上的任何东西都被引号下到名词，但并非所有名词都能做到——韩语允许你公부하다、study-do，但不会돌하다、石头做，除非先强制从石头中强迫某个过程出来。

还要记住，这个实体化也是制造确定性函数变量的操作符，而我们稍后将介绍的一些形式程序——尤其是潜在模型和分解空间模型——正是这些变量是独自舒适地承载的。

四条桥，四条涂抹，全部都有：形容词变成动词;位置变成路径;描述变成规则;惯例变成协议。对位是最有用的部分：一个没有类型学模糊的桥梁，是反对该桥的证据。

我习惯了用这种形状的主张;我一般推荐这种形状给你。那就只剩下我开头提到的考试后半部分，我们中途完成的部分。

“[蓝色杯子放在桌上;我拿起来。]然后我把它放进洗碗机，因为杯子通常放那里，而不是水槽。”这部分在语言上有些模糊，需要更多的解释和上下文构建，但我们还是可以做到。

“它”和“那里”：和我们已经见过的那种同类的照应;对他们来说，读作“杯子”和“洗碗机内（侧）”。“杯子放进洗碗机”和“杯子不放水槽”：一条干净利落的两部分规则;对杯子轨迹的限制，可以明显保留或违反。

没有什么比杯子最终落在哪里决定的会员资格更神秘的了。那些开处方的无标记通用药其实是日常的谜题——政治和水槽边界上的讨价还价，包装成关于杯子及其分布的事实。

这条处方背后的强制力来自厨房的管理者;我室友皱眉就足以指出违规。“通常”：规则的修饰栏，这里最奇怪的不过是杯子有颜色。“然后”：一点明确的时间标记;同样是我们已经见过的。

“然后我把[杯子]放进洗碗机”，这不仅仅是一个独立的条款——它成为了符合规则的行动。整个安排成立，因为家庭成员共同采纳了它——大多数情况下没有人签署任何文件，也就是说：一种向小型家庭协议加深的惯例。

规则、规则修正、举重器、举重者和契约：梯子的上半部分，被一个脏杯子的细致思考照亮。

这里有什么规律？为什么有些实体，如此奇异地精确雕刻，却被视为一类，而其他的却不是？我们拥有的核心阶梯及其依赖共鸣的分支。

在我识别的每个空间内，都有事物;类型显然有人居住。这些事物可以被聚集成一类实体：密度区域、可指向的事物。这些构成主要阶梯：名词，比如“大多数动词以及一些其他状态和关系词”、“规则”和“契约/承诺/协议”，随着我们向上的表现。

仔细观察簇，我们总觉得用簇内的局部坐标来描述元素很有用——这些局部坐标不必与更大空间上的坐标相同，甚至可以用其他簇（天空蓝、闪电般快速、状态清晰）来描述。

然后用一个简明的运子让我们从不同群中抽象出相似使用的修饰符，移动到阶梯上的下一个格子——丰富空间，在桥梁处铸造谓词等。值得花点心思保持这两个轨道的分开;无论你的母语是什么，表面语法通常来自省略运算符。

诚然，这里的典范宾语是一个部分顺序，且明显是临时的，尽管规则肯定应该落在岩石之后。PR指出，从正确的框架出发，动词而非名词应置于最底层;我们将在适当的时候回应她的评论。

这里的层级牢牢地包含了各种实体类型，而这些实体的修饰语大多存在于它们喜欢修改的实体层面，但又会在下一级设置脚步;这不是偶然或混乱，而是我们找到所需桥梁的方式。

现在进行一些清理，因为一个理论如果只指出并证明应该存在或已经存在的事物，而从未谈及不应该存在或不存在的事物，它就是不完整的。

当我在离开一年或两年后第一次重新审视这个框架时，我想到了建第二座塔，以及增加更多的阶梯。特别是，“饱和”（saturate）操作的产物——断言、完整的陈述、可能错误或虚假的主张——起初看起来应该有它们自己的阶梯，而代词形式（pro-forms）提供了第二个梯子其余的理由。

所谓代词形式，是指任何留下类型化空位的东西，而这个空位必须由其他具有适当类型的元素指向或直接填充——例如像“what”和“we”这样的代词，像“this”和“such”这样的代形容词，像“do so”这样的代动词，像“thus”（也包括“such”！）这样的代副词，以及像“yes”“no”“what she said”和“^ this”这样的完整代陈述——后者在逻辑语（Lojban）和中文中都有出色的表现。

它是对称的，感觉优雅，而且未经过验证——对于一个年轻的理论来说，这只是委婉地说它是错的。因此，那把砍掉第二个梯子的斧头，被提出以便重复使用的原则是：“只有在分解明显失败的情况下才能引入新的本体论”。

契约阶梯（pact rung）是典型例子：它通过机器清单（machinery inventory）赢得了它的阶梯，并通过论证没有更低阶梯的构造能产生采纳。

其他一切必须支付同样的代价，或者适当地折叠进已有的东西。让我们依次来看几个符合条件的候选例子。

首先，断言。一个主张的内容本身已经是名词；那一直是“⌜·⌝”操作符的职责。那条箭头可以把任何阶层的任何东西变成名词，整个句子也不例外。

断言是一种行为：由一个代理者做出的动作，存在于行为所在之处，因此它需对存在于规则与契约之间模糊地带的规范负责。使用和提及从一开始就不同，说实话是基本要求，一个是动作，一个是名词；像“发话”或“句子”这样的表面词语横跨它们——和以前一样，这种模糊本身就是一个兑现的预测，而不是令人尴尬的地方。

著名的、充满文献的“命题”与“句子”与“陈述”与“发话”与“言语行为”与“主张”的纠缠，正是桥梁涂抹规则在跨越界限时所预测的模糊；它是哲学在过去一个多世纪的解开纠缠，被重新解读为在现实中观察到的类型不稳定性。

真理本身从不需要重新安置：它从底层的桥梁进入，凭借犯错的能力被接纳，并且一直优雅地存在在那里。而且塔尔斯基我那张薄旧的艺术桌上的座位现在价值一句话：“⌜雪是白的⌝”当且仅当雪实际上是白色的。

去引号化是指⌜·⌝运行可靠的主张。这里没有其他装置，因此也不需要它自己的阶梯——尽管言语行为及其超现实化（就像：那些自称为真（/假）的主张）本质上，对静态真值来说是滑溜的，值得进一步处理。

代词句相应地排序，几乎可以免费获取：“她说的”和“^这个”都是对具化话语的回指——基本上是对⌜·⌝图像的代名词——而“是的”和“阿门”则是微小的言语行为，夹杂在仪式的细微之中。

也许我应该注意到，代词形式一栏中已经有人坐在“深受感动”旁边。

连接词——大多是连接词——从来不是建筑，而是借来的词汇。构成存在于各个层面;“盐和胡椒”连接名词，却没有任何暗示我应该建造名词逻辑的塔。

裸露的骨架——“and”、“or”、“not”、“if”、“else”——简短且频繁，符合最大负荷的句法机制。我们的梯级检测器对它们发出哔哔声，但它指向我们已有的梯级——名词及其修饰语，动词及其修饰语，甚至规则及其修饰语。

“每个连接词借用了什么？”是更有趣的问题。“然后”唤起路径空间的时钟;“但是”和“虽然”在同时佩戴规则修饰语时是连词，通常是对立场提出的例外旗帜;“because”借用了依存结构，并在语法中区分的地方（英语偶尔会做的）分为因果和证据“because”（比如Lojban，“为什么”词汇丰富）;“否则”有时是析取，带有契约阶级的执行面孔。

如果我想写连接词的普查，那就是追踪每个连接词最接近哪个阶级或子连接词。

证据同样会有序地重新定位：“据称”、“据称”、“据我所见”等，都是断言行为的修饰语，也是来源坐标。在上表中，我断言它们沿着修饰语轨道上走，下一级是一英尺，但断言行为最终归档于哪个层级，暂且保持开放。

我宁愿提出一个未解问题，也不愿保留多余的塔楼。

诚实，或称真实性——与真理不同——是断言行为中的一种规范：“只断言你认为真实的事”，之后格赖斯.这种形状的规范不会停留在涂抹中——它在契约级别具有约束力。

刘易斯（之前的那位）正是基于这一点构建了语言，在”语言与语言“：一个群体使用一种语言，只有当他们之间存在一种真实和信任的惯例——否则为什么要怀疑口中的声音与现实相连？说谎是对那原始契约的背叛，这也是它为何比错误带来的刺痛感截然不同，也更为痛苦。

最后，证明。在这个框架中，证明主要是一系列由核心规则许可的具体内容。这就是为什么你可以打印证明：形式化的全部意义在于由名词和断言组成的串。

关键是，证明展示决定性终结论证的原因在整个序列中找不到——因为理由完全存在于数学作为一项企业运行并依赖运行的既定协议中。在本文末尾梯子顶端上方的分类法中，证明是一种信念转移的协议;一个如此优雅编译、如此精密的协议，能够无信任地运行。

“你不必信任我，只要运行检查器就行。”所有更高的层面都需要更低的东西，正如预期的那样：再是实体化，然后是规则，然后是阶梯顶端的沉降力——那是唯一需要的阶梯。

阶梯中最奇怪的两种行为有单独的文章：一种爬升阶梯的诡辩——ext（m·e） ⊆ ext（e），而潜在（m·e）≠潜在（e）;也就是说，修改缩小了实例范围，但常常改变预测，混淆这两个事实是一个有着悠久历史的范围错误——以及一场法庭案件中顶层重写了底层。

暂且先看这座塔在当前领域中的地位。如果你只是为了表格，可以跳过剩下的部分;你甚至可以直接跳到我解释为何这些对代理基金会和人工智能安全重要的地方。

否则：这里是我应该揭示我认为最活跃的代理基金会中最活跃的形式程序与互操作语义阶梯之间大统一的部分。遗憾的是，我没有这些。

我手上只有一张座位表和一张空椅子清单;一个带红线的软木板，而不是我只能随意挥挥的那种漂亮的循环证明图。四个实时形式程序各自代表这个对象的一个方面，它们大多不相互交流;另外三个提供重要的相邻细节（而且彼此之间也不交流）。

我在这里的评论层面各不相同，我在舞台上也说过了，所以如果有排位主或准坐者想对我有任何错误或过时的地方提出意见，我会邀请。

总之，这四个主要表格，大致按我在他们那里吃饭的频率由多到低排列：

• 自然潜伏（温特沃斯和洛雷尔）——“什么能结合？”你会得到辉煌的定理形条件，在这种条件下，你的模型中的潜在变量必然是我模型中一个变量的近似且稳健的函数;它在世界模型间的翻译变得精确。你甚至不需要眯眼那么用力，它就是一个关于名词的定理，或者说关于任何⌜·⌝能从中生成名词的定理。
• 信息不完全的多智能体影响图，或二级女仆（Foxabbott、Subramani 和 Ward）——“当游戏中的绑定不匹配时，会发生什么？”对游戏本身持有不同信念的玩家会发生碰撞。没有共同的先验，理性的共同认知化为乌有。这是一种契约不可能成立，甚至约束也摇摇欲坠、形式化的状态，这正是契约阶梯（至少）需要它作为对照的原因。
• 冷凝（艾森斯塔特）——“束缚如何压缩？”如果你组织世界模型使问题易于回答，另一个定理会出现：任意两个智能体高效地假设近似同构的潜在变量。你会从效率中获得客观性，概念以离散的水滴形式出现，而非模糊。
• 分解空间模型（Garrabrant、Mayer、Wache等）——“这种约束必须尊重什么？”别再画因果箭头了;改为分解样本空间，那么独立性和时间就会直接消失。直到最近，当一个变量是其他变量的确定性函数时，唯一能完全适应的形式主义——正是那种变量⌜·⌝，特别能整天播放。（温特沃斯后来想出了如何让潜在变量适应确定性函数关系的过于鲜明，以及它们天真地会让你的似然函数被零除以撞击的因素。）

这些行之间的交叉表中有一个单元格通过吉伦与蒋介石2026年。根据他们给出的定理，我们大致得到一个方向——“给定一个近似凝聚，我们可以构造一个近似的弱自然潜音，只有在存在~没有低层次结构可利用时才能构造强隐伏”，我们也算是另一个方向——“给定一个自然潜源，我们可以构造一个误差翻倍的凝聚”。

更强的等价关系——以及其他必要的联系——是暗示性的空缺;我甚至还不能说出合适的“以下是等价”证明的循环图应该是什么。最大的一个原因是对齐帖子承载语言学阶梯的全部原因：自然规则条件。

自然潜伏可以告诉你，你的“狗”什么时候肯定是我的“狗”的函数。另一方面，没有人有对应的定理，说明你的“谋杀”——对轨迹集合的约束！

——是我的函数。这正是规则可迁移性定理必须呈现的样子。它不存在，真是遗憾;缺失的定理恰好是与对齐相关的定理也绝非巧合。从这个角度看，AI对齐中更经典的问题得以体现：奖励函数是一条规则，你希望它以你本意的方式约束它所约束的代理人;而规范博弈则是当这些希望破灭、你失败时，对该规则进行向下审计的样子。

我想要的定理，是那种用鲜明的语言勾勒出你何时不被迫失败——以及你从一开始就注定失败的定理。

现在说说三个较小的选区，它们与主结构无关，也远未被充分规划，或者两者兼有，但我认为它们从纯语义上仍然为我们应关心的理由和未来走向提供了重要的联系：

• 下贝叶斯主义（Kosoy和Appel）“当你连自己所处的游戏都没有先验权时，你会采取什么行动，缔结哪些契约？”
• ROSE谈判+几何效用（Appeal 等;纳什Garrabrant 等）“当一般贝叶斯代理需要分割剩余并做出带有契约色彩的承诺时，结果通常会是什么样子？”+ “好吧，但如果我们用的是黄金而不是底沙矿，那么我们试图最大化产品，而不是剩余收益的总和呢？”
• 分形/联盟能动性+铺砖剂（Ngo等;Demski等）“当我们在最终的交易/交易/卡通-战斗-云/冻结冲突之间划出一条界限，并把结果当作一个更大的主体时，会是什么样子？”+ “当我们试图完全认真对待那个星期二隐士与星期五隐士的对立时，会发生什么？”

我会一如既往地坦率地谈论这里的裂缝和鸿沟。我把所有这些项目钉在软木板上，哀叹那根缺失的线;这篇文章不是后续。那将成为整个研究项目的动力。

这让你失望吗？你希望在这里找到答案？太好了。我也感到失望;带工作单的失望是本地货币。我希望能找到合适的人，但如果找不到，我就自己来，独自慢慢来，希望我的“慢慢”还够快，能算得出来，不会太晚。

说到“够快”和“太晚了”，我想谈谈PR和其他德勒兹派成员在服务中徘徊，谈论时间的本质，以及为什么时间似乎如此晚才进入故事;他们理应被作为先有技术提及，就像盖登福斯或莫伊斯派一样。

《鼠园》中最尖锐的两个尖叫是两个以两种形式出现的问题：“为什么名词总是被排在最底层？”和“为什么时间进入得这么晚？”。第一个特别的问题是公关缺席的评论，我之前承诺过会得到答案;把这当作是美好的时刻。

对这两者的答案都是，底层是环境强制的，而不是理论选择的。我们永远无法根据喜好选择本体论;那总是由环境和其中最自然的生物赋予我们。

（我敢肯定她会觉得这句话不满意。）阶梯的最底层是信息最冗余、最可翻译的信息所在;在我们宇宙的邻近中，这些信息主要存在于持续、局部、空间相关的群体中——也就是块状物。

岩石、杯子、祖母状物;类似的东西。一个宇宙（或一个更小的系统，作为独立宇宙建模）只有在其廉价冗余被空间聚集时，才会拥有名词优先阶梯;而我们的宇宙，恰好为了发明指向，恰好具备了这种特性。

发展心理学最先达到了这里：《根特纳》（1982年）他认为儿童在学习动词之前先学名词，因为物体是人类感知中已经被整齐切割的“自然划分”——也就是说，是一团。

其实不必如此;我们所生活和必须应对的宇宙的自然本体论本可以有完全不同的设定。事实上，你可以在菜单外订购一个不同的宇宙。以波浪世界为例：开放海面、声学和等离子体都是很好的例子。

在这些世界里，没有任何东西会持续存在，持久的身份主要由振荡模式赋予。在那里，廉价的冗余是反复出现的时间主题，且通常没有任何东西聚集可指向，因此自然的底层梯级呈现出动词形态。

博尔赫斯在1940年两次将那个世界的阶梯运过来，我建议你阅读他的记载：”特伦、乌克巴尔、第三奥尔比斯".至于我们，时间进入我们的阶梯“较晚”，因为我们的团块，虽然空间局限且时间模糊，却请求我们推迟;波浪或闪光的世界根本不会给你这些，更愿意识别频率紧凑的实体——周期性行为和共振模式，持续响起——或者时间上紧凑的闪光，瞬间消失——但很可能从未将两者视为基础，前提是加博尔极限不确定性原理......无论哪种方式，空间上都很模糊，所以时间从一楼进入。

一般来说，每个世界的阶梯都晚偿其廉价冗余的补偿，加博尔设定了菜单：在每个轴上——空间和时间——一个世界最便宜的实体可以在该轴或其频率上紧致，但绝不能两者兼有。

在时间中，这意味着持续时间，或者持久性和周期（持久仅指频率零）;在空间、位置或波长中。我们的选择了位置和持久性，因此空间随名词自由获得，时间作为事件——何时、持续多久——是迟来的购买：“时间化”。

波浪世界选择波长和周期，所以地点是迟来的购买，而对偶运算符类似于“localize”，将反复出现的动机绑定在一个固定的“where”上。火花世界会选择位置和持续时间，因此必须“模式化”或“穿线”，才能获得持久的东西——如果它能容纳观察者，因为观察者本身就是其中之一。

（第四个细胞，波长和持续时间，是无处不在的涟漪，同时消失;我无法想象在这样一个雷鸣世界中会有怎样的观察者。）特伦的“twice over”实际上是两个细胞，每个半球一个：无人称的动词，让它夜夜月亮，不在乎月亮何时何地开始，以及堆积的形容词，形容事物此刻多么圆润飘渺，却不对明天发表看法。

两者都没有将地点和持久性结合起来，因此那里著名的异端是九枚铜币，在星期二丢失，随后在一周晚些时候被发现，中间存在——这正是名词会免费赠予它的说话者的东西。

（异端领袖的草率推理并没有让事情变得更容易。阳台上确实有两枚硬币。）

元胞自动机是这两部分问题的自然试验场。人生中的滑翔机是一个彻头彻尾的过程;纯粹的模式，没有持久的基底。一旦它证明我们是局部且持久的群体世界主义者，我们就会立刻将其标记;我们不得不应用原生宇宙的自然过滤器，除非付出一定的认知努力。

波动世界者可能会把同一滑翔机当作不完美的姿势孤子固定大小和周期4，动词化时不费力，一旦发现岩石持续存在，便会继续动词化。火花世界生物会看到连续网格块上的短暂激发链，必须将它们串联起来才能获得滑翔机——这正是火花世界必须设计的模式。

一如既往，洛伊班那简洁的表面构造在我们面前愉快地跑动：“看，一块石头！”是一个词，几乎是洛伊巴语中最简单的表达。（我们会用闪光点发音，也担心时态、相位、情绪和证据性——事件何时发生、开始和结束，以及我们如何知道。）

事实证明，我之前在另一篇帖子里写过这个过滤器。我也在”78. 为什么一切都是春天“：首先，选择——留下来被观察的是近似或最终的周期性，过快和永不重复的两者都被观察上禁止;其次，机制——当你扰动稳定平衡时，会产生振荡或某种不同的局部稳定状态。弹簧柱的可观测量和这个梯子的名词是施加在不同阶级的过滤器，在波浪世界中，这两个交换的地方是：正常模式是弹簧，那些现在是最自然的原始动词，而弹簧的基底则成为一个非拍名词的范例。当两个相隔数月的文章在未被征求的情况下就这样契合在一起时，我把它当作我在某个关节附近雕刻的弱证据——弱，我说;放下那堆五彩纸屑。

无论一个世界交给居民哪个底层，上面建造的东西从规则开始都应该看起来一样。那么，为什么有界代理人还要在一个世界上建造树木，如果我们诚实面对自己，凌晨两点，根茎?因为树是具有经济失效性的数据结构。

当世界移动时，树可以让你找到并修复它破坏的条目;平坦的联想汤会让你重新审视一切。分类法和模式是在协调压力和计算预算的压力下，从流动中脱颖而出——有时候，毫无讽刺意味，你确实需要一棵树。

而这笔预算可能不仅仅是让树变得负担得起;它可能是树生长的关键。颜色是最干净的测试，因为这个世界没有给我们任何可以干净切割颜色的关节。

没有介于狗和桌子之间的中间;绿色和蓝色之间有一条平滑的连续体，但语言们却一致认为每种颜色的最佳代表所在位置（柏林和凯，1969年).更重要的是，它们几乎以固定顺序获得颜色词汇：主要是通过将旧词拆分，如绿色或蓝色的用一个词形容变成了2。

颜色命名的信息瓶颈模型（扎斯拉夫斯基、肯普、雷吉尔和蒂什比，2018年）通过词汇的精确度和维护成本之间的单一权衡，恢复了接近这种秩序的存在。

分裂的分割形成了一棵树;预算让它成长，而可负担的无效化则保留了它。（房间里的德勒兹派成员肯定因这工具性收敛的树木而震惊得晕倒。）

所以，说德勒兹与瓜塔里派，正如承诺的那样，你应得的：你关于流动真实存在的说法完全正确。你专业地描述了波浪世界的阶梯——或者说我们的前缓存基底，我们在上面运行工具收敛树层，以解决上述无效成本原因。

我们之间的分歧在于冗余的所在位置，以及它到底值得多大程度地屈服于柏拉图主义——这是系统或宇宙的经验参数，而非形而上学的忠诚誓言。

给我带来一个严格的根茎优先绑定结构，我会亲自调配饮料，同时寻找它的桥梁——这样能更好地缓解严谨带来的头痛。

说到承诺，停车场。回想刚才的演讲是在一个牵引规则下进行的：异议算数且确实被欢迎——前提是它们附带了维修、测试或更明确的定义。

幸好你们都答应了。这是那个停车场，经过转录，简单分流，部分内容已被上述文字提及。这些都未被裁定;所有问题都值得感谢;其中几条现已成工作单;其中几份已结案。

我记得的地方有署名。

• 一份包含时态、体、语气和证据性的元素周期表。（感谢JRM）
  • 是的！这正是梯级探测器一直渴望的修饰边普查，前提是语法化正是那些承重机械被压缩的地方。老读者已经知道我用一种不存在的语言保存了一个证据系统（参见”54. 我思想语言中的七个左右证据“） 所以这个观点正好停在一个旧执念之上：认识论标记绑定在哪个阶级？上面的表格押注修饰符轨道在1′，但另一方面，情绪和证据性是该阶梯最明显的跨阶行为，脚步坚定地朝向规则和断言......不过按照上面的涂抹原则，桥梁应该就在那个位置。
  • 状态：待定，受欢迎，规模庞大。
• 为什么时间这么晚才到？
• 动词在名词之前？先用流？
  • 关于这两点（多谢PR），请参见前一节：归根结底，是关于我们宇宙中冗余信息往往存在的事实，而不是理论的喜好。发展语言学在这里也有体现：学习韩语和普通话的儿童对动词的掌握异常早（崔和戈普尼克，1995年;塔迪夫，1996年），但名词优势主要在那里缩小而非翻转，有理由相信韩语和普通话中以谓语为主的语法对这种缩小起到了很大作用。波动世界是你自然获得动词优先阶梯的地方;我邀请你去生活在其中。
  • 状态：大概已关闭。
• 意向语境——“that”从句、引号等。（我记得是 dk？）
  • 引号以另一个名字⌜·⌝称呼，因此这套机制已经存在于黑板上。“在物化下什么可以翻译？”是仍然开放的部分;角引号可能会铸造名词，但引用材料的可翻译条件本身就是一个形状的空洞。而且很可能是一个深洞。
  • 状态：部分定位。
• 语法语气的丰富涅涅茨.（再次感谢JRM）
  • 这又是上面人口普查的素材。这会是对规则栏附近修饰器轨道的压力测试。
  • 状态：见上文;通缉人口普查。
• 白马与白酒;形容词的特权。（又是DK致敬，我记得？或者是GD？）
  • 一个被修改过的东西是否仍然是那个东西——白马是马，假枪不是枪——取决于修饰词和脑袋;你会得到子词和特例两条轨道上，一直往上。关于白马悖论的帖子中会详细说明，白马其实不是马。
  • 状态：大部分关闭。
• 合作游戏作为语言的框架。（我记得是 MM？或者可能是 AD 的？）
  • 刘易斯的工作和他描述的力量在这里已经具有开创性;契约-动力学层很大程度上基于他所描述的内容。还有ROSE谈判和危机谈判理论等。阶梯的主张既狭窄又奇特：博弈论层可以被锚定在梯子的顶端，而非其底部。整个阶梯是否能（或应该！）以博弈为先，是个很好的问题。我会从波浪世界的论点开始挖掘答案;带上证据和铲子。
  • 状态：非常非常开放。

就这些了。稍作整理后，我们剩下一个关键问题：如果我们真正关心的是雄心勃勃的人工智能对齐，为什么有人会关心这些语言哲学？简单而轻率的答案是，它勾勒出如何避免跨越所有其他几乎不可能克服的障碍（如评估意识、军备竞赛动态、残酷监控制度、虚无主义滥用等）情报诅咒最终还是惨死或悲伤，因为最后我们因为自己没能把语言哲学的作业做好而跌倒。

听起来很糟糕。我不想让那种事发生;那会毁了我的一天。

...好吧，这绝对不够。少热，多光。问题是，这个领域有四个不同的深层谜团，让我（或者我们，你也可以加入我）尝试去解开。按我对它们的信心由高到低排序：

• 还有雄心勃勃的价值学习和价值加载部分。在我看来，价值对齐是一个契约级问题，主要被名词级工具攻击。如果你真的很讲究，也可以用动词级工具，偶尔也会轻视规则级工具。“把价值加载到系统中”把对齐视为零级翻译：我们只需要让它的“幸福”群靠近我们，然后抱有希望。也许我们还要确保ASI对它可能还不知道的事情保持谦逊 （可修正性）或者对世界真正含义感到不确定（学习理论议程).但带有利害关系的价值都是规则和协议：“谋杀是禁区”是对轨迹集的约束，是共同采纳和执行的，所有关于“胁迫”和“同意”的神职争执都是三级政治。在名词等级上对齐并祈祷成功的对齐能一路向上传播，就像堆积地下室并称之为一座塔。连休谟都能告诉你这一点，而他已经去世了四分之一千年。之前四程序部分缺失的规则定理对此表达得更为清晰，阶梯增加了一个可用的优势：成为协议的一方是一种机械权利要求。系统是否承载了采纳操作员、代理索引、相互期望机制？没有？那我们仍有问题。最棒的是，这本书原则上可以打字检查，这比每周一天和周日都要检查两次的氛围更好。
• 有一点，我的框架至少能让你认出一个pragmascope。那是温特沃斯的铸币来自《规划》（2023）中的一项工具，用于衡量环境中哪些结构收敛抽象- 按照规范，它将成为对象化的工具，也就是名词。从心灵读取超过这个数值的话，需要输入等级，而本体冲突则有了坐标。在42. 什么是本体论不匹配的类型“，我......在本体论不匹配上加了类型签名。梯子让我可以将不匹配从标量升级为定位事件：冲突发生在某个特定梯级，或者这些梯级如何叠加和绑定。正如我在谈论”reify“操作员之前所说，当边界上有足够多的利害关系时，梯级实例的具体情况可以从上方重新争论;事后是边界战争，其明显的堆积就在任何重新划定界限的权威层次之下。当一个有能力的优化者的本体论与你的本体论分歧时，”梯子上的哪个位置“是第一个诊断问题，第二个是”谁在那个梯级上握着书记员的笔“。
• 我不确定我是更兴奋还是更害怕这个：样本效率之谜有了嫌疑人。回想一下，人类儿童通过极少数接触学会单词——快速制图，摘自Carey & Bartlett（1978）， 和Gleitman（1990）中的句法自助——一个能力异常，几十年来几乎所有机器学习和人工智能研究的人都没注意到，除了JSW和我。（不过发展心理学家除外。那些来自老鼠圈子里关于皮亚杰的兴奋喋喋不休，然后还有这个。）梯子给我的答案是这样的：那个孩子并不是在搜索标签空间，而是仅凭原始感官数据导航。一个新词是预先打入的;它的阶级和子阶在第二次接触前就将假设空间大幅削减了数量级。收敛定理——自然潜伏和凝聚只是开始——正是它们的潜伏几乎落在我们潜位之上，而不仅仅是模糊地接近的原因。样本效率是学习的样子，当双方轻松攀登同一个阶梯时;相比之下，当前的前沿机器学习系统通过海量数据硬生生地处理了类似的气味，几乎完全靠原始文本导航——甚至不需要感官数据！——是否可以原生托管阶梯，这个问题我会保留一个听起来同样沉重的问题。
• 最后，也是与AD相关的，嵌入式代理通过指示词抵达——不过这是整个列表中最具猜测性的回报。也许只有雄心勃勃的价值加载部分信心的一半。“我”、“这里”和“现在”是它所建模世界中一个代理的坐标，每一个阶级都被我今晚暂时留在台外的装置的横切部分束缚着。这应该能告诉你整个巡演到底有多长。（到目前为止，这篇文章已经超过一万字，还有两篇文章的详细说明，加上我填写所有必要数学所需的时间。）我们可能想交给系统的每一个价值指称——“保护人类安全”，以及其他我们认可的推断- 携带指示物，其装订必须从被绑定的延伸内部完成。”SE 的“问题，画在这条梯子上，正好位于那个指示机制和契约梯级的交叉点，所以我怀疑”价值指称“不再是哲学家的说法，而是工程规范。我说的是”怀疑“！别把那五彩纸屑放小点！

攀登在条约之上，我们发现了更奇异、更模糊的事物，如同空气般稀有：规范、制度、文化风俗、大规模公约、议定书、宪法、法理学、货币，Egregores操作哲学，以及神明，仅举几例。

但我们不应该感到惊讶：即使是契约本身，也是任何中学生在公民课上翻阅的现象的基础，或者是业余爱好者翻阅的。”法律体系与我们截然不同“可以随口说出来。我目前的统一猜测，作为一个强烈的观点：这些都是将契约力量扩展到超越相互期望视野的技术。刘易斯力，像任何拥有巨大力量载体的东西一样，是一种短程相互作用;常识会尴尬地提前停止扩展。因此，列表中的所有内容都是用来传播契约可知约束力的破解。宪法是关于进一步缔结契约的契约。协议与证明（尤其是零知识一）是为无信任运行而编组的协议。货币是一种被实体化为持有者可交易对象的契约;尤其在这里，我可以拒绝所有关于沙发投机的指控，因为我运行着一个小型的个人支持的此类协议实例，并且可以在实验室内部报告;详见完整的”洛克苏斯联邦预备役“标签里有各种细节，说明事情是如何进行的。神是一个通过拟人化执行者内化的契约，或者说杰恩斯（1976年）,诺伦扎扬（2013）， 和约翰逊（2016年）他们都希望我们相信，虽然方式各异。而语言本身就是奇怪的循环在整个装置的中央：唯一一个梯子实例，梯子被写在其中，手牵手攀爬。

我在峰会上称之为免费的元层级，实际上是预付费的。将一个过程打包成一个整体，其他过程可以对成本结构产生作用——更专业的范畴理论家可能会这么说封闭性- 而一个可以应用于一切的⌜·⌝，是语言结构中已经包含这一点的部分。

这就是我们如何用语言来谈论自身、立法自身的法律，并承载哥德尔句子的方式。

以上所有这些都引发了不少开放性的问题、提问和各种猜测。以下是其中几个，按我愿意支付的价格从高到低排列：

• 首先，是任何支持这一点的实际数学——信息论、因果推断、议价理论、范畴论/拓扑理论等等。我打算自己做这件事，但独自一人会很花时间。正如人们所说，两个人能缩短路程。
• 自然规则条件。我们什么时候会在轨迹集合上的约束簇上出现与名词相同的实体对应关系？这就是我上面所论述的缺失定理，如果你能看到物体的形状，我的地址很容易找到。
• 离散簇的来源。这不是为什么有界的心灵会保持有限的区分，或者为什么它们的计数是步进的——整数会做到这一点——而是为什么不同心灵的分裂往往似乎落在相同的地方，即使世界没有空隙，为什么这些分裂（与代理人之间的比较）通常会形成巢穴，而不是像原则上在真空中那样直接不可比较。颜色，回到树上，是一个有效的例子;目前还没有通用答案。我知道除了颜色之外，最干净的结果是春的”高斯自然潜变量（2026）：修正一个误差预算，一条水线在世界共享的结构上稳定下来，使水线上方的模式得以保留，而水线下方的模式被淹没。调整预算时，模式会按照固定顺序淹没，从最弱的开始，因此幸存者会形成嵌套——信息理论学家会从中识别出逆向水填充的概念Cover 和 Thomas (1991)这是一个按设计的玩具模型：高斯世界有刻度盘，但没有桶。近似误差、通信成本和失效成本：是否有一个定理可以解释它们全部，还是它们仍然是独立的现象？
• 更广泛地说，是什么力量让阶梯存在，甚至让它呈现出它所呈现的形状。三种可能的压力浮现在脑海：环境结构（稠密的世界使名词变得廉价）、主体的有限性（预算使将连续体切分为模式在工具上趋于一致）、以及多主体协调（有些机制只有在有公司时才有价值）。我大致的猜测是，它们并不是对立的——依赖性决定了构造，而这些压力决定了哪些机制最终会被建立。将这个猜测精确到足以出错的程度，你就回答了这篇文章暗中想问的问题。
• 采用不可约性。证明或反驳：没有单方构造能够对第二个代理产生契约效力。我们已经将单方承诺授予了森林里的隐士；看起来很明显他们无法让其他人参与他们的承诺……但是“显而易见”往往实际上包含着“出乎意料的病态”。
• ⌜·⌝ 下的可翻译性。来自停车场的内涵语境空缺，Quine 已用一个正式名称赋予其尊严："指称不透明无法信任与原始发言行为直接相关的任何内容能够在经过引号的转述后仍然保持不变：既不能信赖其力度——引用一个承诺并不保证什么；也不能信赖其证据性——被引用的“据说”从未属于你；更不能信赖其时态和体态的控制——被引用的过去发言者可能在你发言之前谈论后来发生的事情。说明哪些内容在这种抽象中能够保证存活下去，如果没有任何内容能够存活，那么使用-提及的区分使得任何被引用的内容都仅仅作为一个指向记忆地址的上下文依附标记。
• 二阶修饰语。“Very”（非常）、“quite”（相当）和“barely”（几乎不）都是坐标上的坐标。我们可以对内部坐标操作进行迭代，但理论目前严格来说并没有说明这种迭代是否是自由的、有限的，或者至关重要的。它可能看起来很简单，但也可能不是。
• 一个修饰符轨道普查和一个pro-form-rail普查。时态、体、语气、证据性以及Nenets的各种情绪，都被分类对比他们居住的梯级;与它们并列的是所有pro-forms和其他打字漏洞，它们在梯子上的变薄和衰减构成了需要跨语言审计的数据。这将是繁琐的，但同样有价值且可并行化;这是交给房间最好的开放问题。理想情况下，这由注释员来运行，他们对我是否正确毫无兴趣。如果你在找几乎任何人都能帮忙完成的即用工作，你找到了。
• 契约动态。我已经给出了这里静力学需要遵守的兼容性条件，然后推迟了动态，认为不在范围内。“是什么让契约绑定？”因此成为核心问题。目前最接近的机制是洛比安合作——项目均衡街道可证性逻辑(Barasz 等，2014）Critch的资源限制版本（2019年）——这正是之前“勒比亚风味”所指的。

争论者的卷轴大多烧毁，曾经的答案也消失了。我们的是云层，这是一种不同的易燃性。所以这就是塔楼，故意在公共场合半建：脚手架露出，砂浆湿润，洞口是我亲手标记的。

如果你能折断梯级，就折断它——然后按照家规，至少给我一张洞里要装什么的草图：修复、测试，或者更清晰的定义。不搬迁拆除纯粹是破坏，莫伊斯党对此已经失望了两千三百年。

他们累了。我也是。给我拿一排排桌子用的。给我带些桥的涂料——或者更好的是，一辆根本没有涂痕的桥;那个付双倍价。最重要的是，给我拿规则定理，或者说它不存在的原因;我都接受，并用家族货币支付高价。

下一次，梯子顶端会往下延伸，重新绘制世界;之后，是一匹白马，但其实不是马。梯子是真实存在的。这图是暂时的。这就是全部理论;现在去把你的体重放在上面。