发表机构
London School of Economics; Weizmann Institute of Science（伦敦经济学院; 魏茨曼科学研究院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究含人和个人机器的分布式系统中由人意志驱动的计算，定义编程语言vGLP并给出操作语义，通过激发人意志实现用户界面，利用AI将意志保护多智能体原子事务生成vGLP程序及实现，得到部署在智能手机上的应用。
AI 中文摘要
当今最普遍的分布式系统包括人和他们的个人机器（智能手机）。在这样的系统中，计算由人的意志驱动。意志保护的多智能体原子事务被提出作为此类系统的抽象规范语言。本文定义了编程语言意志保护的GLP（vGLP），扩展了GLP并定义其操作语义。由于语义要求人意愿意志保护子句的归约，正确实现必须激发人的意志，通过标准构造实现用户界面。在基层社交图、社交网络和货币方面进行了演示，每个平台是由AI从意志保护的多智能体原子事务生成的vGLP程序，vGLP实现由AI创建，将其意志保护子句映射到用户界面构造，形成在物理智能手机上部署的单个工作应用程序。
英文摘要
The most prevalent distributed systems today include people and their personal machines (smartphones). In such systems, computations are driven by people's volitions: a payment when a person wishes to pay someone, befriending when two people wish to become friends, etc. Volition-Guarded Multiagent Atomic Transactions were proposed as an abstract specification language for such systems, in which each agent consists of a person and their machine, and a transaction can be guarded by both the machine states and the personal volitions of its participating agents. Here, we define the programming language volition-guarded GLP (vGLP), which extends GLP with volition-guarded clauses, and define its operational semantics as an instance of Communicating Volitional Agents. As the semantics requires the person to will a volition-guarded clause reduction, a correct implementation must elicit the person's volitions: finding out ``what's in the person's head'' is the sole rationale for the UI, which is realised accordingly by standard constructs. We demonstrate the approach on the grassroots social graph, social network, and currencies: each platform is a vGLP program, generated by AI from volition-guarded multiagent atomic transactions; the implementation of vGLP, also created by AI, then maps its volition-guarded clauses into the user-interface constructs, resulting in a single working app deployed on a physical smartphone.
