研究数据如何影响信任信念的动态变化，提出可验证的逻辑框架。
Dynamic Logic of Trust-Based Beliefs
- 用动态逻辑建模数据驱动的信念演化过程
- 给出完整的公理体系与多项式时间模型检测算法
- 适合关注可信AI、多智能体系统的研究者
传统上，代理的信念来自其感知到的信息。在现代世界中，信念往往基于可用数据。本文研究一种融合数据公开声明的动态信念逻辑。主要技术贡献是给出了数据驱动信念与数据发布模态之间相互作用的可靠且完备的公理化体系，并描述了一个非平凡的多项式时间模型检测算法。该系统支持对数据相关信念演化的形式化分析。
原文摘要 · Abstract (English)
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 for this logical system.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。