arXiv · cs.AI· Idit Keidar, Ehud Shapiro·· 6 小时前
意志引导式事务的形式化语义：从意志规约到 GLP 的智能手机应用推导级联
Volition Elicitation: Operational Semantics for People and Their Machines
arXiv:2607.14138v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Idit Keidar, Ehud Shapiro
研究任务与主要进展
论文针对由人与智能手机组成的分布式系统，发展了一条抽象级联，把以参与者机器状态为前置条件、由人的意志守护的多智能体原子事务规约，正确地逐层推导到基础语言 GLP。级联包括通信意志代理（CVA，由发起方两阶段提交实现简单守护的意志规约）、带意志过程的 vGLP 及其 GLP 实现。作者在社交图谱、社交网络和货币三个草根平台上演示了该方法，编译结果以脚本化人物运行 GLP 程序。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org