AI 中文总结
介绍用于人工智能的多智能体并发逻辑编程语言GLP，通过回顾逻辑程序语义、引入并发及多智能体操作语义等，证明其为基层的，基层社交图可作编程示例，为相关平台提供平等替代方案。
AI 中文摘要
基层平台是一种多智能体分布式系统，其中多个独立实例可相互独立且不依赖任何全局资源地形成和运行，但可能合并成更大的实例，甚至可能形成单个全局实例。基层平台旨在为集中式/专制和分散式/富豪统治的全球平台提供平等主义/民主的替代方案。本文提出了基层逻辑程序（GLP），一种为实现基层平台而设计的多智能体并发逻辑编程语言。我们回顾逻辑程序的标准操作语义，将GLP的并发操作语义作为其限制引入，回顾多智能体原子事务，用它们引入GLP的多智能体操作语义，并证明多智能体GLP是基层的。基层社交图——所有其他基层平台所基于的基础基层平台——用作GLP编程示例。
英文摘要
A grassroots platform is a multiagent distributed system in which multiple independent instances can form and operate independently of each other and of any global resource, yet may coalesce into ever larger instances, possibly resulting in a single global instance. Grassroots platforms aim to offer an egalitarian/democratic alternative to centralised/autocratic and decentralised/plutocratic global platforms. Here, we present Grassroots Logic Programs (GLP), a multiagent concurrent logic programming language designed for the implementation of grassroots platforms: we recall the standard operational semantics of logic programs; introduce the concurrent operational semantics of GLP as its restriction; recall multiagent atomic transactions; use them to introduce a multiagent operational semantics of GLP; and prove multiagent GLP to be grassroots. The grassroots social graph—the foundational grassroots platform on which all others are based—serves as a GLP programming example.
CommentsIn Proceedings ICLP 2026, arXiv:2607.17707
Journal refEPTCS 450, 2026, pp. 119-133
