AI 中文总结
本文扩展了单纯形信念修正语义的核心结果，探究模态逻辑单纯形语义下动作模型的实现，将其与分布式协议关联并对相关解释进行推测。
AI 中文摘要
本文捕获并扩展了技术备忘录《单纯复形中信念修正的新语义》中的部分核心结果，旨在探究模态逻辑单纯形语义下动作模型的实现。这类思想在已有文献中并非全新，已出现在《用于研究分布式任务可计算性的动态认知逻辑单纯复形模型》和《知识与单纯复形》中，但本文将在更一般的语境下探究动作模型，具体而言，允许针对信念单纯形模型的动作模型，如《单纯复形中信念的语义》所述，这能将《单纯形信念修正语义》中提出的信念修正概念融入这些动作模型。此外，本文明确将单纯形语境下的动作模型与教材《组合拓扑学实现分布式计算》中定义的分布式协议关联起来，最后对如何用信念修正解释分布式协议进行了推测。
英文摘要
This paper captures and extends some of the core results from the tech memo "A New Semantics for Belief Revision in Simplicial Complexes". As such, we set out to explore the implementation of action models in the setting of simplicial semantics for modal logic. Such an idea is not entirely new to the literature, showing up in both "A simplicial complex model for dynamic epistemic logic to study distributed task computability" and "Knowledge and Simplicial Complexes". However, we will explore action models in a more general setting. In particular, we will allow for action models for simplicial models for belief, as in "A Semantics for Belief in Simplicial Complexes". This will let us incorporate the notion of belief revision, as developed in "Simplicial Semantics for Belief Revision", into these action models. Moreover, we explicitly connect action models in the simplicial setting to distributed protocols as defined in the textbook "Distributed Computing Through Combinatorial Topology". We conclude with some speculation on how we might interpret distributed protocols with revision.
