可检测故障智能体的偏积更新及任务可解性的逻辑障碍
分布式、并行与集群计算
2023-06-27 v2 计算机科学中的逻辑
摘要
Goubault、Ledent 和 Rajsbaum 提出的逻辑方法提供了一种通过逻辑障碍（一种描述不可解原因的认知逻辑公式）来证明分布式任务不可解性的新途径。本文引入偏积更新概念，精炼了原逻辑方法中的积更新，以涵盖由非纯单纯复形建模的分布式任务与协议。借助这一扩展的偏积更新概念，原逻辑方法得到推广，从而允许在智能体故障可检测的分布式环境中应用逻辑障碍来证明不可解结果。我们通过给出一个具体逻辑障碍并表明共识任务无法由单轮同步消息传递协议求解，来演示该逻辑方法的运用。
引用
@article{arxiv.2303.16437,
title = {Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability},
author = {Daisuke Nakai and Masaki Muramatsu and Susumu Nishimura},
journal= {arXiv preprint arXiv:2303.16437},
year = {2023}
}