故障智能体认知逻辑的单纯形模型
计算机科学中的逻辑
2023-11-15 v3 人工智能
分布式、并行与集群计算
代数拓扑
摘要
近年来，若干学者研究了单纯形模型，一种基于称为单纯复形的高维结构的认知逻辑模型。在原始表述中，单纯形模型总被假定为纯的，即所有世界具有相同维度。这等价于基于 Kripke 模型的认知逻辑标准 S5n 语义。通过去除模型必须为纯的假设，我们可以超越通常的 Kripke 语义，研究其中参与世界的智能体数量可变的认知逻辑。该方法已在多篇论文中发展，并应用于容错分布式计算——其中进程可能在系统执行期间崩溃。出现的一个困难是，非纯单纯形模型定义中微妙的设计选择会导致所得逻辑的不同公理。本文中，我们系统性地分类这些设计选择，并对相应逻辑进行公理化。我们通过进程可能崩溃的同步系统分布式计算实例加以说明。
引用
@article{arxiv.2311.01351,
title = {Simplicial Models for the Epistemic Logic of Faulty Agents},
author = {Eric Goubault and Roman Kniazev and Jeremy Ledent and Sergio Rajsbaum},
journal= {arXiv preprint arXiv:2311.01351},
year = {2023}
}