sGLP：用随机智能体模拟人的行为
原标题：sGLP: Specifying Stochastic Agents that Simulate People
AI 摘要
该论文提出 sGLP（随机 GLP），一种在 GLP 并发逻辑编程语言上增加速率扩展的随机建模语言，用于在部署前大规模模拟草根平台。sGLP 用随机智能体替代 vGLP 程序中的用户界面和背后的人，智能体类型由 UI 交互类型的对偶定义，并携带人的随机行为画像。作者在草根社交图和草根货币两个场景上演示了 sGLP，用 100 个智能体模拟一年、社交图用 1000 个智能体模拟五年，并证明用 sGLP 智能体替换 UI 和人的每次运行仍是合法的 vGLP 运行。
正文节选
sGLP: Specifying Stochastic Agents that Simulate People 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 run on participants’ smartphones. 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 i