GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI
本文介绍了草根逻辑程序（Grassroots Logic Programs, GLP），这是一种多智能体并发逻辑编程语言，旨在实现草根平台，使独立的实例能够在不依赖中心化或精英主义全局资源的情况下，自主运行并聚合成更大的系统。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
数字广场：计算机交流的新方式
想象一下，互联网是一座巨大且繁忙的城市。目前，这座城市由两种截然不同的“市长”管理。一方面是像 Facebook 这样的“独裁者”，由一家巨型公司拥有整个城市广场，决定谁可以发言，并控制所有的资源。另一方面是像比特币这样的“财阀”，城市由拥有最强大计算机的最富有的人管理，形成了一个财富决定权力的系统。但如果存在第三种方式呢？如果这座城市属于每一个人，每个人都可以建立自己的小社区，而这些社区可以自然增长并合并成一座宏大的城市，且不需要任何中央管理者或富裕精英来运营？这就是“草根平台”（grass-roots platform）的梦想。
为了让这个梦想成真，我们需要一种新的计算机语言。如今大多数计算机语言都像是给单个工人下的严格指令：“做这个，然后做那个。”但一个草根城市需要数百万个工人（或代理/agent）同时进行交流、分享秘密，并在没有中央老板的情况下共同构建事物。这就是“并发逻辑编程”（concurrent logic programming）发挥作用的地方。把它想象成一场“传声筒”游戏，你传递的不只是一个信息，而是一个承诺。你说：“我稍后会把这个值给你，”而另一个人说：“我在等待那个值，以便完成我的部分工作。”如果每个人都遵循这些规则，即使玩家散布在全球各地，整个系统也能平稳运行。一个巨大的问题一直是：我们能否让这种强大且复杂的思维方式变得足够简单，以便让普通人（以及他们的 AI 助手）使用？
草根语言：GLP
在这篇论文中，Ehud Shapiro 介绍了一种名为 GLP（草根逻辑程序，Grassroots Logic Programs）的新工具。可以将 GLP 想象成一套特殊的规则，用于一场由成千上万台独立计算机（或智能手机）进行的全球规模的大型“连点成线”游戏。其目标是构建一个数字世界，在这里，任何人都可以发起一个小群体，而这些群体可以自然地成长为一个单一的全球社区，而无需中央服务器或持有钥匙的富有的所有者。
论文将 GLP 呈现为一种专门为这种“草根式”生活设计的语言。在计算机科学的旧时代，允许多件事情同时发生的语言对于普通程序员来说太难理解了。它们就像一场交响乐，每个乐手都必须同时阅读不同的乐谱，如果一个人错过了节拍，整个演出就会崩溃。GLP 通过引入一个聪明的技巧简化了这一点：配对变量（Paired Variables）。
想象你和你的朋友正在搭建一座塔。你有一个积木（“写入者”），而你的朋友有一个匹配的孔洞（“读取者”）。在你真正拿到积木之前，你无法将积木放入孔洞；而你的朋友在拿到积木之前，也无法等待那个孔洞。在 GLP 中，每一个“写入者”都与一个“读取者”配对。当你为一个写入者分配一个值时，它会立即传输到读取者那里，就像一个神奇的快递服务。这确保了不会有两个人同时尝试分配同一个积木（否则会导致崩溃），并且允许系统毫不费力地处理复杂的、多向的对话。论文从数学上证明了这个系统运行得非常完美：如果两组人在分别进行游戏，他们稍后可以开始一起玩而不会破坏规则，并且可以创造出任何一组单独都无法创造的新连接。
运作方式：“冷呼叫”的魔力
论文描述了 GLP 如何处理连接陌生人的棘手问题。在普通的应用程序中，你需要一个中央目录来寻找朋友。在 GLP 中，代理（数字人）可以进行**“冷呼叫”（cold calls）**。这就像是在一个你从未去过的社区敲门。你发送一条消息说：“你好，我是爱丽丝，我有一个特殊的钥匙（变量）要给你。”如果另一端的人（鲍勃）接受了，他们现在就共享了那个钥匙。突然之间，爱丽丝和鲍勃连接在一起了，他们可以直接交谈，而不需要其他人知道。
论文表明，这个系统之所以是“草根”的，是因为它满足两个严格的标准：
- 独立性（Independence）： 爱丽丝和鲍勃可以生活在网络中相互隔离的部分，并且仍然可以完美地运行各自的程序。他们不需要全球服务器来告诉他们该做什么。
- 聚合性（Coalescence）： 当他们决定连接时，他们可以无缝地合并各自的世界。他们可以互相介绍查理，从而创建一个自然增长的信任链。
作者通过构建一个“社交图谱”（Social Graph，即友谊地图）来演示这一点。在这个系统中，你可以通过发送一次“冷呼叫”来开始一段友谊，或者通过一位共同的朋友将两个陌生人介绍在一起，传递一个共享通道。一旦连接成功，他们就可以直接发送文本消息。论文包含了展示这些交互如何发生的代码示例，证明了该系统的安全性和可靠性。
AI 革命：为什么这在当下至关重要
这是论文中最令人兴奋的部分。四十年来，这些强大的“并发逻辑”语言对于普通人类来说一直过于困难。它们需要一种只有少数专家才能处理的高强度脑力体操。但论文指出，**人工智能（AI）**已经改变了游戏规则。
作者描述了一种新的工作流，即人类与 AI 作为团队协作。人类提供高层级的构想（“规范/specification”），例如：“我想要一个朋友可以互相介绍的社交网络。”然后，AI 接手这个想法，编写复杂的 GLP 代码，检查错误，甚至修复 Bug。论文显示，AI 在这方面表现得极其出色。它可以将数学规范转化为适用于智能手机和计算机的运行代码。事实上，作者提到，AI 已经帮助构建了基于这些思想的社交图谱、货币和安全恢复系统的实现。
论文建议，随着 AI 扮演“超级程序员”的角色，使用这些强大语言的门槛已经消失了。我们终于可以使用并发逻辑编程那种抽象且具有表达力的力量，去构建一个真正的民主、草根式的数字世界。论文并未声称解决了世界上所有的难题，但它提供了数学证明和工作工具，以展示一个公平、去中心化且可扩展的数字未来是可能的，并且 AI 正是开启这一未来的关键。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。