提出可量化群体信念强度的新逻辑，用于分析认知分歧。
Graded Distributed Belief
- 基于信念库合并计算群体信念强度
- 证明逻辑具有命题可判定性与PSPACE完全性
- 适合研究群体认知与共识形成的学者
我们提出一种新的分级分布式信念逻辑，能够表达一组参与者以至少强度k分布式地相信某个事实。该逻辑采用基于计算的语义，依赖信念库概念；群体的分布式信念强度直接由合并成员个体信念库后计算得出。通过一个直观例子，形式化了认知分歧的概念。我们还提供了可靠且完备的希尔伯特式公理化体系，通过过滤法获得可判定性结果，并设计了基于表格的决策过程，证明该逻辑为PSPACE完全。
原文摘要 · Abstract (English)
We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least strength k. We interpret our logic by means of computationally grounded semantics relying on the concept of belief base. The strength of the group's distributed belief is directly computed from the group's belief base after having merged its members' individual belief bases. We illustrate our logic with an intuitive example, formalizing the notion of epistemic disagreement. We also provide a sound and complete Hilbert-style axiomatization, decidability result obtained via filtration, and a tableaux-based decision procedure that allows us to state PSPACE-completeness for our logic.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。