arXiv cs.MA· Idit Keidar, Ehud Shapiro·· 2 天前AI 评分22
意志引导：面向人与机器的操作语义
Volition Elicitation: Operational Semantics for People and Their Machines
AI 导读
研究提出"意志引导的多智能体原子事务"抽象规范语言，并构建一条从规范到 GLP 基础编程语言的抽象级联，包含 CVA、vGLP 和 GLP 三层，逐层证明其正确性。
正文 · AI 翻译
摘要：当今最普遍的分布式系统包括人及其个人机器（智能手机），其中的计算由人的意志驱动。意志守护的多智能体原子事务被提出作为此类系统的一种抽象规范语言，其中事务对其参与者的机器状态有一个前置条件，并由其中一些参与者的意志守护。
在此，我们开发了一种抽象级联，从这类规范推导出智能手机应用，并证明其正确性直至基础编程语言 GLP。该级联包括：(1) 通信意志智能体（CVA），它用简单的守护正确且完整地为其强公平运行实现每个局部意志守护规范，由发起智能体协调的两阶段提交完成；(2) 意志守护 GLP（vGLP），GLP 的扩展，带有意志过程，其目标向人提出一个交互类型化的问题，该实现编译到其中；以及 (3) GLP，它通过交互类型的部件引出人的回答来实现 vGLP，对于完整部件正确且完整。我们在三个草根平台上演示了该方法——一个社交图谱、一个社交网络和货币：一个编译器将社交图谱和货币沿级联向下传递到与脚本化人物一起运行的 GLP 程序，而这三者的早期程序作为一个智能手机应用的迷你应用运行。
| 主题： | 编程语言（cs.PL）；人工智能（cs.AI）；分布式、并行与集群计算（cs.DC）；人机交互（cs.HC）；多智能体系统（cs.MA） |
| 引用为： | arXiv:2607.14138 [cs.PL] |
| （或 arXiv:2607.14138v2 [cs.PL] 为此版本） | |
| https://doi.org/10.48550/arXiv.2607.14138 arXiv 颁发的 DOI 通过 DataCite |
提交历史
来自：Ehud Shapiro [查看电子邮件]
[v1]
2026年7月10日星期五 14:43:30 UTC（569 KB）
[v2]
2026年10月15日星期四 09:08:19 UTC（643 KB）
来源：arXiv cs.MA · arxiv.org