arXiv cs.AI· Genliang Zhu, Chu Wang·· 4 小时前AI 评分34
分布式多智能体委派中的容错预算守恒
Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation
AI 导读
分布式多智能体委派中的容错预算守恒被形式化：预算作为独占托管信用额度经委派 DAG 流转，调度前转为绑定 epoch 与幂等键的操作预留。证明覆盖所有权划分、账本与效果守恒、后代不放大、至多一次结算与分区隔离，并给出分区本地可用性需独占预分配的不可区分性结果。Bounded TLA+ 检查与崩溃注入的双进程 SQLite 实验覆盖崩溃、重试、分区等调度，检出超时退款变异体。
来源：arXiv cs.AI · arxiv.org