KB4_n 的单纯模型：允许主体死亡的情景逻辑
计算机科学中的逻辑
2022-11-10 v3 人工智能
分布式、并行与集群计算
多智能体系统
逻辑
摘要
多主体情景逻辑 S5 的标准语义基于 Kripke 模型，其可及关系满足自反性、对称性和传递性。这种一维结构蕴含了超出两两交互的隐式高维信息，我们在先前的工作（Information and Computation, 2021）中将其形式化为纯单纯模型。本文将理论扩展至未必为纯的单纯模型。对应的 Kripke 模型类中，可及关系满足对称性和传递性，但未必满足自反性。此类模型对应于情景逻辑 KB4。非纯单纯模型出现在两个可能世界可能不具有相同主体集的情形。我们以进程可能崩溃的同步系统这一分布式计算实例加以说明。
引用
@article{arxiv.2108.10293,
title = {A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die},
author = {Éric Goubault and Jérémy Ledent and Sergio Rajsbaum},
journal= {arXiv preprint arXiv:2108.10293},
year = {2022}
}