让用户意愿直接驱动程序运行，实现人机协同的智能系统。
Volition Elicitation: Operational Semantics for People and Their Machines
- 用用户意愿作为程序执行条件，结合机器状态实现精准控制。
- 通过AI生成社交网络、货币等应用，部署在真实手机上运行。
- 界面设计以获取用户真实意愿为核心，提升人机交互可信度。
当今主流分布式系统包含人及其个人设备（如智能手机）。在这些系统中，计算由人的意愿驱动：例如付款时愿付款、好友请求时愿交友等。为描述此类系统，提出了基于人机一体代理的意愿保护多代理原子事务。本文定义了扩展自GLP的意愿保护编程语言vGLP，引入意愿保护子句，并建立其操作语义，作为通信意愿代理的实例。由于语义要求用户主动意愿才能推进条款求值，正确实现必须主动获取用户意愿——即“探知人心”成为界面设计的核心目标，通过标准构造实现。我们以基层社交图谱、社交网络和数字货币为例，展示该方法：每个平台均为由AI从意愿保护多代理原子事务生成的vGLP程序；AI还构建vGLP实现，将意愿保护条款映射为界面元素，最终在真实智能手机上部署运行单一可工作的应用程序。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。