arXiv cs.MA· Ehud Shapiro·· 4 天前AI 评分20
sGLP:用随机智能体模拟草根平台中的人群
sGLP: Simulating People with Stochastic Agents
AI 导读
研究者提出 sGLP,一种带速率扩展的 GLP 多智能体并发逻辑编程语言,用随机智能体替代 vGLP 程序中的 UI 和背后的人,从而在部署前大规模模拟草根平台。
正文 · AI 翻译
摘要:草根平台旨在由其参与者拥有、运营和治理,因此由参与者运行的、人与人之间的智能手机应用构成。草根应用通过草根社会契约来指定,该契约通过抽象级联编译为意志守护的草根逻辑程序(vGLP),这是一种多智能体并发逻辑编程语言。vGLP 程序又指定了一个智能手机 UI,人们通过它表达自己的意志,从而控制该应用。审慎的做法要求在部署草根平台之前对其进行大规模评估和测试,但使用所需的大量人员来做这件事本身就是自相矛盾的。因此,需要另一种解决方案。
在此,我们提出随机 GLP(sGLP),旨在允许从部署草根平台的 vGLP 程序出发,用随机智能体代替人来大规模模拟草根平台。sGLP 是带有速率扩展的 GLP,用于指定随机行为。随机智能体是一个 sGLP 程序,它同时替代 vGLP UI 及其背后的人。它由 UI 交互类型的对偶类型来定型,并指定一个人行为的随机画像。
我们在草根社交图上演示了 sGLP,其人口由男性和女性组成,取自四种随机画像——爱同类或无所谓、警惕或善交际——并在草根货币上演示,有四种画像——花钱者或储蓄者、谨慎或慷慨——并报告这些画像的组合对所形成的社交图和流通的货币产生了什么影响。
我们证明,在 sGLP 智能体替代 UI 及其背后的人的情况下,vGLP 程序的每一次运行都是一次 vGLP 运行。我们通过 Gillespie 方法在 GLP 中实现了 sGLP,并用它运行了可复现的模拟。
| 学科: | 多智能体系统(cs.MA);分布式、并行与集群计算(cs.DC);人机交互(cs.HC);编程语言(cs.PL) |
| 引用为: | arXiv:2610.14738 [cs.MA] |
| (或 arXiv:2610.14738v2 [cs.MA] 用于此版本) | |
| https://doi.org/10.48550/arXiv.2610.14738 由 DataCite 颁发的 arXiv DOI |
提交历史
来自:Ehud Shapiro [查看电子邮件]
[v1]
2026年10月10日星期六 08:58:21 UTC(207 KB)
[v2]
2026年10月14日星期三 13:04:00 UTC(211 KB)
来源:arXiv cs.MA · arxiv.org