基于信任的信念的动态逻辑
Dynamic Logic of Trust-Based Beliefs
Junli Jiang, Pavel Naumov, Wenxuan Zhang
arXiv
2025年11月2日
传统上,代理人的信仰将来自代理人可以看到、听到或感觉到的东西。 在现代世界,信仰往往基于代理人可用的数据。 在这项工作中,我们研究这种信念的动态逻辑,其中包含数据的公开公告。 主要的技术贡献是对数据知情信念和数据公告模式之间的相互作用进行健全和完整的公理化。 我们还描述了一个非平凡的多项式模型检查算法,用于这个逻辑系统。
Traditionally, an agent's beliefs would come from what the agent can see, hear, or sense. In the modern world, beliefs are often based on the data available to the agents. In this work, we investigate a dynamic logic of such beliefs that incorporates public announcements of data. The main technical contribution is a sound and complete axiomatisation of the interplay between data-informed beliefs and data announcement modalities. We also describe a non-trivial polynomial model checking algorithm ...