Track synthesis, materials and catalysis as it is published.
Search papers, labs, and topics across Lattice.
This paper introduces Grassroots Logic Programs (GLP), a multiagent concurrent logic programming language designed to facilitate the creation of grassroots platforms that operate independently while allowing for potential coalescence into larger instances. By establishing a concurrent operational semantics and integrating multiagent atomic transactions, the authors demonstrate that GLP can effectively support the egalitarian principles of grassroots systems. The key result shows that GLP not only maintains the operational integrity of logic programs but also embodies the grassroots ethos, providing a framework for decentralized and democratic AI applications.
GLP redefines the landscape of multiagent systems by proving that independent instances can collaborate without central control, embodying true grassroots principles.
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.
Weizmann