Open Source
sGLP: Simulating People with Stochastic Agents
arXiv cs.HC0 views
arXiv:2610.14738v2 Announce Type: replace-cross Abstract: Grassroots platforms are designed to be owned, operated and governed by their participants, and thus are constituted from person-to-person smartphone apps that are run by the participants. A grassroots app is specified using a grassroots social contract, which is compiled through an abstraction cascade into a volition-guarded Grassroots Logic Program (vGLP), a multiagent concurrent logic programming language. A vGLP program in turn specifies a smartphone UI via which people express their volitions and thus control the app. Prudence dictates large-scale evaluation and testing of grassroots platforms prior to deployment, but using the many people needed to do that is a contradiction in terms. Hence another solution is needed. Here, we present stochastic GLP (sGLP), designed to allow grassroots platforms to be simulated at scale from the vGLP programs that deploy them, with stochastic agents in place of people. sGLP is GLP with a rate extension for specifying stochastic behaviour. A stochastic agent is an sGLP program replacing both the vGLP UI and the person behind it. It is typed by the dual of the interactive type of the UI and specifies a stochastic profile of a person's behaviour. We demonstrate sGLP on the grassroots social graph, with a population of men and women drawn from four stochastic profiles --- homophile or indifferent, wary or sociable --- and on grassroots currencies, with four profiles --- spenders or savers, cautious or generous --- and report what the mix of profiles does to the social graph that forms and to the currencies that circulate. We prove that every run of a vGLP program in which sGLP agents replace the UI and the people behind it is a vGLP run. We implemented sGLP in GLP by Gillespie's method, and ran reproducible simulations with it.
Source:https://arxiv.org/abs/2610.14738PreviousExplain Like I'm 5 or Whatever I Choose: Evaluating the Potential for Interactive Complexity in Language Model ResponsesNextHow Should a Camera-First AI Agent Work?
Related posts

My uninstaller refuses to delete anything it can't prove belongs to the app. Poke holes in my safety rules
0dev.to C#
让 AI 编程助手少返工:10 条命令规则合集(免费读)
0dev.to OpenSource
Discovering contemporaneous and lagged causal relations in autocorrelated nonlinear time series datasets
0arXiv stat.ML
I3L: Iterative Interactive Imitation Learning for Whole-Body Mobile Manipulation
0arXiv cs.RO
Sequential Planning via Anchored Robotic Keypoints
0arXiv cs.RO
WildOS: Open-Vocabulary Object Search in the Wild
0arXiv cs.RO